Supervisory control of software systems

Vir Phoha, Amit Nadgar, Asok Ray, Shashi Phoha

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Scopus citations

Abstract

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
Pages207-238
Number of pages32
ISBN (Print)0387021086, 9780387021089
DOIs
StatePublished - Dec 1 2005

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

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

  • Cite this

    Phoha, V., Nadgar, A., Ray, A., & Phoha, S. (2005). Supervisory control of software systems. In Quantitative Measure for Discrete Event Supervisory Control (pp. 207-238). Springer New York. https://doi.org/10.1007/0-387-23903-0_8