Sciweavers

Share
ECMDAFA
2005
Springer

Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code

9 years 1 months ago
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software logic at a high level of abstraction and enables analysis like for example model checking of critical model properties. Ideally, starting with the platform independent model, the platform specific model serves only as an intermediate artifact which is derived automatically, and will finally result in a set of threads whose implementations guarantee the behavior, specified in the platform independent model. However, the current MDA approaches and tools for hard real-time software do not provide this ideal: While some of the MDA approaches could in principle support this vision, most approaches simply do not support an appropriate specification of time constraints in the platform independent model which have to be respected in the platform specific model or in the code. This is also true for UML models and ...
Sven Burmester, Holger Giese, Wilhelm Schäfer
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ECMDAFA
Authors Sven Burmester, Holger Giese, Wilhelm Schäfer
Comments (0)
books