Migration of legacy software towards correct-by-construction timing behavior

Authors:
Stefan Resmerita;Kenneth Butts;Patricia Derler;Andreas Naderlinger;Wolfgang Pree
Affiliations:
C. Doppler Laboratory Embedded Software Systems, Univ. Salzburg, Salzburg, Austria;Toyota Technical Center, Ann Arbor, Michigan;C. Doppler Laboratory Embedded Software Systems, Univ. Salzburg, Salzburg, Austria;C. Doppler Laboratory Embedded Software Systems, Univ. Salzburg, Salzburg, Austria;C. Doppler Laboratory Embedded Software Systems, Univ. Salzburg, Salzburg, Austria
Venue:
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Year:
2010

Citing 5
Cited 2

Giotto: A Time-Triggered Language for Embedded Programming

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A hierarchical coordination language for interacting real-time tasks

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Semantics-preserving multitask implementation of synchronous programs

ACM Transactions on Embedded Computing Systems (TECS)
Modeling with the Timing Definition Language (TDL)

Model-Driven Development of Reliable Automotive Services
Computing needs time

Communications of the ACM - Security in the Browser

Cross-layer analysis, testing and verification of automotive control software

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
How to safely integrate multiple applications on embedded many-core systems by applying the "correctness by construction" principle

Advances in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach for incrementally adjusting the timing behavior of legacy real-time software according to explicit timing specifications expressed in the Timing Definition Language (TDL). The main goals of such a migration are ensuring predictability of the timing behavior, and enabling adaptivity of the system. The latter is particularly important for embedded control systems which adapt their computational load in accordance to parameters of the physical environment in which they operate. Our approach entails a minimal instrumentation of the original code combined with an automatically generated runtime system, which ensures that the executions of designated periodic computations in the legacy software satisfy the logical execution time specifications of the TDL model. The presented approach has been applied to a complex legacy controller system in the automotive domain.