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 条
[21]   GUARDS: A generic upgradable architecture for real-time dependable systems [J].
LAAS-CNRS, 7 avenue du Colonel Roche, Toulouse Cedex 4, France ;
不详 ;
不详 ;
不详 ;
不详 ;
不详 ;
不详 ;
不详 ;
不详 .
IEEE Trans Parallel Distrib Syst, 6 (580-599)
[22]   On aspect-orientation in distributed real-time dependable systems [J].
Gal, A ;
Spinczyk, O ;
Preikschat, WS .
PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2002, :261-267
[23]   GUARDS:: A generic upgradable architecture for real-time dependable systems [J].
Powell, D ;
Arlat, J ;
Beus-Dukic, L ;
Bondavalli, A ;
Coppola, P ;
Fantechi, A ;
Jenn, E ;
Rabéjac, C ;
Wellings, A .
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1999, 10 (06) :580-599
[24]   Resource Management Middleware for Dynamic, Dependable Real-Time Systems [J].
Binoy Ravindran ;
Lonnie Welch ;
Behrooz Shirazi .
Real-Time Systems, 2001, 20 :183-196
[25]   Research directions in object oriented, real-time dependable systems [J].
Lockheed Martin Corp, United States .
Pro Workshop Object Oriented Real Time Dependable Syst WORDS, (230-231)
[26]   Resource management middleware for dynamic, dependable real-time systems [J].
Ravindran, B ;
Welch, L ;
Shirazi, B .
REAL-TIME SYSTEMS, 2001, 20 (02) :183-196
[27]   Real-time dependable decisions in timed asynchronous distributed systems [J].
Raynal, M .
THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, :283-290
[28]   Dependable real-time data mining [J].
Thuraisingham, B ;
Khan, L ;
Clifton, C ;
Maurer, J ;
Ceruti, M .
ISORC 2005: EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2005, :158-165
[29]   Asynchrony and real-time dependable computing [J].
Le Lann, G .
EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, :18-25
[30]   System Support and Dependable Adaptation in Small Real-Time Embedded Systems [J].
Almeida, C. M. R. .
IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (10) :4402-4408