Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen

{"ID":4011194,"post_title":"Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen","title":"Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen","post_content":"Durch den Einsatz intelligenter eingebetteter Echt-Zeit Systeme werden zunehmend sichere und effiziente Automobile entwickelt. Internationale Standards wie die ISO 26262 stellen hierbei neue Anforderungen an die Methoden zur Spezifikation, Verifikation und Validierung. In dieser Arbeit wird eine modellzentrierte Methode zur Spezifikation und zum systematischen Test von eingebetteten Systemen vorgestellt. Ein Hauptaugenmerk ist die Vertrauensbildung und Vertrauenserh\u00f6hung in die Qualit\u00e4t des in der Entwicklung befindlichen Systems durch Einsatz geeigneter Methoden in der Spezifikations-, der Design- und der Testphase. Eine integrale Eigenschaft ist die Ber\u00fccksichtigung von Echt-Zeit Anforderungen im gesamten Entwicklungsprozess. Hierf\u00fcr wird das beabsichtigte Sollverhalten des Systems fr\u00fchzeitig analysiert und in ein formales Modell \u00fcberf\u00fchrt. Das Zeit-Benutzungsmodell ist das durchg\u00e4ngige Artefakt zur Spezifikation und den Aktivit\u00e4ten der Qualit\u00e4tssicherung. Das Modell dient als Basis f\u00fcr die weiteren Schritte zur Auslegung und der Absicherung des Systems. Erste Designentscheidungen und Implementierungen k\u00f6nnen durch automatische und systematische Generierung von Testf\u00e4llen f\u00fcr die Model-in-the-Loop-Ausf\u00fchrung fr\u00fchzeitig in agilen Entwicklungsprozessen validiert werden. Auf Basis des Zeit-Benutzungsmodells werden Testmanagementindikatoren zur Absch\u00e4tzung des Testaufwands bestimmt. Die im Modell hinterlegte Zeitinformation wird explizit in den Berechnungen ber\u00fccksichtigt. Damit ist eine realistische Absch\u00e4tzung des Testaufwands zur Erreichung von Testzielen und Testendekriterien m\u00f6glich. Strategien zur Testfallgenerierung mit Zeit-Benutzungsmodellen erm\u00f6glichen die Ableitung von Testf\u00e4llen zur Absicherung von nicht funktionalen Anforderungen und Eigenschaften des Systems. Neu entwickelte Algorithmen verwenden die im Modell hinterlegte Zeitinformation, um Testf\u00e4lle zu generieren, die neben der Varianz in der Stimulation auch die Varianz in der Zeit in Testf\u00e4llen abbilden. Damit wird eine realistische Verifikation von funktionalen und nicht funktionalen Anforderungen erreicht. Durch den Einsatz von Referenzmodellen w\u00e4hrend der Testfallgenerierung k\u00f6nnen zus\u00e4tzliche Aspekte des Verhaltes des Systems verifiziert werden und die Aussagekraft der Testaktivit\u00e4ten maximiert werden. Ausserdem wird hiermit das Testmodell modularisiert und die \u00dcbersichtlichkeit erh\u00f6ht. Die Methode wird an dem automobilen Funktionsbeispiel ?Anschnallerinnerung? vorgestellt. Zwei in Zusammenarbeit mit der AUDI AG durchgef\u00fchrte Projekte - ?Energiemanagement im Hardware-in-the-Loop Test? und ?Testgetriebene Entwicklung von Funktionen der aktive Fahrzeugsicherheit im Modell-in-the-Loop Test? - stellen die erzielten Verbesserungen dar.","image":"https:\/\/images.thalia.media\/00\/-\/810ec26efaa04b5a9d1794cadced4fbd\/spezifikation-und-verifikation-von-eingebetteten-echtzeitsystemen-in-fahrzeugen-taschenbuch-sebastian-siegl.jpeg","url":"https:\/\/www.vergleiche.ch\/unterhaltung\/product\/spezifikation-und-verifikation-von-eingebetteten-echtzeitsystemen-in-fahrzeugen\/","min_price":41.89999999999999857891452847979962825775146484375,"low_price_merchant_id":70254503,"deeplink":"https:\/\/www.awin1.com\/pclick.php?p=40993204716&a=401125&m=13971&pref1=9783869559667","ean":9783869559667,"brand":"undefined"}