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

• 090210_berkeley.pdf · application/pdf · 984 kbytes

• 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 D. Patel on 11 Feb 2009.
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.