The development of distributed applications in the automotive domain based on networks of electronic control units is getting increasingly complex and error-prone. In current practice, system-level views of the network are merely used to characterise broad technical constraints such as performance requirements, and to chose the hard- and software components accordingly. In contrast, the semantic integration of the distributed functions is typically deferred to later points in the development process, yielding an outstanding effort for integrating and validating such distributed functions. To address in particular this issue, our paper advocates a more stringent use of high-level models based on distinct abstractions and a well-defined behavioural semantics. Corresponding notations, tools, and overall methodology envisioned to support a stepwise development of distributed automotive applications are being introduced. Most importantly, the paper details on the issues of using such high-level models to facilitate deployment and to obtain low-level implementations of integrated system models.     «

The development of distributed applications in the automotive domain based on networks of electronic control units is getting increasingly complex and error-prone. In current practice, system-level views of the network are merely used to characterise broad technical constraints such as performance requirements, and to chose the hard- and software components accordingly. In contrast, the semantic integration of the distributed functions is typically deferred to later points in the development pro...     »