Author: Paul S. MinerPublisher:
ISBN:
Category : Fault-tolerant computing
Languages : en
Pages : 148
Book Description
Verification of Fault-tolerant Clock Synchronization Systems
Author: Paul S. MinerPublisher:
ISBN:
Category : Fault-tolerant computing
Languages : en
Pages : 148
Book Description
Validation of a Fault-tolerant Clock Synchronization System
Author: Ricky W. ButlerPublisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 28
Book Description
Formal Techniques in Real-Time and Fault-Tolerant Systems
Author: Werner DammPublisher: Springer Science & Business Media
ISBN: 3540441654
Category : Computers
Languages : en
Pages : 438
Book Description
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub ̈ eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium.
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Author: Yassine LakhnechPublisher: Springer Science & Business Media
ISBN: 3540231676
Category : Computers
Languages : en
Pages : 405
Book Description
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 protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.
NASA Technical Paper
Author: Scientific and Technical Aerospace Reports
Author: NASA Technical Memorandum
Author: NASA Information Sciences and Human Factors Program Annual Report, 1990
Author: United States. National Aeronautics and Space Administration. Information Sciences and Human Factors DivisionPublisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 240
Book Description
Monthly Catalogue, United States Public Documents
Author: Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 872
Book Description
Author: