Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
Material type: TextSeries: Lecture Notes in Computer Science ; 1926Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Edition: 1st ed. 2000Description: X, 314 p. online resourceContent type:- text
- computer
- online resource
- 9783540453529
- Compilers (Computer programs)
- Computer systems
- Computer science
- Microprocessors
- Computer architecture
- Computers, Special purpose
- Logic design
- Compilers and Interpreters
- Computer System Implementation
- Computer Science Logic and Foundations of Programming
- Processor Architectures
- Special Purpose and Application-Based Systems
- Logic Design
- 005.45 23
- QA76.76.C65
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.
There are no comments on this title.