Download 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

With the swift development 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 aid or supplant human keep watch over of safety-critical structures akin to flight keep an eye on platforms, area travel regulate structures, airplane avionics keep watch over platforms, robotics, sufferer tracking platforms, nuclear strength plant regulate platforms, and so forth. Failure of safety-critical structures may bring about nice mess ups and lack of human existence. as a result, software program used for safeguard­ severe platforms should still defend excessive coverage homes. with a view to agree to excessive coverage homes, a safety-critical approach usually stocks assets among a number of at the same time lively computing brokers and needs to meet inflexible real-time constraints. notwithstanding, concurrency and timing constraints make the improvement of a safety-critical procedure even more mistakes providers and hard. The correctness of software program structures these days relies as a rule at the paintings of checking out and debugging. trying out and debugging contain the method of de­ tecting, finding, studying, keeping apart, and correcting suspected faults utilizing the runtime info of a procedure. despite the fact that, trying out and debugging aren't enough to end up the correctness of a safety-critical approach. against this, static research is supported by means of formalisms to specify the approach accurately. Formal verification tools are then utilized to end up the logical correctness of the method with admire to the specification. Formal verifica­ tion provides us larger self assurance that safety-critical platforms meet the specified insurance homes so one can stay 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

SIMD Programming Manual for Linux and Windows (Springer Professional Computing)

A few typical modern processors have instruction-set extensions for enhanced functionality in multi-media functions. the purpose is to permit operations to continue on a number of pixels every one clock cycle. Such instruction-sets were included either in professional DSPchips corresponding to the Texas C62xx (Texas tools, 1998) and regularly objective CPU chips just like the Intel IA32 (Intel, 2000) or the AMD K6 (Advanced Micro units, 1999).

Crystal Reports 2008 Official Guide (Business Objects Press)

CRYSTAL stories® 2008 reputable consultant even if you’re a DBA, information warehousing or company intelligence specialist, reporting professional, or developer, this publication has the solutions you would like. via hands-on examples, you’ll systematically grasp Crystal studies and Xcelsius 2008’s strongest positive factors for developing, allotting, and providing content material.

Kernel Methods for Pattern Analysis

Kernel equipment supply a strong and unified framework for trend discovery, motivating algorithms that may act on normal varieties of facts (e. g. strings, vectors or textual content) and search for normal varieties of relatives (e. g. scores, classifications, regressions, clusters). the appliance parts variety from neural networks and trend popularity to laptop studying and knowledge mining.

Program Design 2.0: The Structure-Behavior Coalescence Approach

Application layout (or software layout) is, within the software program platforms improvement, the layout and implementation section. that's, software layout skill to get an answer to provide clients’ standards at the software program approach. while engaged on this system layout, we ordinarily contemplate the best way to manufacture the software program process, yet to not specify what this software program method is.

Additional info 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