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 /
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 / [electronic resource] :
edited by Yassine Lakhnech, Sergio Yovine.
- 1st ed. 2004.
- X, 402 p. online resource.
- Lecture Notes in Computer Science, 3253 1611-3349 ; .
- Lecture Notes in Computer Science, 3253 .
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.
9783540302063
10.1007/b100824 doi
Computer science.
Compilers (Computer programs).
Microprocessors.
Computer architecture.
Computers, Special purpose.
Software engineering.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Processor Architectures.
Special Purpose and Application-Based Systems.
Software Engineering.
QA75.5-76.95
004.0151
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.
9783540302063
10.1007/b100824 doi
Computer science.
Compilers (Computer programs).
Microprocessors.
Computer architecture.
Computers, Special purpose.
Software engineering.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Processor Architectures.
Special Purpose and Application-Based Systems.
Software Engineering.
QA75.5-76.95
004.0151