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

Podrobná bibliografie

Vydáno v:	Reliability engineering & system safety Ročník 120; číslo Special Issue; s. 127 - 138
Hlavní autoři:	Kang, Eun-Young, Enoiu, Eduard Paul, Marinescu, Raluca, Seceleanu, Cristina, Schobbens, Pierre-Yves, Pettersson, Paul
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.12.2013
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!