Supervisory Control for Software Runtime Exception Avoidance

B Gaudin, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 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 (in print/issue) - 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