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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Reliability engineering & system safety Ročník 120; číslo Special Issue; s. 127 - 138
Hlavní autori:	Kang, Eun-Young, Enoiu, Eduard Paul, Marinescu, Raluca, Seceleanu, Cristina, Schobbens, Pierre-Yves, Pettersson, Paul
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 01.12.2013
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!