A real-time validator

Author

Hay, D.B. ; Seviora, R.E.

Author_Institution

Waterloo Univ., Ont., Canada

fYear

1991

fDate

16-18 Sep 1991

Firstpage

199

Lastpage

204

Abstract

The verification and validation of representations of the evolving software artifact plays a key role in many approaches to software development. The representations range from specification and design documents to the program code itself. The authors present a real-time validator (RTV) that was developed for an application in telecommunication switching. They overview the specification model used and introduce the key structure of the validator-the model of beliefs about permissible behavior of the system. They show how this model is related to the specification model and present a rule-based representation of belief models. The authors describe an implementation of the validator and discuss their experience with its use in detection of failures for a small telephone exchange

Keywords

electronic switching systems; formal specification; knowledge based systems; program verification; real-time systems; telecommunications computing; telephone exchanges; RTV; belief models; design documents; evolving software artifact; failures; permissible behavior; real-time validator; rule-based representation; small telephone exchange; software development; specification model; telecommunication switching;

fLanguage

English

Publisher

iet

Conference_Titel

Software Engineering for Real Time Systems, 1991., Third International Conference on

Conference_Location

Cirencester

Print_ISBN

0-85296-526-5

Type

conf

Filename

140072