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.
    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

    Control theory
    Computer software maintenance
    Discrete event simulation
    Controllers

    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
    Gaudin, B ; Nixon, Patrick. / Supervisory Control for Software Runtime Exception Avoidance. Unknown Host Publication. editor / BC Desai ; S Mudur. 2012. pp. 109-112
    @inproceedings{2f46357246e14f7bbb0a4a5283936862,
    title = "Supervisory Control for Software Runtime Exception Avoidance",
    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.",
    keywords = "formal method, self-adaptation, control, monitoring",
    author = "B Gaudin and Patrick Nixon",
    year = "2012",
    doi = "10.1145/2347583.2347598",
    language = "English",
    isbn = "978-1-4503-1084-0",
    pages = "109--112",
    editor = "BC Desai and S Mudur",
    booktitle = "Unknown Host Publication",

    }

    Gaudin, B & Nixon, P 2012, Supervisory Control for Software Runtime Exception Avoidance. in BC Desai & S Mudur (eds), Unknown Host Publication. pp. 109-112, Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, 1/01/12. https://doi.org/10.1145/2347583.2347598

    Supervisory Control for Software Runtime Exception Avoidance. / Gaudin, B; Nixon, Patrick.

    Unknown Host Publication. ed. / BC Desai; S Mudur. 2012. p. 109-112.

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

    TY - GEN

    T1 - Supervisory Control for Software Runtime Exception Avoidance

    AU - Gaudin, B

    AU - Nixon, Patrick

    PY - 2012

    Y1 - 2012

    N2 - 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.

    AB - 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.

    KW - formal method

    KW - self-adaptation

    KW - control

    KW - monitoring

    U2 - 10.1145/2347583.2347598

    DO - 10.1145/2347583.2347598

    M3 - Conference contribution

    SN - 978-1-4503-1084-0

    SP - 109

    EP - 112

    BT - Unknown Host Publication

    A2 - Desai, BC

    A2 - Mudur, S

    ER -

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