Formal methods @ runtime

Radu Calinescu*, Shinji Kikuchi

*Corresponding author for this work

    Research output: Chapter in Book/Published conference outputConference 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
    Country/TerritoryUnited 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