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