@inproceedings{561dfeaade0e44b298f1410e953016df,
title = "From runtime verification to evolvable systems",
abstract = "We consider evolvable computational systems built as hierarchies of evolvable components, where an evolvable component is an encapsulation of a supervisory component and its supervisee. Here, we extend our prior work on a revision-based logical modelling framework for such systems to incorporate programs within each component. We describe mechanisms for combining programs, possibly in different languages, from separate components and outline an operational semantics for programmed evolvable systems. We show how supervisory components extend run-time verifiers/monitors with capabilities for diagnosis and change. We illustrate the logical modelling using an example of an automated bank teller machine. {\textcopyright} Springer-Verlag Berlin Heidelberg 2007.",
keywords = "Computer Science, Theory & Methods",
author = "Howard Barringer and Dov Gabbay and David Rydeheard",
note = "Barringer, Howard Gabbay, Dov Rydeheard, David 7 BERLIN BHG55; 7th International Workshop on Runtime Verification, RV 2007 ; Conference date: 01-07-2007",
year = "2007",
doi = "10.1007/978-3-540-77395-5_9",
language = "English",
isbn = "3540773940",
volume = "4839",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "97--110",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",
address = "United States",
}