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

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

ISBN-10: 140207025X

ISBN-13: 9781402070259

ISBN-10: 1461353491

ISBN-13: 9781461353492

With the quick progress of networking and high-computing energy, the call for for large-scale and complicated software program platforms has elevated dramatically. the various software program structures help or supplant human keep watch over of safety-critical structures corresponding to flight keep watch over structures, house travel regulate platforms, plane avionics keep watch over platforms, robotics, sufferer tracking structures, nuclear strength plant keep an eye on platforms, etc. Failure of safety-critical platforms may well bring about nice failures and lack of human existence. hence, software program used for security­ severe platforms should still safeguard excessive insurance homes. as a way to agree to excessive coverage houses, a safety-critical method usually stocks assets among a number of simultaneously lively computing brokers and needs to meet inflexible real-time constraints. notwithstanding, concurrency and timing constraints make the advance of a safety-critical process even more mistakes services and laborious. The correctness of software program structures these days relies often at the paintings of trying out and debugging. trying out and debugging contain the method of de­ tecting, finding, reading, keeping apart, and correcting suspected faults utilizing the runtime info of a procedure. despite the fact that, trying out and debugging are usually not adequate to end up the correctness of a safety-critical method. by contrast, static research is supported by way of formalisms to specify the procedure accurately. Formal verification equipment are then utilized to turn out the logical correctness of the method with appreciate to the specification. Formal verifica­ tion provides us higher self belief that safety-critical structures meet the specified coverage houses that allows you to keep away from disastrous consequences.

Show description

Read Online 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

Get Algorithms in C++, Parts 1-4: Fundamentals, Data Structure, PDF

Robert Sedgewick has completely rewritten and considerably improved and up-to-date his renowned paintings to supply present and entire assurance of vital algorithms and knowledge constructions. Christopher Van Wyk and Sedgewick have built new C++ implementations that either exhibit the equipment in a concise and direct demeanour, and likewise supply programmers with the sensible capacity to check them on genuine functions.

Hardware Based Packet Classification for High Speed Internet by Chad R. Meiners,Alex X. Liu,Eric Torng PDF

Dependent Packet class for prime pace web Routers offers the newest advancements in dependent packet type algorithms and architectures. This publication describes 5 equipment which lessen the distance that classifiers occupy inside of TCAMs; TCAM Razor, All-Match Redundancy elimination, Bit Weaving, Sequential Decomposition, and Topological variations.

Download e-book for iPad: Industrial Applications of Formal Methods to Model, Design by Dan Craigen,Susan Gerhart

Formal equipment are mathematically-based options, usually supported via reasoning instruments, which could supply a rigorous and powerful approach to version, layout and examine desktops. the aim of this research is to judge overseas business adventure in utilizing formal equipment. The situations chosen are consultant of industrial-grade tasks and span quite a few software domain names.

Larry Burns's Growing Business Intelligence: An Agile Approach to PDF

How will we permit our organisations to benefit from the usually major advantages of BI and analytics, whereas whilst minimizing the associated fee and possibility of failure? during this publication, it's not that i am going to attempt to be prescriptive; I will not let you know precisely how one can construct your BI atmosphere. as an alternative, i'll concentrate on a couple of center ideas that might show you how to navigate the rocky shoals of BI structure and arrive at a vacation spot most suitable in your specific association.

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 Ronald

Rated 4.69 of 5 – based on 8 votes