Formal Techniques in Real-Time and Fault Tolerant Systems


Product Description
Product Details

Promotional Information

Springer Book Archives

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.

Ask a Question About this Product More...
Look for similar items by category
People also searched for
How Fishpond Works
Fishpond works with suppliers all over the world to bring you a huge selection of products, really great prices, and delivery included on over 25 million products that we sell. We do our best every day to make Fishpond an awesome place for customers to shop and get what they want — all at the best prices online.
Webmasters, Bloggers & Website Owners
You can earn a 8% commission by selling Formal Techniques in Real-Time and Fault Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep! You should start right now!
Authors / Publishers
Are you the Author or Publisher of a book? Or the manufacturer of one of the millions of products that we sell. You can improve sales and grow your revenue by submitting additional information on this title. The better the information we have about a product, the more we will sell!
Item ships from and is sold by Fishpond World Ltd.

Back to top