Conférence : Communications avec actes dans un congrès international

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.