Abstract
This section presents a method for deriving the hard deadline of a real-time control system, which captures the interplay between a controlled process and its controller computer by formally specifying the need of the controlled process in a form understandable to the controller computer. Several examples of deriving and applying the hard-deadline information are also presented to demonstrate the importance of the deadline information.
The work reported was supported in part by the Office of Naval Research under Grant N00014-91-J-1115 and NASA under Grant NAG-1220. Any opinions, findings, and conclusions or recommendations expressed in this section are those of the authors and do not necessarily reflect the view of the funding agencies.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
C. M. Belcastro, “Laboratory test methodology for evaluating the effects of electromagnetic disturbances on fault-tolerant control systems,” NASA TM-101665, November 1989.
A. P. Belleisle, “Stability of systems with nonlinear feedback through randomly time-varying delays,” IEEE Trans. on Automat. Contr., vol. AC-20, no. 1, pp. 67–75, February 1975.
A. Gosiewski and A. W. Olbrot, “The effect of feedback delays on the performance of multivariable linear control systems,” IEEE Trans. on Automat. Contr., vol. AC-25, no. 4. pp. 729–734, August 1980.
K. Hirai and Y. Satoh, “Stability of a system with variable time delay,” IEEE Trans. on Automat. Contr., vol. AC-25, no. 3, pp. 552–554, June 1980.
G. Hostetter and J. S. Meditch, “Observing systems with unmeasurable inputs,” IEEE Trans. on Automat. Contr., vol. AC-18, pp. 306–307, June 1973.
S. Kheradpir and J. S. Thorp, “Real-time control of robot manipulators in the presence of obstacles,” IEEE journal of Robotics and Automation, vol. 4, no. 6, pp. 687–698, December 1988.
H. Kim and K. G. Shin, “On the maximum feedback delay in a linear/nonlinear control system with input disturbances caused by controller-computer failures,” IEEE Trans. on Control Systems Technology (in press).
H. Kim and K. G. Shin, “Design and analysis of an optimal instruction-retry policy for TMR controller computer,” submitted for publication, 1993.
H. Kim and K. G. Shin, “Evaluation of fault-tolerance latency from realtime application’s perspectives,” submitted for publication, 1993.
I. Koren and Z. Koren, “Analysis of a class of recovery procedures,” IEEE Trans. on Computers, vol. C-35, no. 8, pp. 703–712, August 1986.
Y. H. Lee and K. G. Shin, “Optimal design and use of retry in faulttolerant computing systems,” Journal of the ACM, vol. 35, pp. 45–69, January 1988.
G. Leitmann, An Introduction to Optimal Control, New York, NY: McGray-Hill, 1969.
D. G. Luenberger, Optimization by vector space methods, New York, Wiley, 1969.
M. Mariton, “Detection delays, false alarm rates and the reconfiguration of control systems,” Int. J. Control, vol. 49, no. 3, pp. 981–992, 1989.
Z. V. Rekasius, “Stability of digital control with computer interruption,” IEEE Trans. on Automat. Contr., vol. AC-31, no. 4, pp. 356–359, April 1986.
K. G. Shin and X. Cui, “Effects of computing time delay on real-time control systems,” in Proc. of 1988 American Control Conf., pp. 1071–1076, 1988.
K. G. Shin and H. Kim, “Derivation and application of hard deadlines for real-time control systems,” IEEE Trans. on Systems, Man, and Cybernetics, vol. 22, no. 6, pp. 1403–1413, Nov./Dec. 1992.
K. G. Shin, C. M. Krishna, and Y.-H. Lee, “A unified method for evaliating real-time computer controller and its application,” IEEE Trans. on Automat. Contr., vol. AC-30, no. 4, pp. 357–366, April 1985.
K. G. Shin and Y.-H. Lee, “Error detection process — model, design, and its impact on computer performance,” IEEE Trans. on Computers, vol. C-33, no. 6, pp. 529–539, June 1984.
K. G. Shin, T.-H. Lin, and Y.-H. Lee, “Optimal checkpointing of real-time tasks,” IEEE Trans. on Computers, vol. C-36, no. 11, pp. 1328–1341, November 1987.
D. P. Siewiorek and R. S. Swarz, The Theory and Practice of Reliable System Design, Digital Equipment Corporation, Bedford, MA, 1982.
D. D. Siljak, “Reliable control using multiple control systems,” Int. J. Control, vol. 31, no. 2, pp. 303–329, 1980.
A. Tantawi and M. Ruschitzka, “Performance analysis of checkpinting strategies,” ACM Trans. Computer Systems, vol. 2, pp. 123–1441, 1984.
K. Zahr and C. Slivinsky, “Delay in multivariable computer controlled linear systems,” IEEE Trans. on Automat. Contr., vol. AC-19, no. 8, pp. 442–443, August 1974.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Kluwer Academic Publishers
About this chapter
Cite this chapter
Shin, K.G., Kim, H. (1994). Derivation and Use of Deadline Information in Real-Time Control Systems. In: Foundations of Dependable Computing. The Springer International Series in Engineering and Computer Science, vol 283. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-27377-8_4
Download citation
DOI: https://doi.org/10.1007/978-0-585-27377-8_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-9484-6
Online ISBN: 978-0-585-27377-8
eBook Packages: Springer Book Archive