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 correctness-by-construction for modeling high-integrity real-time embedded systems. We illustrate ho...
Saved in:
Published in | 2008 IEEE International Conference on Emerging Technologies and Factory Automation pp. 809 - 816 |
---|---|
Main Authors | , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.09.2008
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | 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 correctness-by-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. |
---|---|
ISBN: | 9781424415052 1424415055 |
ISSN: | 1946-0740 1946-0759 |
DOI: | 10.1109/ETFA.2008.4638491 |