Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings / edited by Mathai Joseph.
Material type: TextSeries: Lecture Notes in Computer Science ; 1926Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Description: X, 314 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540453529Subject(s): Computer science | Logic design | Software engineering | Computer Science | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Processor Architectures | Special Purpose and Application-Based Systems | Logic DesignAdditional physical formats: Printed edition:: No titleDDC classification: 005.1015113 LOC classification: QA76.9.L63QA76.5913QA76.63Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK5328 |
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.