Design and Verification of Fault-Tolerant Components

DOI10.1007/978-3-642-00867-2_4zbMath1234.68040OpenAlexW1819104672MaRDI QIDQ3623817

Anders P. Ravn, Miaomiao Zhang, Zhi-Ming Liu, Charles Morisset

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

model checkingfault-toleranceabstractionreal-time embedded systems

Mathematics Subject Classification ID

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

Related Items

Formal reliability analysis of redundancy architectures

Uses Software

• Uppaal2k
• Uppaal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existence of refinement mappings
• A theory of timed automata
• Property preserving abstractions for the verification of concurrent systems
• Formal Methods for the Design of Real-Time Systems
• Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k