Parametric Analysis of an Improved Fault Tolerant System

Authors:
Miaomiao Zhang;Wenzhong Qin
Affiliations:
School of Software Engineering, Tongji University, Shanghai, China;School of Software Engineering, Tongji University, Shanghai, China
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 8
Cited 0

Design & analysis of fault tolerant digital systems

Design & analysis of fault tolerant digital systems
A theory of timed automata

Theoretical Computer Science
Specification and verification of fault-tolerance, timing, and scheduling

ACM Transactions on Programming Languages and Systems (TOPLAS)
Validating Requirements for Fault Tolerant Systems using Model Checking

ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Verification of fault tolerance and real time

FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Modeling and Verifying a Lego Car Using Hybrid I/O Automata

QSIC '03 Proceedings of the Third International Conference on Quality Software
Analysis of the zeroconf protocol using UPPAAL

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report our preliminary study on an improved triple modular computer system from the aerospace field, which is designed to compute the course of action that other subsystems take and output the result to other subsystems. Based on the formal model of the system, we derive constraints on the values of the parameters that occur in our model, and manually prove that '' When a CPU is in the startup phase, it should not restart again due to its watchdog timer overflow or a restart signal sent from the arbitrator ''.