A knowledge based specification system for ASDSPN

Author

Hook, M.K. ; Davidson, F.R.

Author_Institution

Plessey Res. & Technol., Towcester, UK

fYear

1989

fDate

2-5 Apr 1989

Firstpage

144

Lastpage

147

Abstract

A system specification animation tool, `Live Specification Simulator´ (LSS), is described. LSS is currently being developed by Plessey Research and Technology (Roke Manor) for GEC Plessey Telecommunications (GPT). The system is designed to assist the validation of the specification for the `Automatically Switched Digital Service Protection Network´ (ASDPSN) product, currently being developed by GPT to protect British Telecom´s digital truck network. LSS is a rule-based system which supports the direct execution of the ASDSPN specification, it provides a graphical MMI, and supports a range of simulation tasks. LSS is implemented on an Apple Macintosh II, and currently models networks of up to 32 terminal stations and 64 sections in any arbitrary topology. The LSS approach appears to be applicable to a broad range of network specification and modelling scenarios

Keywords

Apple computers; computer animation; digital communication systems; engineering graphics; formal specification; knowledge based systems; microcomputer applications; software tools; telecommunication networks; telecommunication services; telecommunications computing; user interfaces; Apple Macintosh II; Automatically Switched Digital Service Protection Network; BT; British Telecom; GEC Plessey Telecommunications; Live Specification Simulator; Plessey Research and Technology; digital truck network; graphical MMI; knowledge based specification system; network modelling; network specification; network topology; system specification animation tool; terminal stations;

fLanguage

English

Publisher

iet

Conference_Titel

Telecommunications, 1989. Second IEE National Conference on

Conference_Location

York

Type

conf

Filename

20698