Compositional Verification of Concurrent and Real-Time by Eric Y.T. Juan,Jeffrey J.P. Tsai

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

With the swift development of networking and high-computing strength, the call for for large-scale and complicated software program platforms has elevated dramatically. a few of the software program structures help or supplant human regulate of safety-critical structures akin to flight keep watch over structures, area go back and forth keep watch over platforms, plane avionics keep an eye on structures, robotics, sufferer tracking platforms, nuclear strength plant keep an eye on platforms, and so forth. Failure of safety-critical structures may possibly lead to nice mess ups and lack of human existence. as a result, software program used for safeguard­ severe structures should still look after excessive insurance homes. with the intention to conform to excessive insurance homes, a safety-critical process frequently stocks assets among a number of at the same time energetic computing brokers and needs to meet inflexible real-time constraints. although, concurrency and timing constraints make the advance of a safety-critical method even more mistakes services and hard. The correctness of software program platforms these days relies normally at the paintings of checking 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 procedure. in spite of the fact that, checking out and debugging usually are not adequate to turn out the correctness of a safety-critical process. against this, static research is supported by way of formalisms to specify the method accurately. Formal verification equipment are then utilized to end up the logical correctness of the method with recognize to the specification. Formal verifica­ tion provides us better self belief that safety-critical structures meet the specified insurance homes so as to steer clear of 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

Similar computer systems analysis & design books

Ambient Intelligence: Impact on Embedded System Design

Hugo de guy Professor Katholieke Universiteit Leuven Senior examine Fellow IMEC The regular evolution of undefined, software program and communications expertise is quickly reworking the computer- and dot. com global into the area of Ambient Intelligence (AmI). This subsequent wave of data know-how is fundam- tally assorted in that it makes disbursed stressed and instant computing and conversation disappear to the history and places clients to the foreground.

The Design of Design: Essays from a Computer Scientist

Making Sense of layout   powerful layout is on the center of every little thing from software program improvement to engineering to structure. yet what will we quite learn about the layout method? What results in potent, stylish designs? The layout of layout addresses those questions.   those new essays via Fred Brooks include impressive insights for designers in each self-discipline.

Oracle Internals: Tips, Tricks, and Techniques for DBAs

When you are a customary Oracle specialist, you do not have the posh of time to take care of with new know-how and skim all of the new manuals to appreciate each one new function of the newest unencumber from Oracle. you would like a complete resource of knowledge and in-depth guidance and strategies for utilizing the recent expertise.

Program Design 2.0: The Structure-Behavior Coalescence Approach

Application layout (or software layout) is, within the software program structures improvement, the layout and implementation part. that's, software layout capacity to get an answer to provide shoppers’ necessities at the software program procedure. while engaged on this system layout, we often reflect on the right way to manufacture the software program procedure, yet to not specify what this software program procedure is.

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

Example text

Download PDF sample

Rated 4.98 of 5 – based on 5 votes