Designing safety critical embedded systems with time-triggered architecture

• Autorzy: Czejdo B. D. , Zalewski J. , Trawczynki D. , Baszun M.
• Języki publikacji: EN

Abstrakty

EN

The paper presents results of the analysis of safety-critical embedded systems using a time triggered-architecture. First, a distributed safety-critical embedded system is defined in terms of its interfaces with the physical world, and possibilities of failures that can cause safety problems. Then, a model is built that allows mapping the safety functions to the time-triggered architecture. Finally, based on this model, a case study of an anti-lock braking system is developed and analyzed with respect failures that can lead to violations of system safety. The results show that time-triggered architecture can lead to meaningful results in the analysis of safety issues in distributed real-time embedded systems.

Słowa kluczowe

EN

embedded system; vehicle safety; time-triggered systems

PL

systemy wbudowane; bezpieczeństwo pojazdu; systemy pobudzane czasem

• Wydawca: Instytut Naukowo-Wydawniczy "TTS" Sp. z o.o
• Czasopismo: TTS Technika Transportu Szynowego
• Rocznik: 2013
• Tom: R. 20, nr 10
• Strony: 2265--2276, CD
• Opis fizyczny: Bibliogr. 15 poz., il. kolor., rys., wykr.

Twórcy

autor

Czejdo B. D.

• Fayetteville State University, Fayetteville, North Carolina, USA

autor

Zalewski J.

• Florida Gulf Coast University, Ft. Myers, Florida, USA

autor

Trawczynki D.

• Advanced Micro Devices, Orlando, Florida, USA

autor

Baszun M.

• Warsaw University of Technology, Warsaw, Poland

Bibliografia

• 1. Storey N. Safety-Critical Computer Systems. Prentice Hall, Englewood Cliffs, NJ, 1996.
• 2. Zalewski J. et al., Safety of Computer Control Systems: Challenges and Results in Software Development. Annual Reviews in Control, Vol. 27, No. 1, pp. 23-37, 2003.
• 3. Joint Software Systems Safety Engineering Handbook, Naval Ordnance Safety and Security Activity, Indian Head, MD, August 27, 2010.
• 4. Obermaisser R., Event-Triggered and Time-Triggered Control Paradigms, Springer-Verlag, New York, 2005.
• 5. Transportation Research Board, The Safety Promise and Challenge of Automotive Electronics. Special Report 308, National Research Council, Washington, DC, 2012.
• 6. Papadopoulos Y. et al., Model-based Semiautomatic Safety Analysis of Programmable Systems in Automotive Applications. Proc. ADAS2001, Intern. Conference on Advanced Driver Assistance Systems, Birmingham, UK, September 18-21, 2001, pp. 53-57.
• 7. Czerny B., D'Ambrosio J., Murray B., Sundaram P., Effective Application of Software Safety Techniques for Automotive Embedded Control Systems, SAE Technical Paper 2005-01-0785, 2005.
• 8. Leaphart E.G., et al., Survey of Software Failsafe Techniques for Safety Critical Automotive Applications. SAE Technical Paper 2005-01-0779, 2005.
• 9. Panaroni P. et al., Safety in Automotive Software: An Overview and Current Practices. Proc. COMPSAC 2008, 32nd Annual IEEE Intern. Computer Software and Applications Conference, Turku, Finland, July 28 - August 1, 2008, pp. 1053-1058.
• 10. Stringefellow M.V., Leveson N.G., Owens B.D., Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems, Proceedings of the IEEE, Vol. 98, No. 4, pp. 515-525, April 2010.
• 11. Heckemann K. et al., Safe Automotive Software, Proc. KES2011, 15th Intern. Conference on Knowledge-Based and Intelligent Information and Engineering Systems, Kaiserslautern, Germany, September 12-14, 2011, Part 4, pp. 167-176.
• 12. Anderson E., van Katwijk J., Zalewski J., New Method of Improving Software Safety in Mission-Critical Real-Time Systems, Proc. 17th International System Safety Conference, System Safety Society, Unionville, Virginia, 1999, pp. 597-596.
• 13. Burton D. et al, Effectiveness of ABS and Vehicle Stability Control Systems. Research Report 04/01, Royal Automobile Club of Victoria, Noble Park North, Victoria, Australia, April 2004.
• 14. TTTech Computertechnik AG, TTP-Powernode -Development Board. Product Description. URL: http://www.tttech.com/products/ttp-product-line/ttp-powernode/
• 15. MathWorks, Simulink. Product Description. http://www.mathworks.com/products/simulink/