Formal Techniques in Real-Time and Fault-Tolerant Systems

About this book

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings Author: Mathai Joseph Published by Springer Berlin Heidelberg ISBN: 978-3-540-41055-3 DOI: 10.1007/3-540-45352-0 Table of Contents: Stability of Discrete Sampled Systems Issues in the Refinement of Distributed Programs Challenges in the Verification of Electronic Control Units Scaling up Uppaal Decidable Model Checking of Probabilistic Hybrid Automata Invariant-Based Synthesis of Fault-Tolerant Systems Modeling Faults of Distributed, Reactive Systems Threshold and Bounded-Delay Voting in Critical Control Systems Automating the Addition of Fault-Tolerance Reliability Modelling of Time-Critical Distributed Systems A Methodology for the Construction of Scheduled Systems A Dual Interpretation of “Standard Constraints” in Parametric Scheduling Co-Simulation of Hybrid Systems: Signal-Simulink A System for Object Code Validation Real-Time Program Refinement Using Auxiliary Variables On Refinement and Temporal Annotations Generalizing Action Systems to Hybrid Systems Compositional Verification of Synchronous Networks Modelling Coordinated Atomic Actions in Timed CSP A Logical Characterisation of Event Recording Automata