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 Patel on 11 Feb 2009.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.