When the requirements for adaptation and high integrity meet

Abstract

Two classes of software that are notoriously difficult to develop on their own are rapidly merging into one. This will affect every key service that we rely upon in modern society, yet a successful merge is unlikely to be achievable using software development techniques specific to either class.This paper explains the growing demand for software capable of both self-adaptation and high integrity, and advocates the use of a collection of "@runtime" techniques for its development, operation and management. We summarise early research into the development of such techniques, and discuss the remaining work required to overcome the great challenge of self-adaptive high-integrity software.

Automating unobtrusive personalized services in ambient media environments

“…Also, the engine can search for the media object drivers associated to the task in the OSGi server by using its service registry and the Java Reflection capabilities. Context is represented by means of OWL ontologies 3 , while services and obtrusiveness spaces are represented in the XML Metadata Interchange standard (XMI) 4 . To query the models involved in our approach at runtime, the engine uses the Eclipse Modelling Framework 5 (EMF) that allows a system to work with any XMI model by querying its structure dynamically at runtime.…”

“…Several approaches have proposed the use of models at runtime for software adaptation [4]. Bencomo et al [1] propose the use of architectural models to support the generation and execution of adaptive systems.…”

Incremental Runtime Verification of Probabilistic Systems

“…Various techniques have been developed that use model checking at runtime; see [1] for a discussion and further references. There is also increasing interest in incremental model checking techniques.…”