Durch die immer kürzer werdenden Entwicklungszyklen und den größer werdenden Druck bzgl. Time-to-Market für eingebettete Systeme im Automobilsektor steigt der Bedarf, die Systeme bereits zu frühen Entwicklungszeitpunkten gegenüber den Qualitätsanforderungen (z.B. Zeitanforderungen und Ressourcenauslastung) zu verifizieren. Es wird ein Ansatz vorgestellt, der auf eine durchgängige Weise eine Spezifikation und frühe Überprüfung von Zeitanforderungen und Wirkketten in eingebetteten Systemen mit Hilfe einer Simulation ermöglicht. Das dafür benötigte Simulationsmodell wird weitgehend automatisch aus mit Satzmustern formalisierten Zeitanforderungen und einem erweiterten Systemarchitekturmodell in SysML generiert. Auch wird die Auswertung von Simulationsergebnissen zur Erkennung verletzter Zeitanforderungen automatisiert. Aufgrund der frühzeitigen Simulation ist der Aufwand für die Behebung erkannter Fehler viel geringer im Vergleich zur Verwendung eines Prototyps in späteren Entwicklungsphasen. In zukünftigen Arbeiten sollen weitere Zeitanforderungen formalisiert und automatisiert an chronSIM sowie weitere Echtzeitanalysewerkzeugangebunden werden.. Dies beinhaltet auch eine Absicherung der Ergebnisse der vorgestellten frühzeitigen Systemarchitektursimulation durch Analysen auf der konkreten AUTOSAR-Softwarearchitektur.
Formalisierung von Anforderungen und Betriebssystemeigenschaften zur frühzeitigen Simulation von eingebetteten, automobilen Systemen
2011
13 Seiten, 4 Bilder, 12 Quellen
Conference paper
German
Java in eingebetteten Systemen
IuD Bahn | 2001
|CFK in automobilen Crashstrukturen: Anforderungen, Dimensionierung und Simulation
Tema Archive | 2011
|SEIS - Sicherheit in eingebetteten IP-basierten Systemen
Tema Archive | 2010
|Perfektes Zusammenspiel - automatisierte Optimierung von eingebetteten Systemen
Automotive engineering | 2016
|