Paper Info
Title
Supervisory control for software runtime exception avoidance
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.
Year
DOI
Venue
2012
10.1145/2347583.2347598
C3S2E
Keywords
Field
DocType
controllers synthesis offer,observed software failure,discrete event systems,corrective maintenance process,supervisory control theory,supervisory control,corrective software maintenance,software systems behavior,runtime exception,software runtime exception avoidance,control,software maintenance,software systems,formal method
Control software,Software engineering,Supervisory control,Computer science,Supervisory control theory,Real-time computing,Self adaptation,Software,Software maintenance,Corrective maintenance,Formal methods
Conference
Citations 
PageRank 
References 
2
0.39
6
Authors
2
Name
Order
Citations
PageRank
Benoit Gaudin1696.17
Paddy Nixon21285116.64