From runtime verification to evolvable systems

Authors:
Howard Barringer;Dov Gabbay;David Rydeheard
Affiliations:
School of Computer Science, University of Manchester, Manchester, UK;Department of Computer Science, Kings College London, London, UK;School of Computer Science, University of Manchester, Manchester, UK
Venue:
RV'07 Proceedings of the 7th international conference on Runtime verification
Year:
2007

Citing 3
Cited 5

An Active-Architecture Approach to COTS Integration

IEEE Software
A Logical Framework for Monitoring and Evolving Software Components

TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
A revision-based logical framework for evolvable software

SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering

Synthesizing a specification-based monitor for safety requirements

Iranian Journal of Science and Technology, Transaction B: Engineering
Combining Proof and Model-checking to Validate Reconfigurable Architectures

Electronic Notes in Theoretical Computer Science (ENTCS)
Using temporal logic for dynamic reconfigurations of components

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study

Journal of Systems and Software
Runtime verification of service-oriented systems: a well-rounded survey

International Journal of Web and Grid Services

Quantified Score

Hi-index	0.00

Visualization

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.