Parametric Analysis of an Improved Fault Tolerant System | Zendy

Miaomiao Zhang | Zendy; Wenzhong Qin | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Parametric Analysis of an Improved Fault Tolerant System

Author(s) -

Miaomiao Zhang,

Wenzhong Qin

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.03.089

Subject(s) - timer , modular design , computer science , fault tolerance , parametric statistics , field (mathematics) , aerospace , modular programming , action (physics) , embedded system , distributed computing , operating system , programming language , engineering , mathematics , aerospace engineering , statistics , physics , quantum mechanics , pure mathematics , microcontroller

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 ”

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research