Error Estimation in Model-Driven Development for Real-Time Software.

Abstract

Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-functional (timing) characteristics of a system, they still lack an appropriate mechanism of generating an implementation from a model while preserving the properties verified. In previous work we have proven that, if the implementation trace is very close ( -close) to a model trace, the properties verified in the model are preserved upto in the system realization. This deviation is due to the model assumption of zero-time for computational actions that, in reality, no target platform can ensure. This paper proposes an approach for estimating the time-deviation between model and implementation, by modeling the realization of the system when software components would run on the target platform. The approach is based on Software/Hardware Engineering method for complex real-time systems design and the Y-chart scheme concepts.