Title :
Developing implementations of Estelle specifications using the PEDS toolkit
Author :
Majurski, William
Author_Institution :
Nat. Inst. of Stand. & Technol., Gaithersburg, MD, USA
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;
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
DOI :
10.1109/CMPASS.1991.161053
