Loading [MathJax]/extensions/MathZoom.js
Enhancing the generation of correct-by-construction code from design models for complex embedded systems | IEEE Conference Publication | IEEE Xplore

Enhancing the generation of correct-by-construction code from design models for complex embedded systems


Abstract:

Modern embedded systems are becoming more and more complex thus demanding for new powerful development mechanisms. Model-driven engineering has been recognised as a promi...Show More

Abstract:

Modern embedded systems are becoming more and more complex thus demanding for new powerful development mechanisms. Model-driven engineering has been recognised as a promising paradigm for the development of complex systems especially for its capability of abstracting the problem through models and then manipulating them to automatically generate target code. In our previous works, we presented mechanisms for the generation of 100% of the target code from UML models to be run on singlecore platforms. In this work we provide possible solutions to enhance the generation process to entail a more complex set of platform configurations (i.e., multiprocess, multicore) as well as heterogeneous processing units (i.e., CPU, GPU).
Date of Conference: 17-21 September 2012
Date Added to IEEE Xplore: 28 March 2013
ISBN Information:

ISSN Information:

Conference Location: Krakow, Poland

Contact IEEE to Subscribe

References

References is not available for this document.