Supervisory control of software systems

Vir Phoha, Amit Nadgar, Asok Ray, Shashi Phoha

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

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

Fingerprint

Supervisory personnel
Finite automata
Control theory
Application programs
Specifications

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

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
Phoha, Vir ; Nadgar, Amit ; Ray, Asok ; Phoha, Shashi. / Supervisory control of software systems. Quantitative Measure for Discrete Event Supervisory Control. Springer New York, 2005. pp. 207-238
@inbook{ec85f5a3ec81443cbbe37adb1063343d,
title = "Supervisory control of software systems",
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.",
author = "Vir Phoha and Amit Nadgar and Asok Ray and Shashi Phoha",
year = "2005",
month = "12",
day = "1",
doi = "10.1007/0-387-23903-0_8",
language = "English (US)",
isbn = "0387021086",
pages = "207--238",
booktitle = "Quantitative Measure for Discrete Event Supervisory Control",
publisher = "Springer New York",
address = "United States",

}

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

Supervisory control of software systems. / Phoha, Vir; Nadgar, Amit; Ray, Asok; Phoha, Shashi.

Quantitative Measure for Discrete Event Supervisory Control. Springer New York, 2005. p. 207-238.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Supervisory control of software systems

AU - Phoha, Vir

AU - Nadgar, Amit

AU - Ray, Asok

AU - Phoha, Shashi

PY - 2005/12/1

Y1 - 2005/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84889769626&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84889769626&partnerID=8YFLogxK

U2 - 10.1007/0-387-23903-0_8

DO - 10.1007/0-387-23903-0_8

M3 - Chapter

SN - 0387021086

SN - 9780387021089

SP - 207

EP - 238

BT - Quantitative Measure for Discrete Event Supervisory Control

PB - Springer New York

ER -

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