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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formalisierung von Anforderungen und Betriebssystemeigenschaften zur frühzeitigen Simulation von eingebetteten, automobilen Systemen


    Contributors:


    Publication date :

    2011


    Size :

    13 Seiten, 4 Bilder, 12 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Java in eingebetteten Systemen

    Schmitt, Stephen / Rosenstiel, Wolfgang | IuD Bahn | 2001



    CFK in automobilen Crashstrukturen: Anforderungen, Dimensionierung und Simulation

    Feindler, Nico / Döll, Jochen / Drechsler, Klaus | Tema Archive | 2011


    Perfektes Zusammenspiel - automatisierte Optimierung von eingebetteten Systemen

    Muenzenberger,R. / Houben,I. / Albers,K. et al. | Automotive engineering | 2016


    SEIS - Sicherheit in eingebetteten IP-basierten Systemen

    Glass, Michael / Herrscher, Daniel / Meier, Herbert et al. | Tema Archive | 2010