| | |
Summary: RHEINISCH-
WESTF¨ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN 2
CHAIR OF
COMPUTER SCIENCE 2
SOFTWARE MODELING
AND VERIFICATION
(MOVES)
- Diploma/Master/Bachelor Thesis -
Synthesis of Observability Requirements
How to ensure the diagnosability of embedded systems?
What is it all about?
One of the most important analyses for embedded systems is assessing the effectiveness of FDIR (Fault Detection,
Isolation, and Recovery). This means that the system provides enough functionality to detect that something has
gone wrong (like a missing answer from a process), what the actual reason is (a software failure or a crash of the
underlying processor?), and to recover from the fault (by restarting the process or switching to a backup processor,
respectively). One of the key issues is to determine whether the system provides enough sensor information to
support the observation of all possible faulty behaviors, and to find a cost-optimized sensor configuration that allows
|
