A methodology for formal analysis and verification of EAST-ADL models

The architectural design of embedded software has a direct impact on the final implementation, with respect to performance and other quality attributes. Therefore, guaranteeing that an architectural model meets the specified requirements is beneficial for detecting software flaws early in the develo...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Reliability engineering & system safety Jg. 120; H. Special Issue; S. 127 - 138
Hauptverfasser:	Kang, Eun-Young, Enoiu, Eduard Paul, Marinescu, Raluca, Seceleanu, Cristina, Schobbens, Pierre-Yves, Pettersson, Paul
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Ltd 01.12.2013
Schlagworte:	EAST-ADL Formal Analysis Model transformation Model-driven Development UPPAAL PORT Formal analysis Model transformation EAST-ADL UPPAAL PORT Model-driven development
ISSN:	0951-8320, 1879-0836, 1879-0836
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!