Sciweavers

Share
DSRT
2008
IEEE

Observability Checking to Enhance Diagnosis of Real Time Electronic Systems

9 years 5 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We consider functional diagnosis that is not necessarily oriented towards electronic components, and may result from flaws in the design process. The idea is, at the highest levels of the design procedure, to be able to assess the observability degree of the aimed system. Our approach is based on the analysis of the system simulation results. It allows checking the observability property in a real time electronic system in order to improve its diagnosis capacity. To reach this objective, we have set up an iterative modeling process. The model of the real time electronic system represents the input for the simulation step, which precedes the property checking. It is possible to model the system in two different ways: either with a combined architectural and functional modeling using SystemC, or solely functional modelin...
Manel Khlif, Mohamed Shawky
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where DSRT
Authors Manel Khlif, Mohamed Shawky
Comments (0)
books