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.
Original language | English |
---|---|
Title of host publication | Unknown Host Publication |
Editors | BC Desai, S Mudur |
Publisher | Association for Computing Machinery |
Pages | 109-112 |
Number of pages | 4 |
ISBN (Print) | 978-1-4503-1084-0 |
DOIs | |
Publication status | Published (in print/issue) - 2012 |
Event | Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering - Montreal, Canada Duration: 1 Jan 2012 → … |
Conference
Conference | Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering |
---|---|
Period | 1/01/12 → … |
Keywords
- formal method
- self-adaptation
- control
- monitoring