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

Front Cover
Mathai Joseph
Springer, Jul 31, 2003 - Computers - 314 pages
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.
 

Contents

Stability of Discrete Sampled Systems
1
Challenges in the Verification of Electronic Control Units
18
Decidable Model Checking of Probabilistic Hybrid Automata
31
Fault Tolerance
46
Threshold and BoundedDelay Voting in Critical Control Systems
70
Reliability Modelling of TimeCritical Distributed Systems
94
A Dual Interpretation of Standard Constraints in Parametric Scheduling
121
SignalSimulink
134
A System for Object Code Validation
152
RealTime Program Refinement Using Auxiliary Variables
173
Generalizing Action Systems to Hybrid Systems
202
Modelling Coordinated Atomic Actions in Timed CSP
228
Using Cylindrical Algebraic Decomposition for the Analysis of Slope
252
An OntheFly Tableau Construction for a RealTime Temporal Logic
276
Verifying Universal Properties of Parameterized Networks
291
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information