Design and Verification of Fault-Tolerant Components

DOI10.1007/978-3-642-00867-2_4MaRDI QIDQ3623817zbMATH OpenOpenAlexFDO

Authors Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn

Publication date 24 April 2009

Published in Methods, Models and Tools for Fault Tolerance (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00867-2_4

zbMATH Keywords

fault-tolerancemodel checkingabstractionreal-time embedded systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formally verifying fault tolerant system designs
• Experiments on a fault tolerant distributed system
• Design and verification of fault tolerant systems with CSP
• scientific article; zbMATH DE number 1444728
• Logical specification and analysis of fault tolerant systems through partial model checking

Cites work

• scientific article; zbMATH DE number 1696495 (Why is no real title available?)
• scientific article; zbMATH DE number 1903343 (Why is no real title available?)
• A theory of timed automata
• Formal Methods for the Design of Real-Time Systems
• Logical specification and analysis of fault tolerant systems through partial model checking
• Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
• Property preserving abstractions for the verification of concurrent systems
• The existence of refinement mappings

Cited in

(8)

• MR4UM: a framework for adding fault tolerance to UML state diagrams
• Model-based safety assessment of a triple modular generator with xSAP
• scientific article; zbMATH DE number 1301616 (Why is no real title available?)
• Experiments on a fault tolerant distributed system
• Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip
• scientific article; zbMATH DE number 4219110 (Why is no real title available?)
• Formal reliability analysis of redundancy architectures
• Linking formal methods in software development. A reflection on the development of rCOS

Describes a project that uses

Uses Software

• Uppaal
• Uppaal2k

This page was built for publication: Design and Verification of Fault-Tolerant Components

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623817)