Development of dependable real-time systems with Zerberus

被引：1
|
作者：
Buckl, C [1 ]
Knoll, A [1 ]
Schrott, G [1 ]
机构：
[1] Tech Univ Munich, Dept Informat, Garching, Germany
来源：
11th Pacific Rim International Symposium on Dependable Computing, Proceedings | 2005年
关键词：
D O I：
10.1109/PRDC.2005.32
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-tolerance mechanisms are generated automatically by development tools. With the Zerberus System we developed such a tool. The main concept of Zerberus is the platform independent specification of the functional model (application tasks, interaction with environment, temporal constraints) by the developer using the Zerberus language. Based on this functional model the code for the fault-tolerance mechanisms is generated automatically for the desired platform using preimplemented templates. Due to this automatic code generation the development process is accelerated and the developers are enabled to implement dependable application without expert knowledge of fault-tolerance techniques. Our approach offers also the possibility to accelerate the certification process by using certified templates for the fault-tolerance mechanisms.
引用
收藏
页码：404 / 408
页数：5
相关论文
共 50 条
  • [1] The Zerberus Language: Describing the functional model of dependable real-time systems
    Buckl, C
    Knoll, A
    Schrott, G
    DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 101 - 120
  • [2] Development guidelines for dependable real-time embedded systems
    Short, Michael
    2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 1032 - 1039
  • [3] Evolving dependable real-time systems
    Sha, L
    Rajkumar, R
    Gagliardi, M
    1996 IEEE AEROSPACE APPLICATIONS CONFERENCE, PROCEEDINGS, VOL 1, 1996, : 335 - 346
  • [4] The XBW model for dependable real-time systems
    Claesson, V
    Poledna, S
    Soderberg, J
    1998 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1998, : 130 - 138
  • [5] Algorithms for dependable hard real-time systems
    Puschner, P. (peter@vmars.tuwien.ac.at), IEEE Technical Committee on Distributed Processing (Institute of Electrical and Electronics Engineers Inc., United States):
  • [6] THE HCI COMPONENT OF DEPENDABLE REAL-TIME SYSTEMS
    BURNS, A
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (04): : 168 - 174
  • [7] Probabilistic analysis of real-time dependable systems
    Moser, LE
    MelliarSmith, PM
    Thomopoulos, E
    THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 306 - 313
  • [8] Algorithms for dependable hard real-time systems
    Puschner, P
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, : 26 - 31
  • [9] DESIGNING REAL-TIME DEPENDABLE DISTRIBUTED SYSTEMS
    LELANN, G
    COMPUTER COMMUNICATIONS, 1992, 15 (04) : 225 - 234
  • [10] Building distributed scalable dependable real-time systems
    Ravindran, B
    Welch, LR
    Kelling, C
    INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 452 - 459
12345