By Eric Y.T. Juan,Jeffrey J.P. Tsai

With the quick progress of networking and high-computing energy, the call for for large-scale and intricate software program platforms has elevated dramatically. the various software program platforms help or supplant human keep watch over of safety-critical platforms equivalent to flight regulate platforms, area trip regulate platforms, plane avionics regulate structures, robotics, sufferer tracking structures, nuclear energy plant keep watch over platforms, etc. Failure of safety-critical platforms may well bring about nice failures and lack of human lifestyles. accordingly, software program used for security­ severe platforms may still safeguard excessive insurance houses. on the way to agree to excessive insurance homes, a safety-critical method frequently stocks assets among a number of simultaneously energetic computing brokers and needs to meet inflexible real-time constraints. in spite of the fact that, concurrency and timing constraints make the improvement of a safety-critical process even more errors companies and exhausting. The correctness of software program structures these days relies customarily at the paintings of checking out and debugging. trying out and debugging contain the method of de­ tecting, finding, interpreting, separating, and correcting suspected faults utilizing the runtime details of a process. besides the fact that, checking out and debugging aren't enough to turn out the correctness of a safety-critical procedure. by contrast, static research is supported by means of formalisms to specify the approach accurately. Formal verification tools are then utilized to turn out the logical correctness of the procedure with recognize to the specification. Formal verifica­ tion provides us better self assurance that safety-critical structures meet the specified insurance homes so one can stay away from disastrous consequences.

Show description

Read or Download Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science) PDF

Best systems architecture books

Open Text Metastorm ProVision® 6.2 Strategy Implementation

This can be either a pragmatic and theoretical consultant detailing tips to installation a profitable ProVision® approach, utilizing a few genuine enterprise circumstances alongside the way in which. in contrast to different structure books, the technique is holistic - it seems to be on the entire lifecycle of creating a enterprise case, via to utilizing the product.

SystemC and SystemC-AMS in Practice: SystemC 2.3, 2.2 and SystemC-AMS 1.0

This e-book describes how engineers could make optimal use of the 2 typical analysis/design instruments, SystemC and SystemC-AMS.  The authors use a system-level layout technique, emphasizing how SystemC and SystemC-AMS positive factors should be exploited such a lot successfully to analyze/understand a given digital process and discover the layout house.

HSPA Evolution: The Fundamentals for Mobile Broadband

This publication is vital examining for these wishing to acquire a platforms standpoint and a huge view at the heritage, functionality and alertness of the newest advancements in HSPA within the context of the calls for on today’s cellular broadband units and networks. It takes the reader backstage of 3GPP and gives an simply obtainable realizing of the fundamental ideas, the newest steps within the standard’s evolution, and the motivations in the back of the improvement of standardized positive aspects.

Formal Specification Level: Concepts, Methods, and Algorithms

This publication introduces a brand new point of abstraction that closes the distance among the textual specification of embedded platforms and the executable version on the digital procedure point (ESL). Readers should be enabled to function at this new, Formal Specification point (FSL), utilizing versions which not just enable major verification initiatives during this early degree of the layout movement, but in addition might be extracted semi-automatically from the textual specification in an interactive demeanour.

Extra resources for Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)

Sample text

Download PDF sample

Rated 4.99 of 5 – based on 41 votes