Thumbnail Image
Publication

Supervisory control for software runtime exception avoidance

Date
2012
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.
Supervisor
Description
peer-reviewed
Publisher
Association for Computing Machinery
Citation
C3S2E '12 Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering;pp. 109-112
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
Gaudin_2012_control.pdf
Adobe PDF, 104.4 KB
Keywords
formal method, self-adaptation, control, monitoring
ULRR Identifiers
https://researchrepository.ul.ie/handle/10344/2689
 https://doi.org/10.34961/394
Funding code
Funding Information
European Research Council (ERC), Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/
License