next up previous

Final Report of the COST-247 Action

A refinement technique in SDL design of a telephone exchange

Eleonora Bounimova, Vladimir Levin, Kemal Inan

Electrical & Electronics Engineering Department
Middle East Technical University
Ankara 06531, Turkey
e-mail :
tel : +90-312-2101298 and +90-312-2102324
fax : +90-312-2101411 and +90-312-2101261


SDL description of a small scale PABX is described and a method for the refinement of the specification is suggested in which the size of the state space is reduced by exploiting certain properties.

This presentation has been given during the COST-247 5th Management Committee Meeting (Warsaw, Poland, June 12--13, 1995).

COST-247 Working Group(s): 4

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page