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 / Edition 1

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, Greno / Edition 1

by Yassine Lakhnech
     
 

ISBN-10: 3540231676

ISBN-13: 9783540231677

Pub. Date: 12/14/2004

Publisher: Springer Berlin Heidelberg

This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004.

The 24 revised full papers presented together with abstracts of 2 invited talks were carefully

…  See more details below

Overview

This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004.

The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance prools, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, shastic hybrid systems, timed Petri nets, and event recording automata.

Product Details

ISBN-13:
9783540231677
Publisher:
Springer Berlin Heidelberg
Publication date:
12/14/2004
Series:
Lecture Notes in Computer Science Series, #3253
Edition description:
2004
Pages:
402
Product dimensions:
6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

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 Prool.- Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.- Modeling and Verification of a Fault-Tolerant Real-Time Startup Prool 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 Shastic 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.

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >