Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/4190
Title: Development Guidelines for Dependable Real-Time Embedded Systems.
Authors: Short, Michael J.
First Published: Apr-2008
Publisher: Institute of Electrical and Electronics Engineers (IEEE).
Citation: Computer Systems and Applications - IEEE/ACS International Conference on, AICCSA 2008, Art. No. 4493674, pp. 1032-1039.
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 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.
DOI Link: 10.1109/AICCSA.2008.4493674
Links: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4493674
http://hdl.handle.net/2381/4190
Type: Conference paper
Rights: This is the author's final draft of the paper published as Computer Systems and Applications - IEEE/ACS International Conference on, AICCSA 2008, Art. No. 4493674, pp. 1032-1039. Copyright © 2008 IEEE. The final version is available from http://ieeexplore.ieee.org/. Doi: 10.1109/AICCSA.2008.4493674. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Leicester’s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
Appears in Collections:Conference Papers & Presentations, Dept. of Engineering

Files in This Item:
File Description SizeFormat 
MJS - AICSSA - 2008.pdf215.34 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.