Supervisory control of software systems

Vir Phoha, Amit Nadgar, Asok Ray, Shashi Phoha

Research output: Chapter in Book/Entry/PoemChapter

1 Scopus citations


This chapter presents a new paradigm to control software systems based on the Supervisory Control Theory (SCT). The proposed method uses SCT to model the execution process of a software application by restricting the actions of the OS with little or no modifications in the underlying OS. This approach can be generalized to other software applications as the interactions of an application with the Operating System (OS) are modelled at the process level as a Deterministic Finite State Automaton (DFSA), called as the plant. A supervisor that controls the plant is also a DFSA that represents a set of control specifications. The supervisor operates synchronously with the plant to restrict the language accepted by the plant to satisfy the control specifications. As a proof-of-concept for software fault management, two supervisors have been implemented under the Redhat Linux 7.2 OS to mitigate overflow and segmentation faults in five different programs. The performance of the unsupervised plant and that of the supervised plant are quantified by using the Language Measure, described in Chapter 1.

Original languageEnglish (US)
Title of host publicationQuantitative Measure for Discrete Event Supervisory Control
PublisherSpringer New York
Number of pages32
ISBN (Print)0387021086, 9780387021089
StatePublished - 2005
Externally publishedYes


  • Discrete Event Supervisory Control
  • Language Measure
  • Software Fault Management
  • Software Systems

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Supervisory control of software systems'. Together they form a unique fingerprint.

Cite this