By Topic

Development of dependable real-time systems with Zerberus

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Buckl, C. ; Dept. of Informatics, TU, Munchen, Germany ; Knoll, A. ; Schrott, G.

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 pre-implemented 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.

Published in:

Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on

Date of Conference:

12-14 Dec. 2005