Supervisory Control for Software Runtime Exception Avoidance

Benoit Gaudin; Paddy Nixon

doi:10.1145/2347583.2347598

Supervisory Control for Software Runtime Exception Avoidance

Benoit Gaudin, Paddy Nixon

Research output: A Conference proceeding or a Chapter in Book › Conference contribution › peer-review

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 language	English
Title of host publication	C3S2E 2012: Fifth International C* Conference on Computer Science & Software Engineering
Editors	Bipin C. Desai, Emil Vassev, Sudhir Mudur
Place of Publication	United States
Publisher	Association for Computing Machinery (ACM)
Pages	109-112
Number of pages	4
ISBN (Print)	9781450310840
DOIs	https://doi.org/10.1145/2347583.2347598
Publication status	Published - 2012
Externally published	Yes
Event	5th International C* Conference on Computer Science & Software Engineering (C3S2E 2012) - Montreal, Montreal, Canada Duration: 27 Jun 2012 → 29 Jun 2012

Conference

Conference	5th International C* Conference on Computer Science & Software Engineering (C3S2E 2012)
Abbreviated title	C3S2E 2012
Country/Territory	Canada
City	Montreal
Period	27/06/12 → 29/06/12

Access to Document

10.1145/2347583.2347598

https://core.ac.uk/download/pdf/59348686.pdf

Cite this

@inproceedings{65ab2e4276134adfae485ca964b3fce6,

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 = "Benoit Gaudin and Paddy Nixon",

year = "2012",

doi = "10.1145/2347583.2347598",

language = "English",

isbn = "9781450310840",

pages = "109--112",

editor = "Desai, {Bipin C.} and Emil Vassev and Sudhir Mudur",

booktitle = "C3S2E 2012: Fifth International C* Conference on Computer Science & Software Engineering",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "5th International C* Conference on Computer Science & Software Engineering (C3S2E 2012), C3S2E 2012 ; Conference date: 27-06-2012 Through 29-06-2012",

}

Gaudin, B & Nixon, P 2012, Supervisory Control for Software Runtime Exception Avoidance. in BC Desai, E Vassev & S Mudur (eds), C3S2E 2012: Fifth International C* Conference on Computer Science & Software Engineering. Association for Computing Machinery (ACM), United States, pp. 109-112, 5th International C* Conference on Computer Science & Software Engineering (C3S2E 2012), Montreal, Quebec, Canada, 27/06/12. https://doi.org/10.1145/2347583.2347598

Supervisory Control for Software Runtime Exception Avoidance. / Gaudin, Benoit; Nixon, Paddy.
C3S2E 2012: Fifth International C* Conference on Computer Science & Software Engineering. ed. / Bipin C. Desai; Emil Vassev; Sudhir Mudur. United States: Association for Computing Machinery (ACM), 2012. p. 109-112.

Research output: A Conference proceeding or a Chapter in Book › Conference contribution › peer-review

TY - GEN

T1 - Supervisory Control for Software Runtime Exception Avoidance

AU - Gaudin, Benoit

AU - Nixon, Paddy

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

SP - 109

EP - 112

BT - C3S2E 2012: Fifth International C* Conference on Computer Science & Software Engineering

A2 - Desai, Bipin C.

A2 - Vassev, Emil

A2 - Mudur, Sudhir

PB - Association for Computing Machinery (ACM)

CY - United States

T2 - 5th International C* Conference on Computer Science & Software Engineering (C3S2E 2012)

Y2 - 27 June 2012 through 29 June 2012

ER -

Supervisory Control for Software Runtime Exception Avoidance

Abstract

Conference

Access to Document

Fingerprint

Cite this