Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 From Software to Hardware and Back
3. Altmetric Badge
   Chapter 2 Of Elections and Electrons
4. Altmetric Badge
   Chapter 3 Formal Verification of an Avionics Sensor Voter Using SCADE
5. Altmetric Badge
   Chapter 4 Mixed Delay and Threshold Voters in Critical Real-Time Systems
6. Altmetric Badge
   Chapter 5 Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems
7. Altmetric Badge
   Chapter 6 On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies
8. Altmetric Badge
   Chapter 7 On Timed Automata with Input-Determined Guards
9. Altmetric Badge
   Chapter 8 Decomposing Verification of Timed I/O Automata
10. Altmetric Badge
    Chapter 9 Symbolic Model Checking for Simply-Timed Systems
11. Altmetric Badge
    Chapter 10 Robustness and Implementability of Timed Automata
12. Altmetric Badge
    Chapter 11 Real-Time Testing with Timed Automata Testers and Coverage Criteria
13. Altmetric Badge
    Chapter 12 Monitoring Temporal Properties of Continuous Signals
14. Altmetric Badge
    Chapter 13 A Unified Fault-Tolerance Protocol
15. Altmetric Badge
    Chapter 14 Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications
16. Altmetric Badge
    Chapter 15 Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
17. Altmetric Badge
    Chapter 16 Static Fault-Tolerant Real-Time Scheduling with “Pseudo-topological” Orders
18. Altmetric Badge
    Chapter 17 The Influence of Durational Actions on Time Equivalences
19. Altmetric Badge
    Chapter 18 Bounded Model Checking for Region Automata
20. Altmetric Badge
    Chapter 19 Some Progress in Satisfiability Checking for Difference Logic
21. Altmetric Badge
    Chapter 20 Model-Checking for Weighted Timed Automata
22. Altmetric Badge
    Chapter 21 Symbolic Model Checking for Probabilistic Timed Automata
23. Altmetric Badge
    Chapter 22 Structured Modeling of Concurrent Stochastic Hybrid Systems
24. Altmetric Badge
    Chapter 23 Computing Schedules for Multithreaded Real-Time Programs Using Geometry
25. Altmetric Badge
    Chapter 24 Forward Reachability Analysis of Timed Petri Nets
26. Altmetric Badge
    Chapter 25 Lazy Approximation for Dense Real-Time Systems
27. Altmetric Badge
    Chapter 26 Learning of Event-Recording Automata