5th International Workshop on
Formal Methods for Industrial Critical Systems
Berlin, April 3-4, 2000
Experiences with Tool development of SDL in Combination with
ASN.1 for Communication Protocol Applications
Formal description techniques are used for the documentation and
verification of complex distributed communication systems. With
respect to the goal to describe such systems there are different
standardized languages, e.g. SDL and ASN.1. It is even possible
to generate executable programs from such specifications. This
paper presents research results of the application of SDL in combination
with ASN.1 with a tool environment called SITE, where
the focus is set to the ASN.1 combination. SITE is successful used
in different research as well as industrial projects.
Note: The content of the following files is part of
GMD Report No. 91
and subject to its copyright.
ERCIM FMICS Home Page,
GMD FOKUS Home Page
Last modified: Wednesday, 19-Apr-2000 08:57:51 MET DST,
Axel Rennoch