Skip to Main Content
This paper deals with the modeling and the validation of multiple networked embedded computer systems supporting in-vehicle applications. In this context, the authors developed a modular modeling and simulation technique. This approach allowed the development of reusable component models with clearly defined interfaces. The building of a whole application model is then obtained by the integration of these components, so that model construction and result analysis are made easy. In fact, thanks to the formal definition of components, interfaces, and composition rules, this step is automatically achieved. In the context of the CAROSSE project, we implemented this methodology in the Carosse-Perf tool. Herein, the authors detail the methodology together with its modeling principles and the resulting definition of basic components and interfaces. Finally, they apply it to a case study drawn from a PSA Peugeot-Citroen application.