Location of Repository

Exploring the Impact of Task Preemption on Dependability in Time-Triggered Embedded Systems: a Pilot Study.

By Michael J. Short, Michael J. Pont and Jianzhong Fang

Abstract

In this paper, we explore the impact of task\ud preemption on the dependability of a single-processor embedded control system. Our particular focus in this exploratory study is on static–priority, time-triggered\ud scheduler architectures. The study is empirical in nature and we employ a hardware-in-the-loop (HIL) testbed, representing a cruise control system for a passenger vehicle, in conjunction with fault-injection\ud to perform the dependability comparisons. The results we have obtained suggest that the presence of preemption may have a negative influence on dependability; however further work is needed in this area before more general conclusions may be drawn

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

Suggested articles

Preview

Citations

  1. (2005). A ‘Hardware-in-the Loop’ testbed representing the operation of a cruise-control system in a passenger car. In:
  2. (1988). A Method for Characterising a Microprocessor’s Vulnerability to SEU. doi
  3. (2003). A relative performance monitor for process controllers. doi
  4. (1999). An embedded software primer.
  5. (2007). An engineering process for the verification of real-time systems. doi
  6. (1996). An Evaluation of the Error Detection Mechanisms in MARS Using Software-Implemented Fault Injection. In: doi
  7. (1993). Applying new scheduling theory to static priority pre-emptive scheduling. doi
  8. (1997). Computer Controlled Systems: Theory And Design. doi
  9. (2001). Control-Flow Checking Via Regular Expressions. In: doi
  10. (1991). Digital computer control systems. doi
  11. (1999). Electronic Throttle Control – A Dependability Case Study.
  12. (2004). Energy-aware strategies in real-time systems for autonomous robots. In: doi
  13. (1993). Engineering and analysis of fixed-priority schedulers. doi
  14. (2003). Establishing timing requirements for control loops in real-time systems. doi
  15. (2004). Experimental Dependability Evaluation of the Artk68-FT Real-time Kernel. In:
  16. Exploring the links between software architecture and PID parameters in embedded control systems. In:
  17. (1990). Fault Injection for Dependability Validation—A Methodology and Some Applications. doi
  18. (2000). Fixed Priority Scheduling versus Pre-Run-Time Scheduling.
  19. (1990). Handbook - Reliability Prediction of Electronic Equipment. Department of Defence,
  20. (2005). Hardware in the loop simulation of embedded automotive control systems. In: doi
  21. (2002). Implementation and evaluation of failsafe computercontrolled systems. doi
  22. (1981). Introduction to real-time software design. doi
  23. (2005). Maximizing the Stability Radius of a Set of Systems Under Real-Time Scheduling Constraints. doi
  24. (2000). Modern control technology: components and systems.
  25. (2003). On Inspection and Verification of Software with Timing Requirements. doi
  26. (2001). Patterns for time-triggered embedded systems: Building reliable applications with the 8051 family of microcontrollers.
  27. (1990). Priority Inheritance Protocol: An approach to real-time synchronization. doi
  28. (2006). Reducing jitter in embedded systems employing a time-triggered software architecture and dynamic voltage scaling. doi
  29. (1977). Reliability in engineering design. doi
  30. (1996). Safety Critical Computer Systems.
  31. (1973). Scheduling algorithms for multiprogramming in a hard real-time environment. doi
  32. (1998). Scheduling and Timing Analysis for Safety Critical Real-Time Systems. PhD Dissertation,
  33. (1996). Single Event Effects in Avionics. doi
  34. (1992). Software architecture for hard real-time applications: Cyclic executives vs. fixed priority executives. doi
  35. (2006). Software-based self-testing of microprocessors. doi
  36. Sudden acceleration – the myth of driver error.
  37. (1989). The cyclic executive model and Ada. doi
  38. (2006). The design of a pre-emptive scheduler for the C167 Microcontroller.
  39. (1996). The Impact of Workload On The Dependability Of Microprocessors Used In Control Applications. MSC Thesis,
  40. (2006). Transient detection in COTS processors using software approach. doi

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