Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text.

FREE shipping on qualifying offers

FREE shipping on qualifying offers.

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000.

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science).

1 Time and Real-time Mathai Joseph Introduction . Real-time computing . Requirements, specication and implementation . The mine pump . How to read the book . Historical background . Exercises. 2 Fixed Priority Scheduling – A Simple Model Mathai Joseph Introduction . Computational model . Static scheduling . Scheduling with priorities . Simple methods of analysis . Exact analysis . Extending the analysis .

January 2007 Formal methods and hybrid real-time systems. Publisher: Springer-Verlag.

This book constitutes the proceedings of the Fourth International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2010, held in St. Petersburg, Russia, June 17-18, 2010 2. Abstractions for Real Real-time Systems. January 2007 Formal methods and hybrid real-time systems.

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems.

Real-time systems; formal methods.