Formal methods @ runtime

Calinescu, Radu and Kikuchi, Shinji (2011). Formal methods @ runtime. IN: Foundations of computer software. Modeling, development, and verification of adaptive systems. Lecture Notes in Computer Science . Berlin (DE): Springer.


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.

Publication DOI:
Divisions: Engineering & Applied Sciences > Computer science
Event Title: 16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems
Event Type: Other
Event Dates: 2010-03-31 - 2010-04-02
Uncontrolled Keywords: Computer Science(all),Theoretical Computer Science
Full Text Link:
Related URLs:
Published Date: 2011
Authors: Calinescu, Radu
Kikuchi, Shinji


Item under embargo

Export / Share Citation


Additional statistics for this record