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

Full description

Bibliographic Details

Published in:	Reliability engineering & system safety Vol. 120; no. Special Issue; pp. 127 - 138
Main Authors:	Kang, Eun-Young, Enoiu, Eduard Paul, Marinescu, Raluca, Seceleanu, Cristina, Schobbens, Pierre-Yves, Pettersson, Paul
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.12.2013
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!