Bartelt Institute for Software and Systems Engineering Kontakt E-Mail: christian.bartelt @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude

Bartelt Institute for Software and Systems Engineering Kontakt Telefon: +49 5323 72-8224 E-Mail: christian.bartelt @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems […] Systems Engineering Gebäude E4 Wallstraße 6 38640 Goslar Germany

David Szilagyi, B.Sc. Institut für Software and Systems Engineering

Zhang, B.Sc. Institut für Software and Systems Engineering Kontakt E-Mail: yu.zhang.1 @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude C10

Wu, B.Eng. Institut für Software and Systems Engineering Kontakt E-Mail: yiwei.wu @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude C10

Dinesh Shah, B.Sc. Institut für Software and Systems Engineering Kontakt E-Mail: dar.shah @ ostfalia . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude C10 A

Greulich, B.Sc. Institut für Software and Systems Engineering Kontakt E-Mail: oliver.greulich @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude

Khalimov Institut für Software and Systems Engineering Kontakt E-Mail: ayrat.khalimov @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude C10

paper is authored by Rüdiger Ehlers, who heads the ACPS research group of the Institute of Software and Systems Engineering of TU Clausthal. It deals with the problem of fostering the understandability […] synthesized systems that conform to a given specification must fulfill. These invariants then document how a system needs to behave in order to be correct. Such documentation is then useful for the integration […] integration of the synthesized controller into a bigger system and for later maintenance of the integrated system. The paper is open access and can be read at https://doi.org/10.1007/978-3-031-71162-6_9 . An

Projektpartner: TU Clausthal Institute for Software and Systems Engineering Ostfalia Institut für Mechatronik TU Braunschweig Institut für Konstruktionstechnik Institut für Fahrzeugtechnik […] der Wertschöpfungsprozesse vom klassischen Fahrzeugbau hin zu modernen Zusatztechnologien und softwarebasierten Funktionen. Die Entwicklung autonomer Fahrzeuge ist für die Automobilindustrie technologische […] den Bereichen Fahrzeuggestaltung, Fahrzeugfunktionen, Energiemanagement und Regelung sowie Softwarearchitekturen. Zur Unterstützung der virtuellen Entwicklungsarbeit wird eine Entwicklungs- und Simulati