Error computation for predictable real-time software synthesis

Authors:
Jeroen Voeten;Oana Florescu; Jinfeng Huang;Henk Corporaal
Affiliations:
Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands;Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands;Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands;Eindhoven University of Technology, Embedded SystemsInstitute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands
Venue:
Simulation
Year:
2011

Citing 14
Cited 1

Performance Analysis of Real-Time Embeded Software

Performance Analysis of Real-Time Embeded Software
Dynamical Properties of Timed Automata

Discrete Event Dynamic Systems
Performance evaluation with temporal rewards

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Real-time Property Preservation in Approximations of Timed Systems

MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
The formal semantics of SDL-2000: status and perspectives

Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Approximate Reasoning for Real-Time Probabilistic Processes

QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Elements of the Theory of Computation

ACM SIGACT News
Automatic scenario detection for improved WCET estimation

Proceedings of the 42nd annual Design Automation Conference
Strengthening Property Preservation in Concurrent Real-Time Systems

RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Predictable real-time software synthesis

Real-Time Systems
Quantifying similarities between timed systems

FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Implementation of timed automata: an issue of semantics or modeling?

FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Systematic implementation of real-time models

FM'05 Proceedings of the 2005 international conference on Formal Methods
Perturbed timed automata

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Principles of Discrete Event System Specification model verification

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.