Title: Formal Techniques in Real-Time and Fault-Tolerant Systems
Description: 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>
Subjects: Congresses, Real-time data processing, Fault-tolerant computing