http://dl.gi.de/handle/20.500.12116/19874 Tue, 21 Jul 2026 13:29:44 GMT 2026-07-21T13:29:44Z http://dl.gi.de:80/bitstream/id/2d8c33b9-2356-44ce-84d8-16065c2dff0b/ http://dl.gi.de/handle/20.500.12116/19874 http://dl.gi.de/handle/20.500.12116/19909 A seamless model-based development process for automotive systems Holtmann, Jörg; Meyer, Jan; Meyer, Matthias Reussner, Ralf; Pretschner, Alexander; Jähnichen, Stefan Safety critical functions for embedded systems are increasingly realized with software. Current and future standards and maturity models impose high accuracy and quality for the development process of such software-intensive, embedded systems. But nowadays, there are process and tooling gaps between different modeling aspects for the system under development (SUD). Furthermore, the SUD is usually verified and validated not until it is completely implemented, which leads to expensive corrections. In this paper we present a seamless, model-based development process, which is intended for the automotive supplier domain and conforms to the process reference model of Automotive SPICE®1. The development process addresses the issues mentioned above by using systematic transitions between different modeling aspects and simulations in early development stages. Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/19909 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/19908 ENVISION 2020: Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme Lauenroth, Kim; Rzepka, Mark Reussner, Ralf; Pretschner, Alexander; Jähnichen, Stefan Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/19908 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/19906 Towards software sustainability guidelines for long-living industrial systems Koziolek, Heiko; Weiss, Roland; Durdik, Zoya; Stammel, Johannes; Krogmann, Klaus Reussner, Ralf; Pretschner, Alexander; Jähnichen, Stefan Long-living software systems are sustainable if they can be cost-effectively maintained and evolved over their complete life-cycle. Software-intensive systems in the industrial automation domain are typically long-living and cause high evolution costs, because of new customer requirements, technology changes, and failure reports. Many methods for sustainable software development have been proposed in the scientific literature, but most of them are not applied in industrial practice. We identified typical evolution scenarios in the industrial automation domain and conducted an extensive literature search to extract a number of guidelines for sustainable software development based on the methods found in literature. For validation purposes, we map one evolution scenario to these guidelines in this paper. Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/19906 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/19905 Enriching OSGI service interfaces with formal sequential contracts Müller, Marco; Balz, Moritz; Goedicke, Michael Reussner, Ralf; Pretschner, Alexander; Jähnichen, Stefan Architecture description languages define component interfaces with sequential contracts, which allow for static analysis of method call sequences in component or service interactions. However, component and service platforms like OSGi for Java do not provide mechanisms for the specification or enforcement of such sequential contracts. Thus the contracts are only defined in the documentation which might be outdated when long-living systems evolve at the implementation level. This vision paper proposes to attach formal sequential models, in our case interface automata, to the interface definition of OSGi services, so that the modeling information is permanently and tightly coupled to the implementation. This enables consistent documentation, static analysis of component interactions at design time, and real-time enforcement of behavioural contracts at run time. By this means, component interactions can be seamlessly verified in long-living systems when components and their connections are added or changed over time. Sat, 01 Jan 2011 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/19905 2011-01-01T00:00:00Z