DocumentCode
1637019
Title
Specification quality [formal SDL and signalling]
Author
Woollard, Kevin ; Crowther, Michael ; Cookson, Martin
Author_Institution
BT Labs, Martlesham Heath, Ipswich, UK
fYear
1993
fDate
11/22/1993 12:00:00 AM
Firstpage
42491
Lastpage
42497
Abstract
The paper reports on some of the initiatives within BT to take advantage of formal specification and description language (SDL) and the improved quality of their signalling specifications. In particular it deals with the specification and modelling parts of BT´s Signalling System No.7 (C7) network and its verification against requirements through simulation. The use of simulation also allows the company to interwork one specification with another ensuring that the specifications are complete, unambiguous and self consistent. Furthermore, it indicates other advantages BT gains from high quality SDL specifications, in particular the use of SDL as part of rapid product development and semiautomatic test generation
Keywords
specification languages; telecommunication signalling; telecommunications computing; BT; SDL specifications; Signalling System No.7; formal SDL; modelling; product development; semiautomatic test generation; signalling specifications; simulation; specification and description language;
fLanguage
English
Publisher
iet
Conference_Titel
Developments in Signalling, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
273204
Link To Document