FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance

B Gaudin, MH Hinchey, E Vassev, Patrick Nixon, JC Garcia, W Maalej

    Research output: Contribution to journalArticle

    Abstract

    One of the main objectives of self-adaptive systems is to reduce maintenance costs through automatic adaptation. Self-healing is a self-adapting property that helps systems return to a normal state after a fault or vulnerability exploit has been detected. The problem is intuitively appealing as a way to automate the different type of maintenance processes (corrective, adaptive and perfective) and forms an interesting area of research that has inspired many initiatives. As a result, several surveys on self-healing have been published to describe the state of the art in this field. According to those surveys, the major trend towards finding a solution of the self-healing problem relies on redundancy that may concern both architecture and code resources. These approaches are therefore better suited to address adaptive and perfective maintenance. As part of the EU FP7 FastFix project [1], we focus on self-healing for corrective maintenance. We propose a framework for automating corrective maintenance that is based on software control principles. Our approach automates the engineering of self-healing systems as it does not require the system to be designed in a specific way. Instead it can be applied to legacy systems and automatically equip them with observation and control points. Moreover, the proposed approach relies on a sound control theory developed for Discrete Event Systems. Finally, this paper contributes to the field by introducing challenges to the effective application of this approach to relevant industrial systems. Some of these challenges are currently being tackled within FastFix.
    LanguageEnglish
    Pages5-20
    JournalScalable Computing: Practice and Experience
    Volume13
    Issue number1
    Publication statusPublished - 2012

    Fingerprint

    Computer software maintenance
    Legacy systems
    Adaptive systems
    Discrete event simulation
    Control theory
    Redundancy
    Acoustic waves
    Costs

    Keywords

    • software maintenance
    • self-healing
    • software control
    • context-aware software engineering

    Cite this

    Gaudin, B ; Hinchey, MH ; Vassev, E ; Nixon, Patrick ; Garcia, JC ; Maalej, W. / FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. In: Scalable Computing: Practice and Experience. 2012 ; Vol. 13, No. 1. pp. 5-20.
    @article{90d5425d070f4fe2a657677c5929fdc0,
    title = "FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance",
    abstract = "One of the main objectives of self-adaptive systems is to reduce maintenance costs through automatic adaptation. Self-healing is a self-adapting property that helps systems return to a normal state after a fault or vulnerability exploit has been detected. The problem is intuitively appealing as a way to automate the different type of maintenance processes (corrective, adaptive and perfective) and forms an interesting area of research that has inspired many initiatives. As a result, several surveys on self-healing have been published to describe the state of the art in this field. According to those surveys, the major trend towards finding a solution of the self-healing problem relies on redundancy that may concern both architecture and code resources. These approaches are therefore better suited to address adaptive and perfective maintenance. As part of the EU FP7 FastFix project [1], we focus on self-healing for corrective maintenance. We propose a framework for automating corrective maintenance that is based on software control principles. Our approach automates the engineering of self-healing systems as it does not require the system to be designed in a specific way. Instead it can be applied to legacy systems and automatically equip them with observation and control points. Moreover, the proposed approach relies on a sound control theory developed for Discrete Event Systems. Finally, this paper contributes to the field by introducing challenges to the effective application of this approach to relevant industrial systems. Some of these challenges are currently being tackled within FastFix.",
    keywords = "software maintenance, self-healing, software control, context-aware software engineering",
    author = "B Gaudin and MH Hinchey and E Vassev and Patrick Nixon and JC Garcia and W Maalej",
    year = "2012",
    language = "English",
    volume = "13",
    pages = "5--20",
    journal = "Scalable Computing: Practice and Experience",
    issn = "1895-1767",
    number = "1",

    }

    FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance. / Gaudin, B; Hinchey, MH; Vassev, E; Nixon, Patrick; Garcia, JC; Maalej, W.

    In: Scalable Computing: Practice and Experience, Vol. 13, No. 1, 2012, p. 5-20.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance

    AU - Gaudin, B

    AU - Hinchey, MH

    AU - Vassev, E

    AU - Nixon, Patrick

    AU - Garcia, JC

    AU - Maalej, W

    PY - 2012

    Y1 - 2012

    N2 - One of the main objectives of self-adaptive systems is to reduce maintenance costs through automatic adaptation. Self-healing is a self-adapting property that helps systems return to a normal state after a fault or vulnerability exploit has been detected. The problem is intuitively appealing as a way to automate the different type of maintenance processes (corrective, adaptive and perfective) and forms an interesting area of research that has inspired many initiatives. As a result, several surveys on self-healing have been published to describe the state of the art in this field. According to those surveys, the major trend towards finding a solution of the self-healing problem relies on redundancy that may concern both architecture and code resources. These approaches are therefore better suited to address adaptive and perfective maintenance. As part of the EU FP7 FastFix project [1], we focus on self-healing for corrective maintenance. We propose a framework for automating corrective maintenance that is based on software control principles. Our approach automates the engineering of self-healing systems as it does not require the system to be designed in a specific way. Instead it can be applied to legacy systems and automatically equip them with observation and control points. Moreover, the proposed approach relies on a sound control theory developed for Discrete Event Systems. Finally, this paper contributes to the field by introducing challenges to the effective application of this approach to relevant industrial systems. Some of these challenges are currently being tackled within FastFix.

    AB - One of the main objectives of self-adaptive systems is to reduce maintenance costs through automatic adaptation. Self-healing is a self-adapting property that helps systems return to a normal state after a fault or vulnerability exploit has been detected. The problem is intuitively appealing as a way to automate the different type of maintenance processes (corrective, adaptive and perfective) and forms an interesting area of research that has inspired many initiatives. As a result, several surveys on self-healing have been published to describe the state of the art in this field. According to those surveys, the major trend towards finding a solution of the self-healing problem relies on redundancy that may concern both architecture and code resources. These approaches are therefore better suited to address adaptive and perfective maintenance. As part of the EU FP7 FastFix project [1], we focus on self-healing for corrective maintenance. We propose a framework for automating corrective maintenance that is based on software control principles. Our approach automates the engineering of self-healing systems as it does not require the system to be designed in a specific way. Instead it can be applied to legacy systems and automatically equip them with observation and control points. Moreover, the proposed approach relies on a sound control theory developed for Discrete Event Systems. Finally, this paper contributes to the field by introducing challenges to the effective application of this approach to relevant industrial systems. Some of these challenges are currently being tackled within FastFix.

    KW - software maintenance

    KW - self-healing

    KW - software control

    KW - context-aware software engineering

    M3 - Article

    VL - 13

    SP - 5

    EP - 20

    JO - Scalable Computing: Practice and Experience

    T2 - Scalable Computing: Practice and Experience

    JF - Scalable Computing: Practice and Experience

    SN - 1895-1767

    IS - 1

    ER -