Microscopic Modeling of Support System for In-Vehicle Embedded Systems
Matthieu Courrier, Françoise Simonot‐Lion, Ye‐Qiong Song · 1999
This paper deals with the modeling of systems supporting in-vehicle embedded applications. The modeling principle is based on the development of reusable component models with clearly defined interfaces. The design of a whole application model is obtained by using these components and the resulting global model can be simulated for the verification of temporal properties and for the optimization of an implementation.