Assessment of performance and dependability in embedded control systems: Methodology and case study

Control Engineering Practice

Volumn 16, Issue 11, 2008, Pages 1293-1307

  Short, Michael ^a   Pont, Michael J ^a   Fang, Jianzhong ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Automotive control; Distributed embedded systems; Fault injection; Performance monitoring; Safety systems; Testing techniques

Indexed keywords

EMBEDDED SYSTEMS; IDENTIFICATION (CONTROL SYSTEMS); PNEUMATIC CONTROL EQUIPMENT; QUALITY ASSURANCE; RELIABILITY;

ANALYSIS TECHNIQUES; AUTOMOTIVE CONTROL; CASE STUDIES; DESIGN DECISIONS; DISTRIBUTED AND EMBEDDED CONTROL SYSTEMS; ELSEVIER (CO); EMBEDDED CONTROL SYSTEMS; EMBEDDED CONTROLS; FAULT-INJECTION; HARDWARE-IN-THE-LOOP (HITL); MODEL BASED (OPC); PERFORMANCE MONITORING; PHASE SYSTEMS; SAFETY CRITICAL SYSTEMS; SAFETY INTEGRITY; SIMULATION TECHNIQUES; SYSTEM PERFORMANCES; SYSTEM UNDER TEST (SUT);

CONTROL SYSTEMS;

EID: 47549102015     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2008.03.007     Document Type: Article

References (52)

