Error computation for predictable real-time software synthesis

Synthesizing an implementation from a model in a predictable way is one of the major challenges in real-time system design. In our previous work we addressed this problem by generating in real-time an execution path through a model and by synchronizing the model time with the physical time. The exec...

Full description

Saved in:
Bibliographic Details
Published in:Simulation (San Diego, Calif.) Calif.), 2011-04, Vol.87 (4), p.334-350
Main Authors: Voeten, Jeroen, Florescu, Oana, Jinfeng Huang, Corporaal, Henk
Format: Article
Language:English
Subjects:
Applied sciences
Computer programs
Computer science
control theory
systems
Computer simulation
Exact sciences and technology
Mathematical analysis
Mathematical models
Printers
Real time
Software
Software engineering
Systems design
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Synthesizing an implementation from a model in a predictable way is one of the major challenges in real-time system design. In our previous work we addressed this problem by generating in real-time an execution path through a model and by synchronizing the model time with the physical time. The execution path as observed in model time has a time difference with the execution path as observed in physical time. This distance determines the extent to which real-time model properties are preserved in the implementation. The key contribution of this article is an analytical approach for calculating the distance between a model and a corresponding implementation. Based on this distance, the real-time properties of the implementation can be predicted from the model. A paper path of a printer is used as a case study to show the effectiveness of the technique.
ISSN:0037-5497
1741-3133
DOI:10.1177/0037549710364204