*banner
 

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

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

Citation formats  
  • 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.

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.

©2002-2018 Chess