Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code (bibtex)
Reference:
Sven Burmester, Holger Giese and Wilhelm Schäfer, "Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code", in Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2005), Nürnberg, Germany, vol. 3748 of Lecture Notes in Computer Science (LNCS), pp. 25-40, Springer Verlag, November 2005.
Abstract:
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 UML State Machines in particular. Our approach overcomes those UML specific limitations by firstly proposing a syntactic extension and semantic definition of UML State Machines which provides enough details to synthesize an appropriate platform specific model that can be mapped to code for hard real-time systems automatically. Secondly, a new partitioning algorithm is outlined, which calculates an appropriate mapping onto a platform specific model by means of real-time threads with their scheduling parameters which can be straight forward transformed to code for the hard real-time system.
Links:
@InProceedings{Burmester+2005b,
AUTHOR = {Burmester, Sven and Giese, Holger and Sch\"{a}fer, Wilhelm},
TITLE = {{Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code}},
YEAR = {2005},
MONTH = {November},
BOOKTITLE = {Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2005), N\"{u}rnberg, Germany},
VOLUME = {3748},
PAGES = {25-40},
SERIES = {Lecture Notes in Computer Science (LNCS)},
PUBLISHER = {Springer Verlag},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2005/ECMDA.pdf},
PDF = {uploads/pdf/ecmda.pdf},
ABSTRACT = {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 UML State Machines in particular. Our approach overcomes those UML specific limitations by firstly proposing a syntactic extension and semantic definition of UML State Machines which provides enough details to synthesize an appropriate platform specific model that can be mapped to code for hard real-time systems automatically. Secondly, a new partitioning algorithm is outlined, which calculates an appropriate mapping onto a platform specific model by means of real-time threads with their scheduling parameters which can be straight forward transformed to code for the hard real-time system.}
}
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser