Logo des Repositoriums
 
Konferenzbeitrag

Formale Semantik modularer Zeitverfeinerung in AUTOFOCUS

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2010

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Moderne automobile eingebettete Systeme bilden hochkomplexe verteilte Steuergerätenetzwerke. Modellbasierte Entwicklung ist ein verbreiteter Ansatz, um dieser Komplexität zu begegnen. AUTOFOCUS ist ein CASE-Werkzeugprototyp zur formal fundierten modellbasierten Entwicklung eingebetteter Systeme. Ein Modell wird hierarchisch aus Komponenten aufgebaut, die über getypte Kanäle kommunizieren. AUTOFOCUS verfügt über eine robuste und übersichtliche formale Semantik: die Kommunikation und Ausführung sind über einen globalen Takt für alle Komponenten synchronisiert. In diesem Artikel stellen wir eine Erweiterung der AUTOFOCUS- Semantik um eine Zeitverfeinerung von Komponenten vor. Diese ermöglicht eine einfachere Modularisierung von Systemen, eine bessere Strukturierung von Verhaltensspezifikationen und eine bessere Abbildung auf die Zielplattform realer eingebetteter Systeme. Gleichzeitig bleiben die Vorteile fest getakteter AUTOFOCUS-Semantik wie starke Kausalität und sichere Terminierung von Berechnungsschritten erhalten.

Beschreibung

Trachtenherz, David (2010): Formale Semantik modularer Zeitverfeinerung in AUTOFOCUS. Software Engineering 2010. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-253-6. pp. 141-152. Regular Research Papers. Paderbon. 22.-26. Februar 2010

Schlagwörter

Zitierform

DOI

Tags