Exploring the impact of task preemption on dependability in time-triggered embedded systems: A pilot study

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2008, Pages 83-91

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

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL; EMBEDDED SYSTEMS; INTEGRATED CIRCUITS;

CRUISE CONTROL; EMBEDDED CONTROLS; EXPLORATORY STUDIES; FAULT-INJECTION; HARDWARE-IN-THE-LOOP; NEGATIVE INFLUENCE; PILOT STUDIES; TEST BEDS;

REAL TIME SYSTEMS;

EID: 52049090991     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2008.14     Document Type: Conference Paper

References (41)

1. Kilian, C.T. Modern control technology: components and systems. Delmar Thomson Learning, 2000. ISBN: 076682358X.
2. Virk, G.S. Digital computer control systems. McGraw-Hill, 1991. ISBN: 0070675120.
3. Astrom, K. and Wittenmark, B. Computer Controlled Systems: Theory And Design. Prentice Hall, 1997. ISBN: 0133148998.
4. Storey, N. Safety Critical Computer Systems. Addison Wesley Publishing, 1996.
5. Bate, I.J. Scheduling and Timing Analysis for Safety Critical Real-Time Systems. PhD Dissertation, University of York, U.K., November 1998.
6. Liu and, C. L. and Layland, J. W. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM 20(1), 1973.
7. Burns, A. and Lin, T.M. An engineering process for the verification of real-time systems. Formal Aspects of Computing, Vol. 19, pp. 111-136, 2007.
8. Xu, J. On Inspection and Verification of Software with Timing Requirements. IEEE Transactions on Software Engineering, Vol. 29, No. 8, pp. 705-720, 2003.
9. Baker, T. P. and Shaw, A. The cyclic executive model and Ada. Real-Time Systems, Vol. 1, No. 1, pp. 7-25, 1989.
10. Locke, C. D. Software architecture for hard real-time applications: Cyclic executives vs. fixed priority executives. Real-Time Systems, 4(1): 37-52, 1992.
11. Phatrapornnant, T. and Pont, M. J. Reducing jitter in embedded systems employing a time-triggered software architecture and dynamic voltage scaling. IEEE Transactions on Computers, 55 (2): 113-124, 2006.
12. Allworth, S. Introduction to real-time software design. Springer-Verlag, 1981.
13. Audsley, N., Burns, A., Richardson, M., Tindell, K., and Wellings, A. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal 8(5), pp. 284-292 September 1993.
14. Buttazzo, G., Marinoni, M., and Guidi, G. Energy-aware strategies in real-time systems for autonomous robots. In: Proc. of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004), Turkey, 2004.
15. Katcher, D. I., Arakawa, H., and Strosnider, J. K. Engineering and analysis of fixed-priority schedulers. IEEE Trans. on Software Engineering, Vol. 19, No. 9, pp. 920-934, 1993.
16. Pont, M. J. Patterns for time-triggered embedded systems: Building reliable applications with the 8051 family of microcontrollers. ACM Press / Addison-Wesley, 2001. ISBN: 0-201-331381.
17. Xu, J. and Parnas, D.L. Fixed Priority Scheduling versus Pre-Run-Time Scheduling. Real-Time Systems, Vol. 18, pp. 7-23, 2000.
18. Palopoli, L., Pinello, C., Bicchi, A. and Sangiovanni-Vincentelli, A. Maximizing the Stability Radius of a Set of Systems Under Real-Time Scheduling Constraints. IEEE Transactions on Automatic Control, Vol. 50, No. 11, pp. 1790-1795, 2005.
19. Bate, I., McDermid, M. and Nightingale, P. Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems, Vol. 27, pp. 159-169, 2003.
20. Fang, J. and Pont, M.J. Exploring the links between software architecture and PID parameters in embedded control systems. In: Proceedings of the 6th UKACC Control Conference, Glasgow, Scotland, 30 August to 1 September, 2006.
21. Fuchs, E. An Evaluation of the Error Detection Mechanisms in MARS Using Software-Implemented Fault Injection. In: Proc. of the European Dependable Computing Conference, Springer-Verlag, Lecture Notes in Computer Science, Volume 1150, pp. 73-90, 1996.
22. Aidemark, J., Folkesson, P. and Karlsson, J. Experimental Dependability Evaluation of the Artk68-FT Real-time Kernel. In: Proc. of the International Conference on Real-Time and Embedded Computer Systems and Applications, Göteborg, Sweden, August 2004.
23. Rajabzadeh, A. and Miremadi, S.G. Transient detection in COTS processors using software approach. Microelectronics Reliability, Vol. 46, pp. 124-133, 2006.
24. Benso, A., di Carlo, S., di Natale, G., Prinetto, P. and Tagliaferri, L. Control-Flow Checking Via Regular Expressions. In: Proc. IEEE Asian Test Symposium, pp. 299-303, 2001.
25. Elder J.H. A Method for Characterising a Microprocessor's Vulnerability to SEU. IEEE Trans. on Nuclear Science, Vol. 35, No. 6, December 1988.
26. Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J.-C., Laprie, J.-C., Martins, E. and Powell, D. Fault Injection for Dependability Validation - A Methodology and Some Applications. IEEE Trans. Software Eng., vol. 16, no. 2, pp. 166-182, Feb. 1990.
27. Ting, Y., Shan, F.M., Lu, W.B. and Chen, C.H. Implementation and evaluation of failsafe computer-controlled systems. Computers & Industrial Engineering, Vol. 42, pp. 401-415, 2002.
28. Kapur, K.C. and Lamberson, L.R. Reliability in engineering design. New York: Wiley & Sons, 1977.
29. Krishnan, R.V. The Impact of Workload On The Dependability Of Microprocessors Used In Control Applications. MSC Thesis, University of Illinois at Urbana-Champaign, USA, 1996.
30. Ayavoo, D., Pont, M. J., Fang, J., Short, M., and Parker, S. A 'Hardware-in-the Loop' testbed representing the operation of a cruise-control system in a passenger car. In: Proceedings of the Second UK Embedded Forum (Birmingham, UK, October 2005), pp. 60-90, 2005. Published by University of Newcastle upon Tyne [ISBN: 0-7017-0191-9].
31. Short, M. J. and Pont, M. J. Hardware in the loop simulation of embedded automotive control systems. In: Proceedings of the 8th IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2005) held in Vienna, Austria, pp. 226-231, 2005.
32. Castelli, J., Nash, C., Ditlow, C. and Pecht, M. Sudden acceleration - the myth of driver error. University of Maryland, CALCE EPSC Press, ISBN 0-9707174-5-8.
33. Mauser, H. and Thurner, E. Electronic Throttle Control - A Dependability Case Study. Journal of Universal Computer Science, Vol. 5, No. 10, pp. 730 - 741, 1999.
34. Infineon Technology AG. C167CS Derivatives: 16-bit single-chip microcontroller. User's Manual, V2.0, 2000.
35. Li, Q., Whiteley, J.R., and Rhinehart, R.R. A relative performance monitor for process controllers. Int. Journal of Adaptive Control and Signal Processing, Vol. 17, pp. 685-708, 2003.
36. Fang, J. The design of a pre-emptive scheduler for the C167 Microcontroller. Technical Report ESL 06/01, University of Leicester, 2006.
37. Sha, L., Rajkumar, R., and Lehoczky, J. P. Priority Inheritance Protocol: An approach to real-time synchronization. IEEE Trans. On Computers 39: 1175-1185, 1990.
38. Simon, D.E. An embedded software primer. Addison-Wesley, 1999. ISBN: 0-201-61569X.
39. Sosnowski, J. Software-based self-testing of microprocessors. Journal of Systems Architecture, Vol. 52, pp. 257-271, 2006.
40. Normand, E. Single Event Effects in Avionics. IEEE Trans. on Nuclear Science, Vol. 43, No. 2, 1996.
41. MIL-HDBK-217F. Military Handbook - Reliability Prediction of Electronic Equipment. Department of Defence, Washington DC, 1990.