Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings by Mathai JosephFormal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings by Mathai Joseph

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000…

EditorMathai Joseph

Paperback | September 6, 2000

Pricing and Purchase Info

$128.95

Earn 645 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.
Title:Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000…Format:PaperbackDimensions:313 pages, 9.25 × 6.1 × 0 inPublished:September 6, 2000Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540410554

ISBN - 13:9783540410553

Look for similar items by category:

Reviews

Table of Contents

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.