|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2011 Eleventh International Conference on Application of Concurrency to System Design
Runtime Programming through Model-Preserving, Scalable Runtime Patches
Newcastle Upon Tyne, United Kingdom
June 20-June 24
ISBN: 978-0-7695-4387-1
| ASCII Text | x | ||
| Christoph M. Kirsch, Luís Lopes, Eduardo R.B. Marques, Ana Sokolova, "Runtime Programming through Model-Preserving, Scalable Runtime Patches," 2010 10th International Conference on Application of Concurrency to System Design, pp. 77-86, 2011 Eleventh International Conference on Application of Concurrency to System Design, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/ACSD.2011.28, author = {Christoph M. Kirsch and Luís Lopes and Eduardo R.B. Marques and Ana Sokolova}, title = {Runtime Programming through Model-Preserving, Scalable Runtime Patches}, journal ={2010 10th International Conference on Application of Concurrency to System Design}, volume = {0}, year = {2011}, issn = {1550-4808}, pages = {77-86}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.28}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2010 10th International Conference on Application of Concurrency to System Design TI - Runtime Programming through Model-Preserving, Scalable Runtime Patches SN - 1550-4808 SP77 EP86 A1 - Christoph M. Kirsch, A1 - Luís Lopes, A1 - Eduardo R.B. Marques, A1 - Ana Sokolova, PY - 2011 KW - runtime programming KW - runtime patching KW - concurrency KW - compilation KW - scalability KW - reconfigurable systems KW - modularity KW - component-based systems VL - 0 JA - 2010 10th International Conference on Application of Concurrency to System Design ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.28
We consider a methodology for flexible software design, runtime programming, defined by recurrent, incremental software modifications to a program at runtime, called runtime patches. The principles we consider for runtime programming are model preservation and scalability. Model preservation means that a runtime patch preserves the programming model in place for programs -- in terms of syntax, semantics, and correctness properties -- as opposed to an ``ad-hoc'', disruptive operation, or one that requires an extra level of abstraction. Scalability means that, for practicality and performance, the effort in program compilation required by a runtime patch should ideally scale in proportion to the change induced by it. We formulate runtime programming over an abstract model for component-based concurrent programs, defined by a modular relation between the syntax and semantics of programs, plus built-in notions of initialization and quiescence. The notion of a runtime patch is defined over these assumptions, as a model-preserving transition between two programs and respective states. Additionally, we propose an incremental compilation framework for scalability in patch compilation. The formulation is put in perspective through a case-study instantiation over a language for distributed hard real-time systems, the Hierarchical Timing Language (HTL).
Index Terms:
runtime programming, runtime patching, concurrency, compilation, scalability, reconfigurable systems, modularity, component-based systems
Citation:
Christoph M. Kirsch, Luís Lopes, Eduardo R.B. Marques, Ana Sokolova, "Runtime Programming through Model-Preserving, Scalable Runtime Patches," acsd, pp.77-86, 2011 Eleventh International Conference on Application of Concurrency to System Design, 2011
Usage of this product signifies your acceptance of the Terms of Use.
