Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Compositional Verification of Concurrent and Real-Time Systems
Foyalty 364

Compositional Verification of Concurrent and Real-Time Systems (Hardback)

£119.99
Usually despatched within 2 weeks.

Synopsis

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.

Computing & ITComputer programming / software developmentSoftware Engineering Publisher: Springer-Verlag New York Inc. Publication Date: 01/04/2002 ISBN-13: 9781402070259  Details: Type: Hardback Format: Books
Availability: Usually despatched within 2 weeks. Login for Quick Checkout Add to Basket

More books by Eric Y.T. Juan

More books by Jeffrey J. P. Tsai

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Design, Build, Ship
(Paperback)
Sam Newman
 
 
£39.99
 
Certifiable Software Applications 4:...
(Hardback)
Jean-Louis Boulanger
 
 
£103.00
 
Mastering Professional Scrum: ...
(Paperback)
Stephanie Ockerman; Simon Reindl
 
£25.99
£27.99
 
Analytic Methods in Systems and...
(Hardback)
Ron S. Kenett; Fabrizio Ruggeri;...
 
 
£59.95
 
© W&G Foyle Ltd
Foyles uses cookies to help ensure your experience on our site is the best possible. Click here if you’d like to find out more about the types of cookies we use.
Accept and Close