next up previous

Final Report of the COST-247 Action

Formal specification and implementation of an SDL to COSPAN compiler

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


The features of a compiler from the language SDL into the language S/R is described. The latter is the input language of a verification tool COSPAN, both developed at AT&T. The purpose of the compiler implementation exercise was to use the verification tool COSPAN for SDL programs. An additional feature of COSPAN is a timing module in which it is possible to verify concurrent software with hard real time constraints.

This presentation has been given during the COST-247 6th Management Committee Meeting (Budapest, Hungary, October 26-27, 1995).

COST-247 Working Group(s): 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page