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>

First Sentence

Many real-time embedded systems, appearing in industrial control (e.g., plant supervision, flight control, ... ), are periodic sampled systems.

Subjects

Other Editions

• Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science)Springer1988-09-01
• Formal Techniques in Real-Time and Fault-Tolerant SystemsPaperbackSpringer2000-10-13
• Formal Techniques in Real-Time and Fault-Tolerant SystemsPaperbackSpringer1988-10-17
• Formal Techniques in Real-Time and Fault-Tolerant SystemsSpringer London, Limited2003-01-01