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

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 complicated software program platforms has elevated dramatically. some of the software program structures aid or supplant human keep an eye on of safety-critical platforms comparable to flight keep watch over platforms, area go back and forth keep an eye on structures, plane avionics regulate platforms, robotics, sufferer tracking platforms, nuclear strength plant keep an eye on structures, and so forth. Failure of safety-critical platforms may lead to nice failures and lack of human lifestyles. hence, software program used for protection­ severe platforms may still protect excessive insurance houses. for you to agree to excessive coverage homes, a safety-critical method frequently stocks assets among a number of at the same time lively computing brokers and needs to meet inflexible real-time constraints. even though, concurrency and timing constraints make the improvement of a safety-critical approach even more blunders companies and laborious. The correctness of software program structures these days relies usually at the paintings of trying out and debugging. checking out and debugging contain the method of de­ tecting, finding, interpreting, setting apart, and correcting suspected faults utilizing the runtime details of a method. besides the fact that, checking out and debugging will not be enough to end up the correctness of a safety-critical process. against this, static research is supported through formalisms to specify the approach accurately. Formal verification tools are then utilized to end up the logical correctness of the process with recognize to the specification. Formal verifica­ tion offers us higher self assurance that safety-critical platforms meet the specified insurance homes which will 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

Similar computer systems analysis & design books

Download PDF by Neil Fitzgerald,et al.: Crystal Reports XI Official Guide (Business Objects Press)

The approved advisor to the most recent version of the number one enterprise intelligence software program product - Crystal reviews. greater than sixteen million licenses of Crystal reviews were shipped to date.  This booklet is a reference designed to supply hands-on information for the most recent liberate of the product suite. the newest model of Crystal stories and the enterprise items company reporting suite can provide significant product improvements and a tighter integration that may force improvements from licensees.

Sketching User Experiences: Getting the Design Right and the by Bill Buxton PDF

Sketching person reviews techniques layout and layout pondering as anything precise that should be larger understood—by either designers and the folk with whom they should paintings— with a purpose to be successful with new items and structures. So whereas the focal point is on layout, the procedure is holistic.

Download e-book for iPad: Network Security by Scott C.-H. Huang,David MacCallum,Ding-Zhu Du

This publication presents a reference device for the expanding variety of scientists whose study is kind of occupied with community defense. insurance contains community layout and modeling, community administration, info administration, defense and applications.

Expert Cube Development with SSAS Multidimensional Models by Chris Webb,Alberto Ferrari,Marco Russo PDF

Professional guidance and tips for designing research prone Multidimensional ModelsAbout This BookDesign SQL Server research companies cubes, dimensions, and calculations from the specialists! upload calculations to the dice, together with imposing foreign money conversion and a date device dimensionUse safety to manage entry to info on your cubeWho This booklet Is ForIf you're an research providers dice clothier wishing to profit extra complicated subject and top practices for dice layout, this e-book is for you.

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

Example text

Download PDF sample

Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science) by Eric Y.T. Juan,Jeffrey J.P. Tsai


by Brian
4.5

Rated 4.11 of 5 – based on 40 votes