File(s) under permanent embargo
Supervisory Control for Software Runtime Exception Avoidance
conference contribution
posted on 2023-05-23, 06:51 authored by Gaudin, B, Nixon, PThe 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.
History
Publication title
Proceedings of the Fifth International C* Conference on Computer Science and Software EngineeringEditors
BC Desai, S Mudur, E VassevPagination
109-112ISBN
978-1-4503-1084-0Publisher
Association for Computing MachineryPlace of publication
New York, USAEvent title
Fifth International C* Conference on Computer Science and Software EngineeringEvent Venue
Montreal, CanadaDate of Event (Start Date)
2012-06-27Date of Event (End Date)
2012-06-29Rights statement
Copyright 2012 ACMRepository Status
- Restricted