Introduction
We propose a methodology for flexible software design, runtime programming, by means of incremental software modifications at runtime. Runtime programming acknowledges that software designs are often incomplete, and require the flexibility of change, e.g., fixing bugs or introducing new features, without disruption of their service. This flexibility is much needed for critical software that generally needs to handle uncertainty, e.g. cloud computing or cyber-physical systems, due to dynamic requirements of composition, service, or performance. Runtime modifications should be allowed recurrently, and, thus, be handled as a common case of system functionality in predictable and efficient manner, with proper understanding of inherent functional and non-functional aspects. The work in many diverse research communities with related concerns typically tends to take a partial and domain-specific view of the problem, hence comprehensive and general methodologies are in order.
In this extended abstract, we make a summary of the runtime programming proposal of [4]. The work follows up on a preliminary formulation of runtime programming [3], and work on modular compilation of real-time programs [2].
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
Ghosal, A., Henzinger, T., Iercan, D., Kirsch, C., Sangiovanni-Vincentelli, A.: A hierarchical coordination language for interacting real-time tasks. In: Proc. International Conference on Embedded Software (EMSOFT), pp. 132–141. ACM, New York (2006)
Henzinger, T., Kirsch, C., Marques, E., Sokolova, A.: Distributed, modular HTL. In: Proc. Real-Time Systems Symposium (RTSS), pp. 171–180. IEEE, Los Alamitos (2009)
Kirsch, C., Lopes, L., Marques, E.: Semantics-Preserving and Incremental Runtime Patching of Real-Time Programs. In: Online Proc. Workshop on Adaptive and Reconfigurable Embedded Systems (APRES). pp. 3–7. ARTIST Network of Excellence (2008)
Kirsch, C., Lopes, L., Marques, E., Sokolova, A.: Runtime Programming through Model-Preserving, Scalable Runtime Patches. Tech. Rep. 2010-08, Department of Computer Sciences, University of Salzburg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kirsch, C.M., Lopes, L., Marques, E.R.B., Sokolova, A. (2012). Runtime Programming through Model-Preserving, Scalable Runtime Patches. In: Barbosa, L.S., Lumpe, M. (eds) Formal Aspects of Component Software. FACS 2010. Lecture Notes in Computer Science, vol 6921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27269-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-27269-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27268-4
Online ISBN: 978-3-642-27269-1
eBook Packages: Computer ScienceComputer Science (R0)