Predicting Implementation Accuracy for Real-Time Control Systems
Oana Florescu, Jpm Jeroen Voeten, Henk Corporaal · TU/e Research Portal · 2005
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 up to ǫ in the system realisation.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 modelling the realisation 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.