Sciweavers

Share
FDL
2004
IEEE

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

8 years 11 months ago
Error Estimation in Model-Driven Development for Real-Time Software
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 sch...
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FDL
Authors Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal
Comments (0)
books