Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems

Abstract

The safe run-time evolution of complex software-intensive systems requires that the impact of changes can be predicted at run-time. In this paper we consider the specific case of self-adaptive software-intensive systems using an example for the coordination of autonomous vehicles. We show how incremental run-time checks can verify that changes in the rule… (More)
DOI: 10.1109/ASEW.2008.4686291

7 Figures and Tables

Topics

  • Presentations referencing similar topics