Observability Checking to Enhance Diagnosis of Real Time Electronic Systems

Khlif, Manel; Shawky, Mohamed

doi:10.1109/ds-rt.2008.18

Cited by 4 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, if the architecture becomes complicated, observability is represented as a degree or a Boolean as we cannot combine different observation schedules. This subject has been discussed in an earlier paper [14].…”

Section: A Observability Checkingmentioning

confidence: 91%

CO-SImulation Trace Analysis (COSITA) tool for vehicle electronic architecture diagnosability analysis

Khlif

Tahan

Shawky

2010

2010 IEEE Intelligent Vehicles Symposium

Self Cite

View full text Add to dashboard Cite

In this paper we present a CO-SImulation Trace Analysis (COSITA) tool in order to analyze functional/architectural properties, in the automotive field. These properties should enhance a specific design requirement that we call functional/architectural diagnosability. The validation process is applied on a real automotive experimental embedded platform called DIAFORE based on several Electronic Control Units. In the design phase of a System Development Life Cycle, we aim to analyze the functional/architectural diagnosability by analyzing its properties (observability, reachability, etc.), using a co-simulation-based approach. In this paper, our objective is to verify that the analysis made on the real platform is consistent with the theoretical analysis made on the co-simulation results. We believe that simulating a functional model is not sufficient to analyze system properties, because each hardware instantiation has its own properties constraints and limitations. Therefore, a hardware architecture characteristics modification may change the system requirements correctness. Hence, we co-simulate the Hardware (HW) and Software (SW) models, and then we analyze the interaction between them, by analyzing the co-simulation trace. For co-simulation, we use SystemC and Matlab/Simulink tool, with objectively selected simulation scenarios reflecting the system behavior.

show abstract

Section: A Observability Checkingmentioning

confidence: 91%

CO-SImulation Trace Analysis (COSITA) tool for vehicle electronic architecture diagnosability analysis

Khlif

Tahan

Shawky

2010

2010 IEEE Intelligent Vehicles Symposium

Self Cite

View full text Add to dashboard Cite

show abstract

“…This property is verified when the available time on the computing unit intended for the diagnosis function is sufficient for the execution of a diagnoser (or a secondary diagnoser in a decentralized structure). To verify this property, all the time slices not used by the nominal operation of the system are considered and their total length compared to the diagnoser needs [5].…”

Section: B Properties Defintionmentioning

confidence: 99%

Functional-architectural diagnosability analysis of embedded architecture

Khlif

Shawky

2011

2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC)

Self Cite

View full text Add to dashboard Cite

Diagnosability analysis of functions offers now a serious complement to knowledge-based methods of diagnosis, such as FMEA (Failure Mode and Effects Analysis) and fault tree analysis. State of the art of diagnosability analysis focus on what we call "functional diagnosability", where the hardware architecture of the system and its constraints are not directly considered. This paper contributes to the analysis of the functionsarchitecture interaction impact on the diagnosability of an embedded system, especially automotive systems. The approach we developed can be integrated into the design cycle. It has two important phases; first, the diagnosability analysis of discrete event systems, then the verification of a property set that we have defined and called the "diagnosability functional-architectural properties". Properties verification is done in two stages: check the description of the architecture, described in AADL, and check the functions-architecture interaction, modeled in SystemC-Simulink. The validation process is applied on a real automotive experimental embedded platform based on several Electronic Control Units. Finally, we have developed through this paper a novel methodology for the analysis of diagnosability that takes into account the constraints of the hardware architecture of the system.I.

show abstract