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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kirsch, C.M., Lopes, L., Marques, E.R.B.: Semantics-preserving and incremental runtime patching of real-time programs. In: Proc. Workshop on Adaptive and Reconfigurable Embedded Systems, APRES (2008)
Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166–184. Springer, Heidelberg (2001)
Caspi, P., Scaife, N., Sofronis, C., Tripakis, S.: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. 7, 15:1-15:40 (2008), http://doi.acm.org/10.1145/1331331.1331339 , doi:10.1145/1331331.1331339
Object Management Group: Model driven architecture (2010)
Sangiovanni-Vincentelli, A.: Defining platform-based design. EEDesign of EETimes (2002), http://www.gigascale.org/pubs/141.html
Ghosal, A., Sangiovanni-Vincentelli, A., Kirsch, C.M., Henzinger, T.A., Iercan, D.: A hierarchical coordination language for interacting real-time tasks. In: EMSOFT 2006: Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, Seoul, Korea, pp. 132–141. ACM, New York (2006), doi:10.1145/1176887.1176907
Pree, W., Templ, J.: Modeling with the timing definition language (TDL). In: Broy, M., Krüger, I.H., Meisinger, M. (eds.) ASWSD 2006. LNCS, vol. 4922, pp. 133–144. Springer, Heidelberg (2008)
Lee, E.A.: Computing needs time. Commun. ACM 52(5), 70–79 (2009), doi:10.1145/1506409.1506426
Templ, J.: TDL - Timing Definition Language 1.5 Specification. Technical report, University of Salzburg (2008), http://www.chrona.com
Chrona: The TDL tool chain (2010), http://www.chrona.com/
OSEK: OSEK/VDX operating system specification (2010), http://www.osek-vdx.org/
AUTOSAR Consortium: Specification of multi-core OS architecture v1.0, AUTOSAR release 4.0 (2009)
Monot, A., Navet, N., Simonot, F., Bavoux, B.: Multicore scheduling in automotive ECUs. In: Embedded Real-Time Software and Systems (ERTS 2010), Toulouse, France (2010)
Farcas, C.: Towards Portable Real-Time Software Components. PhD thesis, University of Salzburg (2006)
Ghosal, A., Iercan, D., Kirsch, C., Henzinger, T., Sangiovanni-Vincentelli, A.: Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. In: Proceedings of the APGES Workshop, Salzburg, Austria (2007)
Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal 8, 284–292 (1993)
Joseph, M., Pandya, P.: Finding response times in a real-time system. The Computer Journal 29(5), 390–395 (1986), http://dx.doi.org/10.1093/comjnl/29.5.390
Absint: aiT worst-case execution time analyzers (2010), http://www.absint.com/ait/
Resmerita, S., Derler, P., Lee, E.A.: Modeling and simulation of legacy embedded systems. Technical Report UCB/EECS-2010-38, EECS Department, University of California, Berkeley (April 2010)
Derler, P.: Efficient Execution and Simulation of Time-Annotated Embedded Software. PhD thesis, University of Salzburg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Resmerita, S., Butts, K., Derler, P., Naderlinger, A., Pree, W. (2011). Migration of Legacy Software Towards Correct-by-Construction Timing Behavior. In: Calinescu, R., Jackson, E. (eds) Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Monterey Workshop 2010. Lecture Notes in Computer Science, vol 6662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21292-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-21292-5_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21291-8
Online ISBN: 978-3-642-21292-5
eBook Packages: Computer ScienceComputer Science (R0)