Supervisory control of software systems for fault mitigation

Author

Phoha, V.V. ; Nadgar, A. ; Ray, A. ; Fu, J. ; Phoha, S.

Author_Institution

Louisiana Tech. Univ., Ruston, LA, USA

Volume

3

fYear

2003

fDate

4-6 June 2003

Firstpage

2229

Abstract

This paper develops a novel technique of discrete-event supervisory control for fault mitigation in software applications. It models the interactions between a software application and a computer operating system (OS) as a deterministic finite state automation. The supervisor restricts the language of the OS to correct deviations such as CPU exceptions for the controlled execution of software applications. Feasibility of this supervisory control concept is demonstrated on process execution under the Red Hat Linux 7.2 operating system. Two supervisory control policies are implemented as proof of the concept.

Keywords

discrete event systems; fault diagnosis; finite state machines; operating systems (computers); software fault tolerance; CPU; OS; Red Hat Linux 7.2; central processing unit; computer operating system; deterministic finite state automation; discrete event supervisory control; fault mitigation; software systems; Application software; Automata; Automatic control; Control systems; Discrete event systems; Feedback; Linux; Operating systems; Software systems; Supervisory control;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, 2003. Proceedings of the 2003

ISSN

0743-1619

Print_ISBN

0-7803-7896-2

Type

conf

DOI

10.1109/ACC.2003.1243405

Filename

1243405