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