Formal methods @ runtime

Radu Calinescu*, Shinji Kikuchi

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference publication

Abstract

Heuristics, simulation, artificial intelligence techniques and combinations thereof have all been employed in the attempt to make computer systems adaptive, context-aware, reconfigurable and self-managing. This paper complements such efforts by exploring the possibility to achieve runtime adaptiveness using mathematically-based techniques from the area of formal methods. It is argued that formal methods @ runtime represents a feasible approach, and promising preliminary results are summarised to support this viewpoint. The survey of existing approaches to employing formal methods at runtime is accompanied by a discussion of their challenges and of the future research required to overcome them.

Original languageEnglish
Title of host publicationFoundations of computer software. Modeling, development, and verification of adaptive systems
Subtitle of host publication16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, revised selected papers
Place of PublicationBerlin (DE)
PublisherSpringer
Pages122-135
Number of pages14
ISBN (Electronic)978-3-642-21292-5
ISBN (Print)978-3-6422-1291-8
DOIs
Publication statusPublished - 2011
Event16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems - Redmond, WA, United States
Duration: 31 Mar 20102 Apr 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6662
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

Workshop16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems
CountryUnited States
CityRedmond, WA
Period31/03/102/04/10

Fingerprint Dive into the research topics of 'Formal methods @ runtime'. Together they form a unique fingerprint.

Cite this