*banner
 

Model-Based Development of Fault-Tolerant Real-Time Systems
Christian Buckl

Citation
Christian Buckl. "Model-Based Development of Fault-Tolerant Real-Time Systems". Talk or presentation, 10, February, 2009.

Abstract
The design of fault-tolerant real-time systems is a complex task. The system must not only satisfy real-time requirements, but it must also deliver the specified functionality in the presence of both hardware and software faults. This talk presents a model-based development tool for the design of fault-tolerant real-time systems. The tool focuses on the code generation of non-functional requirements and therefore complements existing tools. The major contribution is the presentation of adequate models that can be used to model fault-tolerant systems and generate the code automatically. These models comprise a formal description of the hardware architecture, the software components and their temporal behavior, the fault assumptions, and the selected fault-tolerance mechanisms. Using a template-based code generator, the fault-tolerant real-time system is generated. This approach allows an easy expansion of the code generation functionality and therefore offers a solution to handle the heterogeneity of fault-tolerant systems. Finally, we will outline how formal methods can be integrated to prove the correctness of the generated code.

Electronic downloads

Citation formats  
  • HTML
    Christian Buckl. <a
    href="http://chess.eecs.berkeley.edu/pubs/527.html"
    ><i>Model-Based Development of Fault-Tolerant
    Real-Time Systems</i></a>, Talk or presentation,
     10, February, 2009.
  • Plain text
    Christian Buckl. "Model-Based Development of
    Fault-Tolerant Real-Time Systems". Talk or
    presentation,  10, February, 2009.
  • BibTeX
    @presentation{Buckl09_ModelBasedDevelopmentOfFaultTolerantRealTimeSystems,
        author = {Christian Buckl},
        title = {Model-Based Development of Fault-Tolerant
                  Real-Time Systems},
        day = {10},
        month = {February},
        year = {2009},
        abstract = {The design of fault-tolerant real-time systems is
                  a complex task. The system must not only satisfy
                  real-time requirements, but it must also deliver
                  the specified functionality in the presence of
                  both hardware and software faults. This talk
                  presents a model-based development tool for the
                  design of fault-tolerant real-time systems. The
                  tool focuses on the code generation of
                  non-functional requirements and therefore
                  complements existing tools. The major contribution
                  is the presentation of adequate models that can be
                  used to model fault-tolerant systems and generate
                  the code automatically. These models comprise a
                  formal description of the hardware architecture,
                  the software components and their temporal
                  behavior, the fault assumptions, and the selected
                  fault-tolerance mechanisms. Using a template-based
                  code generator, the fault-tolerant real-time
                  system is generated. This approach allows an easy
                  expansion of the code generation functionality and
                  therefore offers a solution to handle the
                  heterogeneity of fault-tolerant systems. Finally,
                  we will outline how formal methods can be
                  integrated to prove the correctness of the
                  generated code.},
        URL = {http://chess.eecs.berkeley.edu/pubs/527.html}
    }
    

Posted by Hiren Patel on 11 Feb 2009.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2014 Chess