Development guidelines for dependable real-time embedded systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

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 multi-processor 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.

Original languageEnglish
Title of host publicationAICCSA 08 - 6th IEEE/ACS International Conference on Computer Systems and Applications
Pages1032-1039
Number of pages8
DOIs
Publication statusPublished - 28 Aug 2008
Event6th IEEE/ACS International Conference on Computer Systems and Applications - Doha, Qatar
Duration: 31 Mar 20084 Apr 2008

Publication series

NameAICCSA 08 - 6th IEEE/ACS International Conference on Computer Systems and Applications

Conference

Conference6th IEEE/ACS International Conference on Computer Systems and Applications
Abbreviated titleAICCSA 2008
CountryQatar
CityDoha
Period31/03/084/04/08

Fingerprint Dive into the research topics of 'Development guidelines for dependable real-time embedded systems'. Together they form a unique fingerprint.

  • Cite this

    Short, M. (2008). Development guidelines for dependable real-time embedded systems. In AICCSA 08 - 6th IEEE/ACS International Conference on Computer Systems and Applications (pp. 1032-1039). [4493674] (AICCSA 08 - 6th IEEE/ACS International Conference on Computer Systems and Applications). https://doi.org/10.1109/AICCSA.2008.4493674