Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite

Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process addresses the existing scalability problems by a proper decomposition and allows the user to define particular restrictions o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Henkler, Stefan, Greenyer, Joel, Hirsch, Martin, Schäfer, Wilhelm, Alhawash, Kahtan, Eckardt, Tobias, Heinzemann, Christian, Loffler, Renate, Seibel, Andreas, Giese, Holger
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process addresses the existing scalability problems by a proper decomposition and allows the user to define particular restrictions on the resulting statecharts.
ISSN:0270-5257
1558-1225
DOI:10.1109/ICSE.2009.5070569