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: | 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 |
Downloads: | 0 |
Repository Staff Only: item control page