Supervisory control for software runtime exception avoidance

Authors:
Benoit Gaudin;Paddy Nixon
Affiliations:
University of Limerick, Ireland;University of Tasmania, Hobart, Australia
Venue:
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Year:
2012

Citing 7
Cited 0

Bandera: extracting finite-state models from Java source code

Proceedings of the 22nd international conference on Software engineering
The Vision of Autonomic Computing

Computer
Toward an understanding of bug fix patterns

Empirical Software Engineering
A Systematic Survey of Program Comprehension through Dynamic Analysis

IEEE Transactions on Software Engineering
Fulfilling the Vision of Autonomic Computing

Computer
A control theory based approach for self-healing of un-handled runtime exceptions

Proceedings of the 8th ACM international conference on Autonomic computing
Software Maintenance through Supervisory Control

SEW '11 Proceedings of the 2011 IEEE 34th Software Engineering Workshop

Quantified Score

Hi-index	0.00

Visualization

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.