ویراساینس.
سند علمی

Design and Verification of Fault-Tolerant Components

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

چکیده

We present a systematic approach to design and verification of faulttolerant components with real-time properties as found in embedded systems. A state machine model of the correct component is augmented with internal transitions that represent hypothesized faults. Also, constraints on the occurrence or timing of faults are included in this model. This model of a faulty component is then extended with fault detection and recovery mechanisms, again in the form of state machines. Desired properties of the component are model checked for each of the successive models. The models can be made relatively detailed such that they can serve directly as blueprints for engineering, and yet be amenable to exhaustive verification. The approach is illustrated with a design of a triple modular fault-tolerant system that is a real case we received from our collaborators in the aerospace field. We use UPPAAL to model and check this design. Model checking uses concrete parameters, so we extend the result with parametric analysis using abstractions of the automata in a rigorous verification.

اسناد مشابه

  • Goal Programming Approach for Selection of COTS Components in Designing a Fault Tolerant Modular Software System under Consensus Recovery Block Scheme

    سند علمی۲۰۱۲P. C. Jha, Vikram Bali

    The application of computer systems has now crossed many different fields. Systems are becoming more software intensive. The requirements of the customer for a more reliable software led to the fact that software reliability is now an important research area. One method to improv

  • Designing Fault-Tolerant Component Based Applications with a Model Driven Approach

    سند علمی۲۰۰۸SEUSBrahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray

    The requirement for higher reliability and availability of systems is continuously increasing even in domains not traditionally strongly involved in such issues. Solutions are expected to be efficient, flexible, reusable on rapidly evolving hardware and of course at low cost. Mod

  • Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs

    سند علمی۲۰۱۲Theor. Comput. Sci.Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni

    Due to their increasing complexity, today’s SoC (System on Chip) systems are subject to a variety of faults (e.g., soft errors, component crash, etc.), thereby making fault tolerance a highly important property of such systems. However, designing fault tolerance is a complex task

  • Designing Masking Fault Tolerance via Nonmasking Fault Tolerance

    سند علمی۱۹۹۵IEEE Trans. Software Eng.Anish Arora, Sandeep S. Kulkarni

    Masking fault-tolerance guarantees that programs continually satisfy their specii-cation in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guarantee as much: it merely guarantees that when faults stop occurring, program executions converge to stat

  • Designing Efficient Fault-Tolerant Systems on Wireless Networks

    سند علمی۲۰۰۰Guohong Cao

    The falling cost of both communication and mobile computing devices (laptop computers, hand-held computers, etc.) is making mobile computing affordable to both business users and private consumers. People on the road want to use their laptops to read Email, login on remote machin

  • Detectors and Correctors: A Theory of Fault-Tolerance Components

    سند علمی۱۹۹۸ICDCSAnish Arora, Sandeep S. Kulkarni

    A Theory of Fault-Tolerance Components1 Anish Arora Sandeep S. Kulkarni Department of Computer and Information Science The Ohio State University Columbus, Ohio 43210 USA Abstract In this paper, we show that two types of tolerance components, namely detectors and correctors, appea