Referenced Items are not available for this document.
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.
Published in:
Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on
Date of Conference: 15-18 Sept. 2008
- Page(s):
- 809 - 816
- E-ISBN :
- 978-1-4244-1506-9
- Print ISBN:
- 978-1-4244-1505-2
- INSPEC Accession Number:
- 10281980
- Conference Location :
- Hamburg
- Digital Object Identifier :
- 10.1109/ETFA.2008.4638491
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
