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
    PublisherAssociation for Computing Machinery
    Pages109-112
    Number of pages4
    ISBN (Print)978-1-4503-1084-0
    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 → …

    Keywords

    • formal method
    • self-adaptation
    • control
    • monitoring

    Fingerprint Dive into the research topics of 'Supervisory Control for Software Runtime Exception Avoidance'. Together they form a unique fingerprint.

  • 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). Association for Computing Machinery. https://doi.org/10.1145/2347583.2347598