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