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