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 speedy progress of networking and high-computing energy, the call for for large-scale and complicated software program platforms has elevated dramatically. a few of the software program platforms aid or supplant human regulate of safety-critical structures reminiscent of flight keep watch over platforms, area trip regulate structures, plane avionics keep an eye on platforms, robotics, sufferer tracking structures, nuclear strength plant keep an eye on platforms, etc. Failure of safety-critical structures may possibly lead to nice mess ups and lack of human lifestyles. consequently, software program used for security­ severe platforms should still look after excessive coverage houses. so one can agree to excessive insurance houses, 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. despite the fact that, concurrency and timing constraints make the advance of a safety-critical approach even more errors providers and exhausting. The correctness of software program structures these days relies usually at the paintings of checking out and debugging. trying out and debugging contain the method of de­ tecting, finding, studying, setting apart, and correcting suspected faults utilizing the runtime info of a process. notwithstanding, trying out and debugging usually are not enough to turn out the correctness of a safety-critical procedure. against this, static research is supported by means of formalisms to specify the procedure accurately. Formal verification tools are then utilized to turn out the logical correctness of the process with recognize to the specification. Formal verifica­ tion offers us larger self assurance that safety-critical structures meet the specified coverage houses so that it will keep 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

Embedded Software: The Works

Embedded software program wishes have grown exponentially over the last sector century. In 1975 writing 10,000 strains of meeting code used to be a thought of a big project. at the present time, a mobile phone can comprise 5 million strains of C or C++! Embedded software program builders should have a powerful grab of many complicated themes as a way to make speedier, extra effective and extra strong microprocessors to satisfy the public’s growing to be call for.

Applications and Innovations in Intelligent Systems IX: Proceedings of ES2001, the Twenty-first SGES International Conference on Knowledge Based Systems ... Intelligence, Cambridge, December 2001

Ann Macintosh Napier collage, united kingdom The papers during this quantity are the refereed program papers offered at ES2001, the Twenty-fIrst SGES foreign convention on wisdom dependent platforms and utilized man made Intelligence, held in Cambridge in December 2 hundred I. The scope of the appliance papers has elevated over contemporary years to hide not only cutting edge functions utilizing conventional wisdom established structures, but in addition to incorporate purposes demonstrating the full variety of AI applied sciences.

Contemporary Artificial Intelligence

The thought of synthetic intelligence (AI) frequently sparks ideas of characters from technological know-how fiction, akin to the Terminator and HAL 9000. whereas those synthetic entities don't exist, the algorithms of AI were in a position to deal with many genuine concerns, from acting scientific diagnoses to navigating tricky terrain to tracking attainable mess ups of spacecrafts.

Requirements for an MDM Solution: A proven approach for how to gather, document, and manage requirements for a Master Data Management solution from Inception through Implementation

Engaged on requisites for a grasp information administration resolution and searching out innovations on tips on how to procedure the necessities? the focal point of this consultant is to focus on a confirmed method for specifications amassing and documentation for grasp information administration ideas. specifications accumulating and documentation actions are comparable, whatever the form of venture.

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

Rated 4.68 of 5 – based on 39 votes