Developing implementations of Estelle specifications using the PEDS toolkit

Author

Majurski, William

Author_Institution

Nat. Inst. of Stand. & Technol., Gaithersburg, MD, USA

fYear

1991

fDate

24-27 Jun 1991

Firstpage

141

Lastpage

147

Abstract

Estelle is used to formally specify communication protocols and distributed systems with the intent of removing ambiguities. The author describes the PEDS toolkit, based on the NBS prototype Estelle compiler, which automatically creates distributed implementations from Estelle specifications. He describes a mapping of Estelle semantics to BSD Unix system primitives and a development environment for use with the prototype compiler

Keywords

formal specification; program compilers; protocols; software tools; specification languages; telecommunications computing; BSD Unix system primitives; Estelle semantics; Estelle specifications; NBS prototype Estelle compiler; PEDS toolkit; communication protocols; development environment; distributed implementations; distributed systems; prototype compiler; Distributed computing; Formal specifications; Laboratories; NIST; Protocols; Prototypes; Standards development; Standards organizations; System testing; Virtual prototyping;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1991. COMPASS '91, Systems Integrity, Software Safety and Process Security. Proceedings of the Sixth Annual Conference on

Conference_Location

Gaithersburg, MD

Print_ISBN

0-7803-0126-9

Type

conf

DOI

10.1109/CMPASS.1991.161053

Filename

161053