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

Full description

Saved in:
Bibliographic Details
Published in2008 IEEE International Conference on Emerging Technologies and Factory Automation pp. 809 - 816
Main Authors Cancila, D., Passerone, R.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2008
Subjects
Biological system modeling
Hardware
Prototypes
Quality of service
Real time systems
Software
Synchronization
Online AccessGet full text

Cover

More Information
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