HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Model Driven Architecture: Applying MDA to Enterprise Computing
Model Driven Architecture: Applying MDA to Enterprise Computing
Component-Based Real-Time Design: Mapping HRT-HOOD to UML
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
From Model-Driven Development to Model-Driven Engineering
ECRTS '07 Proceedings of the 19th Euromicro Conference on Real-Time Systems
Fitting Schedulability Analysis Theory into Model-Driven Engineering
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
HRT-UML: taking HRT-HOOD onto UML
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Hi-index | 0.00 |
This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integrity systems. Favourable experimental context was provided for by ASSERT, a 40-month project partly funded by the EC as part of the 6th Framework Program. The goodness of fit of the MDE paradigm for the industrial domain of interest was critically assessed on a small number of candidate solutions. One of the main axes of investigation concerned HRT-UML/RCM, an advanced method and integrated tool for the model-driven development of embedded real-time software systems. HRT-UML/RCM vastly leveraged on version 2 of the OMG UML standard and combined it with the development of a domain-specific metamodel in the quest to attain correctness-by-construction from the ground up. The prototype tool developed in the project supported: (1) the separation of functional (sequential) design from the specification of real-time and concurrency requirements and properties to be preserved at run time; and (2) the exploitation of a fully generative approach to the development, equipped with support for model-based feasibility analysis and round-trip engineering.