Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Published on 7. December 2004
X, 402 pages
978-3-540-30206-3 (ISBN)
Description
More details
Other editions
Additional editions
Yassine Lakhnech | Sergio Yovine
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Book
09/2004
Springer
€53.49
Shipment within 10-15 days
Content
Invited Papers.- From Software to Hardware and Back.- Of Elections and Electrons.- Regular Papers.- Formal Verification of an Avionics Sensor Voter Using SCADE.- Mixed Delay and Threshold Voters in Critical Real-Time Systems.- Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.- On Timed Automata with Input-Determined Guards.- Decomposing Verification of Timed I/O Automata.- Symbolic Model Checking for Simply-Timed Systems.- Robustness and Implementability of Timed Automata.- Real-Time Testing with Timed Automata Testers and Coverage Criteria.- Monitoring Temporal Properties of Continuous Signals.- A Unified Fault-Tolerance Protocol.- Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata.- Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders.- The Influence of Durational Actions on Time Equivalences.- Bounded Model Checking for Region Automata.- Some Progress in Satisfiability Checking for Difference Logic.- Model-Checking for Weighted Timed Automata.- Symbolic Model Checking for Probabilistic Timed Automata.- Structured Modeling of Concurrent Stochastic Hybrid Systems.- Computing Schedules for Multithreaded Real-Time Programs Using Geometry.- Forward Reachability Analysis of Timed Petri Nets.- Lazy Approximation for Dense Real-Time Systems.- Learning of Event-Recording Automata.
