Real-Time Detection of Failures of Reactive Systems
This paper addresses some issues involved in real-time detection of failures of reactive systems. The system architecture considered is shown in Figure 1. External behavior of the reactive system is monitored by a supervisor, which may execute on a separate platform. The supervisor monitors the inputs and outputs of the system and reports the failures that occur.
KeywordsTarget System Failure Detection Destination Process External Behavior Extended Finite State Machine
Unable to display preview. Download preview PDF.
- International Telegraph and Telephone Consultative Committee, Functional Specification and Description Language, Recommendations Z.100-Z.104. Geneva: ITU, 1989.Google Scholar
- International Telegraph and Telephone Consultative Committee, Annex F.1 to Recommendation Z.100: SDL Formal Definition. Geneva: ITU, 1989.Google Scholar
- F. Belina, D. Hogreffe and A. Sarma, SDL with Applications from Protocol Specification. Prentice-Hall, 1991.Google Scholar
- A. Erb, “Safety Measures of the Electronic Interlocking System ELEKTRA”, Safety of Computer Control Systems 1989, Pergamon Press, London, pp. 49–52.Google Scholar
- E. Rich, Artificial Intelligence, McGraw-Hill, 1983.Google Scholar
- D. B. Hay, A Belief Method for Detecting Operational Failures in Soft Real-Time Systems, MASc Thesis, Dept. Elect. and Comp. Engg., University of Waterloo, 1991.Google Scholar
- J. Li and R. E. Seviora, “Real-Time Supervisor with Reduced Space and Time Requirements,” to appear, Proc. 1993 IEE System Engineering for Real-Time Applications, London, UK, 1993.Google Scholar
- J. Li and R. E. Seviora, “An Extension to SDL,” submitted, 1993.Google Scholar
- P.Lam, R.E.Seviora and F.C.L.Chan, “Invocation-Count Based Structural Prediction Models,” Proc. Second Bellcore Symposium on Issues in Software Reliability Estimation, pp.113–129, Oct. 1992.Google Scholar