Microscopic modeling of support system for in-vehicle embedded systems

Contribution à un ouvrage.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