1. Albert, A. (2004, 17-19 February). Comparison of event-triggered and time-triggered concepts with regard to distributed control systems. In Proceedings of embedded world (pp. 235-252). Nurnberg, Germany.
2. Arlat J., Costas A., Crouzet Y., Laprie J.-C., and Powell D. Fault injection and dependability evaluation of fault-tolerant systems. IEEE Transactions on Computers 42 8 (1993) 913-923
3. Ayavoo D., Pont M.J., Short M., and Parker S. Two novel shared-clock scheduling algorithms for use with CAN-based distributed systems. Microprocessors and Microsystems 31 5 (2007) 326-334
4. Baraket Z., Fancher P.S., Peng H., Lee K., and Assaf C.A. Methodology for assessing adaptive cruise control behavior. IEEE Transactions on Intelligent Transportation Systems 4 3 (2003) 123-131
5. Bate, I. J. (1998). Scheduling and timing analysis for safety critical real-time systems. Ph.D. dissertation, Department of Computer Science, University of York, UK.
6. Bosch. (1991). CAN specification 2.0. Robert Bosch GmbH, Germany.
7. Broekmann B., and Notenboom E. Testing embedded software (2002), Addison-Wesley
8. Butler R.W., and Finelli G.B. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Transactions on Software Engineering 19 1 (1993) 3-12
9. Buttazo G. Hard real-time computing systems: Predictable scheduling algorithms and applications (1997), Kluwer Publishers, Norwell, MA
10. Claesson, V., Ekelin, C., & Suri, N. (2003). The event-triggered and time-triggered medium-access methods. In Proceedings of the IEEE international symposium on object-oriented real-time distributed computing.
11. Clarke, E., Kroening, D., & Lerda, F. (2004). A tool for checking ANSI C programs. In Tools and algorithms for the construction and analysis of systems (TACAS 2004) (pp. 168-176).
12. Cole Jr., J. S., & Jolly, A. C. (1996). Hardware-in-the-loop simulation at the US Army Missile Command. In Proceedings of the SPIE Vol. 2741: Technologies for synthetic environments: Hardware-in-the-loop testing (pp. 14-19).
13. Ellims, M. (2000, September). Hardware in the loop testing. In Proceedings of the IMECHE symposium IEE control 2000. Cambridge, UK.
14. Fang, J. (2006). The design of a pre-emptive scheduler for the C167 Microcontroller. Technical report ESL 06/01, University of Leicester.
15. Gomez M. Hardware-in-the-loop simulation. Embedded Systems Programming 14 13 (2001)
16. Hecht, M., & Hecht, H. (2000, March). Use of importance sampling and related techniques to measure very high reliability software. In Proceedings of the IEEE aerospace 2000 conference. Big Sky, MT.
17. Heidelberger P. Fast simulation of rare events in queuing and reliability models. ACM Transactions on Modelling and Computer Simulation 5 1 (1995) 43-85
18. Holzmann G.J. The power of ten: Rules for developing safety critical code. IEEE Computer 39 6 (2006) 93-95
19. Huang B., and Shah S.L. Performance assessment of control loops (1999), Springer, Berlin
20. Isermann R. Mechatronic systems-innovative products with embedded control. Control Engineering Practice 16 (2008) 14-29
21. Isermann R., Schwarz R., and Stoltz S. Fault-tolerant drive-by-wire systems. IEEE Control Systems Magazine 22 5 (2002) 64-81
22. ISO. Adaptive cruise control systems-performance requirements and test procedures (2003), International Standards Organization, Standard 15622, Geneva, Switzerland
23. Jelali M. An overview of control performance assessment technology and industrial applications. Control Engineering Practice 14 (2006) 441-466
24. Kopetz, H. (1991). Event-triggered versus time-triggered real-time systems. Lecture notes in computer science (Vol. 563, pp. 87-101). New York, Berlin: Springer.
25. Kopetz H. A comparison of CAN and TTP. Annual Reviews in Control 24 (2000) 177-188
26. Lean G., Heffernan D., and Dunne A. Digital networks in the automotive vehicle. IEE Computing and Control Engineering 10 6 (1999) 257-266
27. Levenson N.G. Safeware: System safety and computers (1995), Addison Wesley Publishing
28. Li Q., Whitely J.R., and Rhinehart R.R. A relative performance monitor for process controllers. International Journal of Adaptive Control and Signal Processing 17 (2003) 685-708
29. Lonn, H., & Axelsson, J. (1999, 9-11 June). A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications. In Proceedings of the 11th euromicro conference on real-time systems (pp. 142-149). York, UK.
30. Lutz R.R., and Mikulski I.C. Operational anomalies as a cause of safety-critical requirements evolution. Journal of Systems and Software 65 (2003) 155-161
31. MISRA. (1994, November). Development guidelines for vehicle-based software. Motor industry software reliability report.
32. MISRA. (2001). Report 2-integrity. Motor industry software reliability report. Released February 2001.
33. MISRA. (2004). Guidelines for the use of the C language in vehicle based software. Motor industry software reliability report. Released October 2004.
34. Phytec. (2003, April). phyCORE 167CS hardware manual, Phytec.
35. Pont M.J. Patterns for time triggered embedded systems (2001), Addison-Wesley
36. Pont, M. J., Norman, A. J., Mwelwa, C., & Edwards, T. (2003, June). Prototyping time-triggered embedded systems using PC hardware. In Proceedings of EuroPLoP 2003, Germany.
37. Qin S.J. Control performance monitoring-a review and assessment. Computers & Chemical Engineering 23 (1998) 173-186
38. SAE. (1993). Class C application requirement considerations. SAE recommended practice J2056/1, SAE.
39. Scheler, F., & Schröder-Preikschat, W. (2006, 27-29 March). Time-triggered vs. event-triggered: A matter of configuration? In MMB workshop proceedings GI/ITG workshop on non-functional properties of embedded systems. Nuremberg, Germany (pp. 107-112).
40. Short, M., & Pont, M. J. (2005, 13-16 September). Hardware in the loop simulation of embedded automotive control systems. In Proceedings of the 8th international IEEE conference on intelligent transportation systems (ITSC2005). Vienna, Austria.
41. Short M., and Pont M.J. Fault-tolerant, time-triggered communication using CAN. IEEE Transactions on Industrial Informatics 3 2 (2007) 131-142
42. Short, M., & Pont, M. J. (2008). Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation. Journal of Systems and Software, doi:10.1016/j.jss.2007.08.026. [in press].
43. Short M.J., Fang J., Pont M.J., and Rajabzadeh A. Assessing the impact of redundancy on the performance of a brake-by-wire system. SAE Transactions: Journal of Passenger Cars (Electronic and Electrical Systems) 115 7 (2007) 331-338
44. Short, M, Pont, M. J., & Fang, J. (2008, July). Exploring the influence of preemption on dependability in time-triggered embedded systems: A preliminary study. In Paper submitted to the 20th euromicro conference on real-time systems (ECRTS 2008). Prague, Czech Republic.
45. Short, M., Pont, M. J., & Huang, Q. (2004). Control technologies for automotive drive-by-wire applications. Technical report ESL 04/04. Embedded Systems Laboratory, University of Leicester.
46. Sosnowski J. Software-based self-testing of microprocessors. Journal of Systems Architecture 52 (2006) 257-271
47. Stanton N.A., Young M.S., and McCaulder B. Drive-by-wire: The case of driver workload and reclaiming control with adaptive cruise control. Safety Science 27 (1997) 149-159
48. Stoepler G., Menzel T., and Douglas S. Hardware-in-the-loop simulation of machine tools and manufacturing systems. IEE Computing and Control Engineering 16 (2005) 10-15
49. Storey N. Safety critical computer systems (1996), Addison-Wesley Publishing
50. Tang, D., Hecht, H., & Hecht, M. (1997, June). Software dependability assessment-myth and reality. Appears in issues in NASA program and project management no. 12. Washington, DC.
51. Wong, K., & Joyce, J. (1998). Refinement of safety-related hazards into verifiable code assertions. In Proceedings of SAFECOMP 1998 (pp. 345-358).
52. Xu J., and Parnas D.L. Fixed priority scheduling versus pre-run-time scheduling. Real-Time Systems 18 (2000) 7-23