Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: October 13, 2000
Language: eng
Format: Paperback
Number of pages: 303
ISBN-13: 9783540410553
Subjects: Compilers & interpreters; Computer architecture & logic design; Programming languages; Real-Time Data Processing; Fault-tolerant computing; Formal Language Theory; Computers; Computers - General Information; Operating Systems - General; Computer Books: General; Logic Design; Data Processing - General; General; Computers / Logic Design; Formal methods; dependable computing; fault-tolerant systems; Computer Science; Congresses
First sentence: Many real-time embedded systems, appearing in industrial control (e.g., plant supervision, flight control, ... ), are periodic sampled 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>