Urbas, LeonLeuchter, SandroSchaft, TorstenHeinath, MarcusAlkassar, AmmarSiekmann, Jörg2019-04-032019-04-032008978-3-88579-222-2https://dl.gi.de/handle/20.500.12116/21487Interaktive Dienste für das sicherheitskritische System (SKS) Fahrer-Fahrzeug müssen nicht nur ihre Komfortaufgaben erfüllen, sie dürfen auch nicht den Fahrer bei der Wahrnehmung seiner sicherheitskritischen Aufgabe Fahrzeugführung ablenken und somit im Gesamtsystem Fahrer-Fahrzeug Ursache für Auslassungsfehler oder zeitliche Fehler sein. Das aktuelle Methodenarsenal zur Zusicherung dieser Eigenschaft setzt auf die empirische Erhebung der Ablenkungswirkung. Zur Unterstützung der Softwareentwicklung für SKS ist dies zu spät, da die Voraussetzung für die Anwendung eine zumindest prototypische Implementierung des Systems ist. Die Autoren haben daher eine modellgestützte analytische Methode entwickelt, die aus der Softwarespezifikation ableitbare Bedienmodelle nutzt, um die Interferenz mit idealisierten Fahraufgaben zu berechnen. Die Kernelemente der Methode werden anhand eines Beispiels illustriert, sowie erste Ergebnisse zur Anwendung und empirischen Fundierung der Methode berichtet.deText/Conference Paper1617-5468