University of Leicester
MJS - AICSSA - 2008.pdf (215.34 kB)

Development Guidelines for Dependable Real-Time Embedded Systems.

Download (215.34 kB)
conference contribution
posted on 2009-01-29, 11:31 authored by Michael J. Short
Embedded control systems play an increasing role in many safety critical system designs. The correct and dependable implementation of such systems depends on many factors, including the design of system hardware, software and fault tolerance mechanisms, the choice of programming language, and also the testing, verification and validation techniques employed. In this paper, a set of guidelines for the development of dependable embedded systems is presented. Although the paper is primarily concerned with single-processor applications, extensions to multiprocessor systems are discussed where appropriate. Although the creation of dependable embedded systems cannot simply rely on the enforcement of several such rules or guidelines, experience gained from several years’ experience of teaching, research and development in these areas indicates that adherence to a small, but workable, set of rules and guidelines can avoid many of the traps and pitfalls commonly encountered in the creation of dependable embedded systems.



Computer Systems and Applications - IEEE/ACS International Conference on, AICCSA 2008, Art. No. 4493674, pp. 1032-1039.

Published in

Computer Systems and Applications - IEEE/ACS International Conference on


Institute of Electrical and Electronics Engineers (IEEE).

Copyright date


Available date


Publisher version



Usage metrics

    University of Leicester Publications