Location of Repository

Development Guidelines for Dependable Real-Time Embedded Systems.

By Michael J. Short

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,\ud 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\ud 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\ud commonly encountered in the creation of dependable embedded systems

Publisher: Institute of Electrical and Electronics Engineers (IEEE).
Year: 2008
DOI identifier: 10.1109/AICCSA.2008.4493674
OAI identifier: oai:lra.le.ac.uk:2381/4190

Suggested articles

Preview

Citations

  1. (1999). A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications. In: doi
  2. (2004). A Tool for Checking ANSI C Programs. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS doi
  3. (2007). Assessment of high-integrity embedded automotive control systems using hardware-inthe-loop techniques. doi
  4. (2007). Automatically configuring time-triggered schedulers for use with resource-constrained, single-processor embedded systems", doi
  5. (2003). Bounded Model Checking. doi
  6. (1993). C Application Requirement Considerations,"
  7. Comparison of event-triggered and timetriggered concepts with regard to distributed control systems,”
  8. (1994). Development guidelines for vehicle-based software,” Motor Industry Software Reliability Report,
  9. (1993). Engineering and analysis of fixed-priority schedulers. doi
  10. (1991). Event-Triggered Versus TimeTriggered Real-Time Systems. doi
  11. (2008). Exploring the Influence of Preemption on Dependability in Time-Triggered Embedded Systems: a Preliminary Study. doi
  12. (1993). Fault Injection and Dependability Evaluation of Fault-Tolerant Systems. doi
  13. (2007). Fault-tolerant, timetriggered communication using CAN. doi
  14. (2002). Faulttolerant drive-By-Wire Systems,
  15. (2000). Fixed Priority Scheduling versus Pre-Run-Time Scheduling.
  16. (2000). Functional safety of electrical/electronic/ programmable electronic safety-related systems, doi
  17. (2004). Guidelines for the use of the C language in vehicle based software. Motor Industry Software Reliability Report,
  18. (1990). Handbook - Reliability Prediction of Electronic Equipment. Department of Defence,
  19. (1997). Hard real-time computing systems: predictable scheduling algorithms and applications. doi
  20. (1991). On nonpreemptive scheduling of periodic and sporadic tasks. doi
  21. (2001). Patterns for time-triggered embedded systems: Building reliable applications with the 8051 family of microcontrollers,
  22. (1996). Safety Critical Computer Systems,
  23. (1995). Safeware: System Safety and Computers, doi
  24. (1998). Scheduling and timing analysis for safety critical real-time systems,”
  25. (2006). Software-based self-testing of microprocessors. doi
  26. (1991). Specification Version 2.0, Robert Bosch GmbH, doi
  27. (1993). The infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. doi
  28. (2006). The Power of Ten: Rules for Developing Safety Critical Code. doi
  29. (1993). Writing solid code.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.