Paper Info
Title
Safe design of high-performance embedded systems in an MDE framework
Abstract
In this paper, we use the UML MARTE profile to model high-performance embedded systems (HPES) in the GASPARD2 framework. We address the design correctness issue on the UML model by using the formal validation tools associated with synchronous languages, i.e., the SIGALI model checker, etc. This modeling and validation approach benefits from the advantages of UML as a standard, and from the number of validation tools built around synchronous languages. In our context, model transformations act as a bridge between UML and the chosen validation technologies. They are implemented according to a model-driven engineering approach. The modeling and validation are illustrated using the multimedia functionality of a new-generation cellular phone.
Year
DOI
Venue
2008
10.1007/s11334-008-0059-y
ISSE
Keywords
Field
DocType
marte · high-performance embedded systems · gaspard2 · synchronous languages · formal validation · sigali · mode automata,embedded system,model driven engineering,context model
Model checking,Programming language,Unified Modeling Language,Computer science,Uml marte,Correctness,Formal validation,Phone,Applications of UML,Embedded system
Journal
Volume
Issue
ISSN
4
3
1614-5054
Citations 
PageRank 
References 
5
0.46
13
Authors
4
Name
Order
Citations
PageRank
HUAFENG YU1464.28
Abdoulaye Gamatié225130.18
Éric Rutten325530.50
Jean-luc Dekeyser443353.54