Supervisory Control for Software Runtime Exception Avoidance

B Gaudin, Patrick Nixon

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

    4 Citations (Scopus)

    Abstract

    The Supervisory Control Theory (SCT) introduced by Ramadge and Wonham offers a framework for the control of Discrete Event Systems. In this paper, we formalize some concepts about corrective software maintenance within this framework. More specifically, we consider SCT as a way to control software systems behaviors and avoid occurrences of runtime exceptions. This approach is attractive as algorithms for controllers synthesis offer a means to automate part of the corrective maintenance process. In this paper, we introduce problems related to removing observed software failures by control, as well as solutions.
    Original languageEnglish
    Title of host publicationUnknown Host Publication
    EditorsBC Desai, S Mudur
    Pages109-112
    Number of pages4
    DOIs
    Publication statusPublished - 2012
    EventProceedings of the Fifth International C* Conference on Computer Science and Software Engineering - Montreal, Canada
    Duration: 1 Jan 2012 → …

    Conference

    ConferenceProceedings of the Fifth International C* Conference on Computer Science and Software Engineering
    Period1/01/12 → …

      Fingerprint

    Keywords

    • formal method
    • self-adaptation
    • control
    • monitoring

    Cite this

    Gaudin, B., & Nixon, P. (2012). Supervisory Control for Software Runtime Exception Avoidance. In BC. Desai, & S. Mudur (Eds.), Unknown Host Publication (pp. 109-112) https://doi.org/10.1145/2347583.2347598