Berger, ChristianTichy, MatthiasGoltz, UrsulaMagnor, MarcusAppelrath, Hans-JürgenMatthies, Herbert K.Balke, Wolf-TiloWolf, Lars2018-11-062018-11-062012978-3-88579-602-2https://dl.gi.de/handle/20.500.12116/17885Within the last decade important automotive OEMs have created and released the system architecture standard AUTOSAR, and tools to support the development process are widely available. However, the resulting system architecture, which is logically modeled in the Virtual Functional Bus (VFB) and realized by generating a Runtime Environment (RTE), which corresponds to the concrete network of ECUs, is static in terms of runtime adaptability. As long as vehicle functions dominate which are executed exclusively on separated ECUs, there is only a limited demand for runtime adaptation. However, as soon as several vehicle functions are grouped to run on one ECU, which is enabled by AUTOSAR, or one vehicle function is composed of several independent software components, runtime adaptation is getting increasingly interesting. Potential use cases are for example energy-level based function adaptation or vehicle-to-X communication related function adaptation. In this paper, a concept of self-adaptation for AUTOSAR is outlined on the example of a collision detection and warning system, for which the timing correctness during the self-adaptation process is verified with timed automata and the model checking tool UPPAAL.enTowards transactional self-adaptation for AUTOSAR on the example of a collision detection systemText/Conference Paper1617-5468