Error computation for predictable real-time software synthesis
article
Synthesizing an implementation from a model in a predictable way is one of the major challenges in real-time systemdesign. In our previous work we addressed this problem by generating in real-time an execution path through a modeland by synchronizing the model time with the physical time. The execution path as observed in model time has a timedifference with the execution path as observed in physical time. This distance determines the extent to which real-timemodel properties are preserved in the implementation. The key contribution of this article is an analytical approach forcalculating the distance between a model and a corresponding implementation. Based on this distance, the real-timeproperties of the implementation can be predicted from the model. A paper path of a printer is used as a case study toshow the effectiveness of the technique.
TNO Identifier
954284
ISSN
00375497
Source
Simulation, 87(4), pp. 334-350.
Publisher
Sage
Pages
334-350
Files
To receive the publication files, please send an e-mail request to TNO Repository.