Dependability Analysis and Enhancement of Real-Time Embedded Systems Dawid Trawczynski, MSc. Advisor: Janusz Sosnowski, Prof. Warsaw University of Technology Department of Electronics and Information Technology Computer Science Institute 22 December, 2009
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Dependability Analysis and Enhancement of Real-Time
Embedded Systems
Dawid Trawczynski, MSc.Advisor: Janusz Sosnowski, Prof.
Warsaw University of Technology
Department of Electronics and Information Technology
Computer Science Institute
22 December, 2009
Outline
• Thesis and objective• Dependability problems in embedded
systems• Faults – models, detection and correction• Research methods• Case study• Summary
Thesis
Integrated structural and functional modeling of an embedded, real-time embedded system enables more accurate dependability (in comparison to existing approaches) analysis and enhancement. The effectiveness of the latter process is influenced by many factors such as control algorithms, characteristics of the controlled object, and system environment.
Objective
• Definition and analysis of fault models important in real-time (RT) embedded systems
• Development of an integrated environment needed to study fault effects in embedded systems
• Analysis and development of methods that can improve system’s resistance to faults
Dependability Problems in Embedded Systems
• Fault set extension and development of fault handling mechanisms
• Integration of various modeling and fault simulation tools