of Software Systems
暂无分享,去创建一个
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 as a deterministic finite state automaton. The supervisor restricts the language of the OS to correct deviations such as CPU exceptions for 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.
[1] Jinbo Fu,et al. Unconstrained optimal control of regular languages , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[2] Greg Kroah-Hartman,et al. Linux Device Drivers , 1998 .
[3] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .