Formal Techniques in Real-Time and Fault-Tolerant Systems

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