An MDE methodology for the development of high-integrity real-time systems
Proceedings of the Conference on Design, Automation and Test in Europe
A UML2 profile for reusable and verifiable software components for real-time applications
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Hi-index | 0.00 |
This paper reports from a project that transposed the HRT-HOOD design method and development process onto a tailored profile of the UML meta-model. HRT-HOOD has methodological strengths which make it apt for component-based design of hard real-time systems. The UML meta-model is so flexible and comprehensive that it can express and support specific design methods and processes, without leaning towards any in particular. This paper discusses technical and methodological choices made in the mapping and reviews them in the light of a pair of case studies.