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 条

[31] On the implementation of dependable real-time systems with non-preemptive EDF [J].

Short M. .

Lecture Notes in Electrical Engineering, 2011, 90 LNEE :183-196

[32] Distributed, scalable, dependable real-time systems: Middleware services and applications [J].

Welch, LR ;

Ravindran, B ;

Werme, PV ;

Masters, MW ;

Shirazi, BA ;

Shirolkar, PA ;

Harrison, RD ;

Mills, W ;

Do, T ;

Lafratta, J ;

Anwar, SM ;

Sharp, S ;

Sergeant, T ;

Bilowus, G ;

Swick, M ;

Hoppel, J ;

Caruso, J .

IPPS/SPDP 1999: 13TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & 10TH SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 1999, :297-301

[33] DESIGN DESCRIPTION LANGUAGES FOR THE DESIGN OF PREDICTABLY DEPENDABLE REAL-TIME SYSTEMS [J].

SIMONCINI, L .

IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 :598-598

[34] An optimization based design for integrated dependable real-time embedded systems [J].

Islam, Shariful ;

Suri, Neeraj ;

Balogh, Andras ;

Csertan, Gyoergy ;

Pataricza, Andras .

DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2009, 13 (04) :245-285

[35] A dependable online testing and upgrade architecture for real-time embedded systems [J].

Lee, K ;

Sha, L .

11TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2005, :160-165

[36] WHAT ARE THE CORRECT PARADIGMS FOR DESIGNING DEPENDABLE DISTRIBUTED AND REAL-TIME SYSTEMS [J].

LELANN, G .

IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 :596-597

[37] An object-based model for dependable real-time distributed systems [J].

Chen, YJ ;

Mosse, D ;

Chang, SK .

SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, :192-200

[38] Dependable adaptive real-time applications in wormhole-based systems [J].

Martins, P ;

Sousa, P ;

Casimiro, A ;

Veríssimo, P .

2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2004, :567-572

[39] An optimization based design for integrated dependable real-time embedded systems [J].

Shariful Islam ;

Neeraj Suri ;

András Balogh ;

György Csertán ;

András Pataricza .

Design Automation for Embedded Systems, 2009, 13 :245-285

[40] A resource management model for dynamic, scalable, dependable, real-time systems [J].

Ravindran, B ;

Welch, LR ;

Bruggeman, C ;

Shirazi, BA ;

Cavanaugh, C .

PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 :931-936

← 1 2 3 4 5 →