Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
WESTFALISCHE COMPUTER SCIENCE 2
 

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

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences