Citation
Alois Knoll, Christian Buckl. "Model-Based Development of Fault-Tolerant Real-Time Systems". Talk or presentation, 19, February, 2008.

Abstract
Model-based development tools and code generators are frequently used at functional level. However in the context of fault-tolerant real-time systems, the code generation of code at system level (communication in the distributed system, process management and scheduling, fault-tolerance mechanisms) would be even more important. Two problems can be identified that need to be solved in this context. Current modeling languages like UML do not provide rigorous enough execution semantics for extensive code generation. In addition, the generated code is dependant on the used platform (hardware, operating system). Therefore, it is impossible to design a code generator that a priori supports all possible platforms. Rather, an extensible code generation framework has to be proposed. In this talk, we will present solutions for both problems. We will present a domain specific language with explicit execution semantics (e.g. time-triggered computation model). The model covers different aspects like hardware architecture, software components, their interaction and temporal behavior, expected faults and their effects and finally the fault-tolerance mechanisms. We will show that the requirements specific to fault-tolerant computing like replica determinism, support of state synchronization and previously known points in time for the distributed execution of fault-tolerance mechanisms are satisfied by this modeling language. In addition, we will present a template-based code generation technique that allows an easy extension of the code generation functionality. Using two lab applications as example, we will demonstrate the benefits of our approach.

Electronic downloads

• 080119_berkeley.pdf · application/pdf · 782 kbytes

• HTML

  Alois Knoll, Christian Buckl. <a
  href="http://chess.eecs.berkeley.edu/pubs/398.html"
  ><i>Model-Based Development of Fault-Tolerant
  Real-Time Systems</i></a>, Talk or presentation,
   19, February, 2008.

• Plain text

  Alois Knoll, Christian Buckl. "Model-Based Development
  of Fault-Tolerant Real-Time Systems". Talk or
  presentation,  19, February, 2008.

• BibTeX

  @presentation{KnollBuckl08_ModelBasedDevelopmentOfFaultTolerantRealTimeSystems,
      author = {Alois Knoll and Christian Buckl},
      title = {Model-Based Development of Fault-Tolerant
                Real-Time Systems},
      day = {19},
      month = {February},
      year = {2008},
      abstract = {Model-based development tools and code generators
                are frequently used at functional level. However
                in the context of fault-tolerant real-time
                systems, the code generation of code at system
                level (communication in the distributed system,
                process management and scheduling, fault-tolerance
                mechanisms) would be even more important. Two
                problems can be identified that need to be solved
                in this context. Current modeling languages like
                UML do not provide rigorous enough execution
                semantics for extensive code generation. In
                addition, the generated code is dependant on the
                used platform (hardware, operating system).
                Therefore, it is impossible to design a code
                generator that a priori supports all possible
                platforms. Rather, an extensible code generation
                framework has to be proposed. In this talk, we
                will present solutions for both problems. We will
                present a domain specific language with explicit
                execution semantics (e.g. time-triggered
                computation model). The model covers different
                aspects like hardware architecture, software
                components, their interaction and temporal
                behavior, expected faults and their effects and
                finally the fault-tolerance mechanisms. We will
                show that the requirements specific to
                fault-tolerant computing like replica determinism,
                support of state synchronization and previously
                known points in time for the distributed execution
                of fault-tolerance mechanisms are satisfied by
                this modeling language. In addition, we will
                present a template-based code generation technique
                that allows an easy extension of the code
                generation functionality. Using two lab
                applications as example, we will demonstrate the
                benefits of our approach.},
      URL = {http://chess.eecs.berkeley.edu/pubs/398.html}
  }
  

Posted by Douglas Densmore on 2 Mar 2008.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.