eCite Digital Repository

Supervisory Control for Software Runtime Exception Avoidance


Gaudin, B and Nixon, P, Supervisory Control for Software Runtime Exception Avoidance, Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, 27-29 June, 2012, Montreal, Canada, pp. 109-112. ISBN 978-1-4503-1084-0 (2012) [Refereed Conference Paper]

Copyright Statement

Copyright 2012 ACM

DOI: doi:10.1145/2347583.2347598


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.

Item Details

Item Type:Refereed Conference Paper
Keywords:formal method, self-adaptation, control, monitoring
Research Division:Information and Computing Sciences
Research Group:Theory of computation
Research Field:Computational complexity and computability
Objective Division:Information and Communication Services
Objective Group:Information systems, technologies and services
Objective Field:Application software packages
UTAS Author:Nixon, P (Professor Paddy Nixon)
ID Code:79072
Year Published:2012
Deposited By:Research Division
Deposited On:2012-08-15
Last Modified:2014-12-08

Repository Staff Only: item control page