Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
复制标题
DOI：
10.1007/11581741_4
复制
发表时间：
2005-11
期刊：
影响因子：
--
通讯作者：
Sven Burmester;H. Giese;Wilhelm Schäfer
中科院分区：
文献类型：
--
作者：
Sven Burmester;H. Giese;Wilhelm Schäfer
硬实时系统的模型驱动软件开发促进了平台无关模型作为主要设计工件的使用。它用于在高抽象级别上开发软件逻辑，并支持分析，例如关键模型属性的模型检查。理想情况下，从平台无关模型开始，平台特定模型仅用作自动导出的中间工件，并最终导致一组线程，其实现保证平台无关模型中指定的行为。然而，目前的MDA方法和硬实时软件的工具不提供这种理想：虽然一些MDA方法可以在原则上支持这一愿景，大多数方法只是不支持一个适当的规范的时间约束，在平台无关的模型，必须尊重在平台特定的模型或代码。这对于UML模型和UML状态机也是如此。我们的方法克服了这些UML特定的限制，首先提出了一个语法扩展和语义定义的UML状态机，它提供了足够的细节来合成一个适当的平台特定的模型，可以映射到硬实时系统的代码自动。其次，提出了一种新的划分算法，该算法通过实时线程及其调度参数计算到平台特定模型的适当映射，这些参数可以直接转换为硬实时系统的代码。
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.