University of Leicester
Browse
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.

History

Citation

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

Publisher

Institute of Electrical and Electronics Engineers (IEEE).

Copyright date

2008

Available date

2009-01-29

Publisher version

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4493674

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC