Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)3540230688, 9783540230687, 9783540300809

This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004.

SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains.

The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

---

Table of contents :
Front Matter….Pages –
Decision Problems for Timed Automata: A Survey….Pages 1-24
Timed Petri Nets: Efficiency of Asynchronous Systems….Pages 25-58
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)….Pages 59-97
Expressiveness of Timed Events and Timed Languages….Pages 98-131
Real Time and Stochastic Time….Pages 132-180
On the Semantic Foundations of Standard UML 2.0….Pages 181-199
A Tutorial on Uppaal ….Pages 200-236
The IF Toolset….Pages 237-267
Embedded Software Analysis with MOTOR….Pages 268-293
Back Matter….Pages –