Bis zu 50 % günstiger als neu 3 Jahre rebuy Garantie Professionelles Refurbishment

Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen

-13 %*

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen

Sebastian Siegl (Taschenbuch, Deutsch)

Keine Bewertungen vorhanden

Optischer Zustand

Sehr guter Zustand: leichte Gebrauchsspuren vorhanden
z.B. mit vereinzelten Knicken, Markierungen oder mit Gebrauchsspuren am Cover
Gut als Geschenk geeignet

Beschreibung

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öhung in die Qualität des in der Entwicklung befindlichen Systems durch Einsatz geeigneter Methoden in der Spezifikations-, der Design- und der Testphase. Eine integrale Eigenschaft ist die Berücksichtigung von Echt-Zeit Anforderungen im gesamten Entwicklungsprozess. Hierfür wird das beabsichtigte Sollverhalten des Systems frühzeitig analysiert und in ein formales Modell überführt. Das Zeit-Benutzungsmodell ist das durchgängige Artefakt zur Spezifikation und den Aktivitäten der Qualitätssicherung. Das Modell dient als Basis für die weiteren Schritte zur Auslegung und der Absicherung des Systems. Erste Designentscheidungen und Implementierungen können durch automatische und systematische Generierung von Testfällen für die Model-in-the-Loop-Ausführung frühzeitig in agilen Entwicklungsprozessen validiert werden. Auf Basis des Zeit-Benutzungsmodells werden Testmanagementindikatoren zur Abschätzung des Testaufwands bestimmt. Die im Modell hinterlegte Zeitinformation wird explizit in den Berechnungen berücksichtigt. Damit ist eine realistische Abschätzung des Testaufwands zur Erreichung von Testzielen und Testendekriterien möglich. Strategien zur Testfallgenerierung mit Zeit-Benutzungsmodellen ermöglichen die Ableitung von Testfällen zur Absicherung von nicht funktionalen Anforderungen und Eigenschaften des Systems. Neu entwickelte Algorithmen verwenden die im Modell hinterlegte Zeitinformation, um Testfälle zu generieren, die neben der Varianz in der Stimulation auch die Varianz in der Zeit in Testfällen abbilden. Damit wird eine realistische Verifikation von funktionalen und nicht funktionalen Anforderungen erreicht. Durch den Einsatz von Referenzmodellen während der Testfallgenerierung können zusätzliche Aspekte des Verhaltes des Systems verifiziert werden und die Aussagekraft der Testaktivitäten maximiert werden. Außerdem wird hiermit das Testmodell modularisiert und die Übersichtlichkeit erhöht. Die Methode wird an dem automobilen Funktionsbeispiel „Anschnallerinnerung“ vorgestellt. Zwei in Zusammenarbeit mit der AUDI AG durchgeführte 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. Weniger zeigen

neu 27,85 € -13 %*

23,99 €

Taschenbuch | Sehr gut

Nur noch 1 verfügbar!

Versandbereit in 2-3 Werktagen

zzgl.

Nur noch 1 verfügbar!

Versandbereit in 2-3 Werktagen

zzgl.

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

* Spare 13 % gegenüber Neuware

Mehr Info

Produktinformationen

Technische Daten

Erscheinungsdatum

15.12.2011

Sprache

Deutsch

EAN

9783869559667

Herausgeber

Cuvillier Verlag

Serien- oder Bandtitel

Audi Dissertationsreihe

Sonderedition

Nein

Autor

Sebastian Siegl

Seitenanzahl

179

Auflage

Einbandart

Taschenbuch

Bandzählung

Warnhinweise und Sicherheitsinformationen

Informationen nach EU Data Act

Bewertungen

-.-

Leider noch keine Bewertungen

Sicher bei rebuy kaufen

Sehr Gut, 4.52/5.00

Aus 200.000+ Bewertungen

Schreib die erste Bewertung für dieses Produkt!

Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!