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 条
[41]   Replica determinism and flexible scheduling in hard real-time dependable systems [J].
Poledna, S ;
Burns, A ;
Wellings, A ;
Barrett, P .
IEEE TRANSACTIONS ON COMPUTERS, 2000, 49 (02) :100-111
[42]   Replica voting: a distributed middleware service for real-time dependable systems [J].
Ravindran, K. ;
Kwiat, K. A. ;
Sabbir, A. ;
Cao, B. .
2006 1ST INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS SOFTWARE & MIDDLEWARE, VOLS 1 AND 2, 2006, :437-+
[43]   Scheduling Framework for Real-time Dependable NoC-Based Systems [J].
Tagel, Mihkel ;
Ellervee, Peeter ;
Jervan, Gert .
2009 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP PROCEEDINGS, 2009, :95-99
[44]   A Real-Time Dependable Flash Storage System [J].
McEwan, Alistair A. ;
Komsul, Muhammad Ziya .
IEEE ACCESS, 2019, 7 :142974-142990
[45]   Special issue: Real-time dependable objects [J].
Pereira, CE ;
Baldoni, R .
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2002, 17 (02) :65-66
[46]   Editorial: Dependable and Real-time Vehicular Communication for Intelligent Transportation Systems (ITS) [J].
Muhammad Alam ;
Elad Schiller ;
Lei Shu ;
Xiaoling Wu ;
Unai Hernandez Jayo .
Mobile Networks and Applications, 2018, 23 :1129-1131
[47]   Exploiting primary/backup mechanism for energy efficiency in dependable real-time systems [J].
Guo, Yifeng ;
Zhu, Dakai ;
Aydin, Hakan ;
Han, Jian-Jun ;
Yang, Laurence T. .
JOURNAL OF SYSTEMS ARCHITECTURE, 2017, 78 :68-80
[48]   Dependable, open and real-time architecture for power systems - DORA-power [J].
Hirota, Atsuhiko ;
Kikuchi, Masayuki ;
Owaki, Takashi ;
Tani, Yukiyoshi .
Hitachi Review, 2000, 49 (02) :48-52
[49]   Dependable Scheduling for Real-Time Workflows on Cyber-Physical Cloud Systems [J].
Zhou, Junlong ;
Sun, Jin ;
Zhang, Mingyue ;
Ma, Yue .
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2021, 17 (11) :7820-7829
[50]   Schedulability guarantees for dependable distributed real-time systems under error bursts [J].
Aysan, Huseyin ;
Dobrin, Radu ;
Punnekkat, Sasikumar .
Aysan, H. (huseyin.aysan@mdh.se), 1600, Springer Verlag (187 AISC) :393-406
12345