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.

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.

Publication DOI: 10.1007/978-3-642-21292-5_7
Divisions: Engineering & Applied Sciences > Computer science
Related URLs:
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
Published Date: 2011

Download

Full text not available from this repository.

Export / Share Citation


Statistics

Additional statistics for this record