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

With the fast development of networking and high-computing energy, the call for for large-scale and complicated 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 keep an eye on platforms, area go back and forth keep watch over structures, plane avionics keep an eye on platforms, robotics, sufferer tracking structures, nuclear strength plant regulate platforms, and so forth. Failure of safety-critical structures might bring about nice failures and lack of human lifestyles. consequently, software program used for protection­ severe structures should still safeguard excessive insurance houses. so as to conform to excessive insurance homes, a safety-critical approach usually stocks assets among a number of simultaneously energetic computing brokers and needs to meet inflexible real-time constraints. besides the fact that, concurrency and timing constraints make the improvement of a safety-critical method even more blunders providers and laborious. The correctness of software program platforms these days relies normally at the paintings of trying out and debugging. checking out and debugging contain the method of de­ tecting, finding, interpreting, keeping apart, and correcting suspected faults utilizing the runtime info of a process. besides the fact that, checking out and debugging aren't adequate to end up the correctness of a safety-critical procedure. by contrast, static research is supported via formalisms to specify the approach accurately. Formal verification equipment are then utilized to turn out the logical correctness of the process with admire to the specification. Formal verifica­ tion supplies us better self belief that safety-critical platforms meet the specified coverage houses with the intention to 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 computer systems analysis & design books

Robust Model-Based Fault Diagnosis for Dynamic Systems (The International Series on Asian Studies in Computer and Information Science)

There's an expanding call for for dynamic structures to turn into extra secure and trustworthy. This requirement extends past the generally authorised safety-critical structures of nuclear reactors and plane the place security is paramount vital, to platforms equivalent to self sufficient autos and quickly railways the place the method availability is key.

Structured Development for Real-Time Systems, Vol. II: Essential Modeling Techniques

With out a framework for organizing and codifying those principles, structures modeling can develop into disjointed, problematic, and finally useless. This booklet is broadly illustrated with precise examples illuminating the details mentioned. Its 4 appendices offer totally labored examples of pertinent functions.

Granular Computing: Analysis and Design of Intelligent Systems (Industrial Electronics)

Info granules, as encountered in normal language, are implicit in nature. To cause them to totally operational to allow them to be successfully used to investigate and layout clever platforms, details granules have to be made particular. An rising self-discipline, granular computing specializes in formalizing info granules and unifying them to create a coherent methodological and developmental surroundings for clever procedure layout and research.

Space-Time Block Coding for Wireless Communications

Space-time coding is a method that supplies drastically more suitable functionality in instant networks through the use of a number of antennas on the transmitter and receiver. Space-Time Block Coding for instant Communications, first released in 2003, is an creation to the speculation of this expertise. The authors increase the subject utilizing a unified framework and canopy a number of themes starting from info conception to functionality research and space-time coding equipment for either flat and frequency-selective fading multiple-antenna channels.

Additional info 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.19 of 5 – based on 50 votes