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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Meyer, Jan (Autor:in) / Holtmann, Jörg (Autor:in) / Meyer, Matthias (Autor:in)


    Erscheinungsdatum :

    2011


    Format / Umfang :

    13 Seiten, 4 Bilder, 12 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Java in eingebetteten Systemen

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



    Von eingebetteten Systemen zu Cyber-Physical Systems

    Wedde, Horst F. / Lehnhoff, Sebastian / Rehtanz, Christian et al. | Tema Archiv | 2008


    CFK in automobilen Crashstrukturen: Anforderungen, Dimensionierung und Simulation

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


    Formalisierung abgeschlossen

    Hyundai,KR | Kraftfahrwesen | 1994