|
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Compositional Verification of Concurrent and Real-Time Systems (Paperback, Softcover reprint of the original 1st ed. 2002)
Loot Price: R2,934
Discovery Miles 29 340
|
|
|
Compositional Verification of Concurrent and Real-Time Systems (Paperback, Softcover reprint of the original 1st ed. 2002)
Series: The Springer International Series in Engineering and Computer Science, 676
Expected to ship within 10 - 15 working days
|
With the rapid growth of networking and high-computing power, the
demand for large-scale and complex software systems has increased
dramatically. Many of the software systems support or supplant
human control of safety-critical systems such as flight control
systems, space shuttle control systems, aircraft avionics control
systems, robotics, patient monitoring systems, nuclear power plant
control systems, and so on. Failure of safety-critical systems
could result in great disasters and loss of human life. Therefore,
software used for safety critical systems should preserve high
assurance properties. In order to comply with high assurance
properties, a safety-critical system often shares resources between
multiple concurrently active computing agents and must meet rigid
real-time constraints. However, concurrency and timing constraints
make the development of a safety-critical system much more error
prone and arduous. The correctness of software systems nowadays
depends mainly on the work of testing and debugging. Testing and
debugging involve the process of de tecting, locating, analyzing,
isolating, and correcting suspected faults using the runtime
information of a system. However, testing and debugging are not
sufficient to prove the correctness of a safety-critical system. In
contrast, static analysis is supported by formalisms to specify the
system precisely. Formal verification methods are then applied to
prove the logical correctness of the system with respect to the
specification. Formal verifica tion gives us greater confidence
that safety-critical systems meet the desired assurance properties
in order to avoid disastrous consequences.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
