Sciweavers

Share
ETFA
2008
IEEE

Functional and structural properties in the Model-Driven Engineering approach

8 years 8 months ago
Functional and structural properties in the Model-Driven Engineering approach
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodological approach based on correctnessby-construction for modeling high-integrity real-time embedded systems. We illustrate how this separation is implemented by a prototype, recently realized by our research team. Software reuse is incremented by using the prototype. This has been confirmed by the evaluation of two teams from major European space industry. We conclude our work by discussing some open problems.
Daniela Cancila, Roberto Passerone
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ETFA
Authors Daniela Cancila, Roberto Passerone
Comments (0)
books