eCite Digital Repository

Supervisory Control for Software Runtime Exception Avoidance

Citation

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

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.

Item Details

Item Type:Refereed Conference Paper
Keywords:formal method, self-adaptation, control, monitoring
Research Division:Information and Computing Sciences
Research Group:Computation Theory and Mathematics
Research Field:Analysis of Algorithms and Complexity
Objective Division:Information and Communication Services
Objective Group:Computer Software and Services
Objective Field:Application Software Packages (excl. Computer Games)
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
Downloads:0

Repository Staff Only: item control page