Bei der Entwicklung von automotive Anwendungen gewinnt die frühzeitige Spezifikation und Überprüfung von Performanz- und Echtzeitanforderungen an Bedeutung, da aufgrund der Komplexität der Systeme und des verteilten Entwicklungsprozesses frühzeitige Festlegungen zwischen OEM und Zulieferer notwendig sind. Die Autoren stellen existierende Modellierungs- und Analysetechniken für Zeitanforderungen vor und zeigen, wie diese Techniken in einen modellbasierten Entwicklungsprozess integriert werden können. Das Zeitanalyse-Modell wird als Zwischenschritt zwischen Entwurfsmodellen und verschiedenen Zeitanalysewerkzeugen eingesetzt, um das Echtzeitund Performanzverhalten verschiedener Architekurvarianten zu spezifizieren, zu analysieren und zu bewerten. Das Zeitanalyse-Modell basiert auf Elementen der UML und des SPT-Profiles. Entwurfsmodelle können - unabhängig auf welcher Modellierungsnotation sie basieren - halbautomatisch abstrahiert und dann manuell mit Zeitaspekten annotiert werden. Eine Zeitanalyse dieses Modells wird durch eine automatische Transformation zu Analysewerkzeugen ermöglicht. Das Zeitanalyse-Modell trennt einerseits klar zwischen den Belangen von Entwurf und werkzeuggestützter Validierung, andererseits wird ein Weg zur effizienten Anbindung der Validierung an den Entwurf aufgezeigt.
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Modelling and analysis of time requirements based on UML
Informatik trifft Logistik, INFORMATIK, Jahrestagung der Gesellschaft für Informatik e.V., 37 ; 531-535
2007
5 Seiten, 2 Bilder, 10 Quellen
Aufsatz (Konferenz)
Deutsch
Zeitauflösung , Zeitintervall , UML (Unified Modeling Language) , Echtzeitbetrieb , Echtzeitinformation , Echtzeitverarbeitung , formale Spezifikation , Fahrzeugbauteil , Automobilindustrie , Software-Entwicklung , Modellsimulation , Simulationsmodellbildung , Transformation (Mathematik) , Validierung
Modellierung und Analyse von Kraftfahrzeugschwingungen
Tema Archiv | 1988
|Modellierung und Analyse von Radaufhängungen
Springer Verlag | 2017
|Modellierung und Analyse natürlicher Bewegungsabläufe
IuD Bahn | 1995
|