Supervisory Control for Software Runtime Exception Avoidance

Benoit Gaudin, Paddy Nixon

Research output: A Conference proceeding or a Chapter in BookConference 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 publicationC3S2E 2012: Fifth International C* Conference on Computer Science & Software Engineering
EditorsBipin C. Desai, Emil Vassev, Sudhir Mudur
Place of PublicationUnited States
PublisherAssociation for Computing Machinery (ACM)
Pages109-112
Number of pages4
ISBN (Print)9781450310840
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event5th International C* Conference on Computer Science & Software Engineering (C3S2E 2012) - Montreal, Montreal, Canada
Duration: 27 Jun 201229 Jun 2012

Conference

Conference5th International C* Conference on Computer Science & Software Engineering (C3S2E 2012)
Abbreviated titleC3S2E 2012
CountryCanada
CityMontreal
Period27/06/1229/06/12

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 B. C. Desai, E. Vassev, & S. Mudur (Eds.), C3S2E 2012: Fifth International C* Conference on Computer Science & Software Engineering (pp. 109-112). Association for Computing Machinery (ACM). https://doi.org/10.1145/2347583.2347598