Summary
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L. Bauer, J. Ligatti, and D. Walker, More enforceable security policies., Foundations of Computer Security Workshop (2002).
D.P. Bovet and M. Cesati, Understanding the linux kernel, O’Reilly & Associates, January 2001.
C.G. Cassandras and S. Lafortune, Introducrion to discrete event systems, Kluwer Academic, 1999.
F. Charbonnier, H. Alla, and R. David, Supervised control of discrete-event dynamic systems, IEEE Transactions on Control Systems Technology 7 (1989), no. 2, 175–187.
U. Erlingsson and F.B. Schneider, SASI enforcement of security policies: A retrospective., New Security Paradigms Workshop (1999), 87–95.
M. Heymann, Concurrency and discrete event control, IEEE Control Systems Magazine (1990), 103–112.
Y. Hong, D. Chen, L. Li, and K. Trivedi, Closed loop design for software rejuvenation, SHAMAN-Self-Healing, Adaptive and self-MANaged Systems (2002).
F.B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security 3(1) (2002), 30–50.
J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory, languages, and computation, 2nd ed., Addison-Wesley, 2001.
Y. Huang, C. Kintala, N. Kolettis, and N. Fulton, Software rejuvenation: analysis, module and applications, Proceedings of 25th International Symposium on Fault-tolerance Computing. (1995).
G. Karsai and A. Ledeczi, An approach to self adaptive software based on supervisory control, IWSAS 2001 (Balatonfured, Hungary), 2001.
R. Kumar and V. Garg, Modeling and control of logical discrete event systems, Kluwer Academic, 1995.
V. Phoha, A. Nadgar, A. Ray, J. Fu, and S. Phoha, Supervisory control of software systems for fault mitigation, June 2003, pp. 2229–2233.
M. Pradhan and P. Dagum, Optimal monte carlo estimation of belief network inference, Twelfth Conference on Uncertainty in Artificial Intelligence (Portland, OR), 1996, pp. 446–453.
P.J. Ramadge and W.M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control and Optimization 25 (1987), no. 1, 206–230.
A. Ray and S. Phoha, Signed real measure of regular languages for discrete-event automata, Int. J. Control 76 (2003), no. 18, 1800–1808.
A. Rubini, Linux device drivers, O’Reilly & Associates, June 2001.
W.R. Stevens, Unix network programming, 2 ed., vol. 1, Addison-Wesley Longman, Singapore, 1999.
A. Surana and A. Ray, Signed real measure of regular languages, Demonstratio Mathematica 37 (2004), no. 2, 485–503.
C. Wallace, P. Jensen, and N. Soparkar, Supervisory control of workflow scheduling, Proceedings of International Workshop on Advanced Transaction Models and Architectures (Goa), August–September 1996.
X. Wang and A. Ray, A language measure for performance evaluation of discrete-event supervisory control systems, Applied Mathematical Modelling 28 (2004), no. 9, 817–833.
X. Wang, A. Ray, and A. Khatkhate, On-line identification of language measure parameters for discrete event supervisory control, Proceedings of 42nd IEEE Conference on Decision and Control (Maui, Hawaii), December 2003, pp. 6307–6312.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
Phoha, V., Nadgar, A., Ray, A., Phoha, S. (2005). Supervisory Control of Software Systems. In: Ray, A., Phoha, V.V., Phoha, S.P. (eds) Quantitative Measure for Discrete Event Supervisory Control. Springer, New York, NY. https://doi.org/10.1007/0-387-23903-0_8
Download citation
DOI: https://doi.org/10.1007/0-387-23903-0_8
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-02108-9
Online ISBN: 978-0-387-23903-3
eBook Packages: Computer ScienceComputer Science (R0)