Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2000.
|
| Έκδοση: | 1st ed. 2000. |
| Σειρά: | Lecture Notes in Computer Science,
1926 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Lectures
- Stability of Discrete Sampled Systems
- Issues in the Refinement of Distributed Programs
- Challenges in the Verification of Electronic Control Units
- Model Checking
- Scaling up Uppaal
- Decidable Model Checking of Probabilistic Hybrid Automata
- Fault Tolerance
- 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
- Scheduling
- A Methodology for the Construction of Scheduled Systems
- A Dual Interpretation of "Standard Constraints" in Parametric Scheduling
- Validation
- Co-Simulation of Hybrid Systems: Signal-Simulink
- A System for Object Code Validation
- Refinement
- Real-Time Program Refinement Using Auxiliary Variables
- On Refinement and Temporal Annotations
- Generalizing Action Systems to Hybrid Systems
- Verification
- Compositional Verification of Synchronous Networks
- Modelling Coordinated Atomic Actions in Timed CSP
- Logic and Automata
- A Logical Characterisation of Event Recording Automata
- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
- Probabilistic Neighbourhood Logic
- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic
- Verifying Universal Properties of Parameterized Networks.
