🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.protocols.iso
Article #90

auto-implementation of iso protocols

#90
From: wongm
Date: Wed, 08 Apr 1992 11:49
52 lines
2685 bytes
I am a beginner in the area of ISO protocols development.
Currently I am undertaking a project which consisits of the 
following tasks :

1) specify one of the ISO Application Protocol in Estelle, and run
   it through Estelle to C compiler (ec). Ec is an Estelle compiler
   developed by BULL S.A and MARBEN and was developed in France.

2) simulate it with the edb tool to verify the correctness of the
   spec.

3) if no error in 2) then I will have to finish up the implementation
   part of the project, with the part of the codes generated by ec
   compiler.


My questions are :

1) Since I have to do the implementation on the system I am using
   (SunOS4), I will have to do some extra coding for system-dependent
   sections. 
   To actually have the final system installed on the system, I
   will need to have access to Estelle Implementation Kernel, local
   system libraries, with all the codes linked into a final system.
   However, the Estelle Implementation Kernel for Unix is available 
   for internal use at BULL, due to appropriate BULL-MARBEN agreement.
   SO, I would like some advice and pointers on the experience in this
   area, ie the final linking of all separate modules into the final
   system, and the working experience with EC Estelle Implementation
   Kernel as well as the whole EC system.

2) Secondly, I will try linking the codes generated by EC into the
   local system in the ISODE system. So, I wonder has anyone had
   experience in (semi) auto-implementation of ISO protocols where
   the generated codes are obtained by a different Estelle system,
   and then integrated into local sytem with ISODE service functions
   supports.

3) Has anyone out there used EC b4 ?

   Note that, I am only interested in the Application Protocols, so
   anyone who has experience in the development and implementation
   of this area, please drop me a line.

   Finally, I hope all the kind-hearted people can give me some help
   and hints for the whole global picture ! Please email me for the
   valuable advices, and thanks in advance !!


   - wongm@latcs1.lat.oz.au,
	 wongm@lemming.lat.oz.au.
Technical Details
Message-ID: <1992Apr8.114949.8778@latcs1.lat.oz.au>
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!luga!latcs1!latcs5.lat.oz.au!wongm

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!luga!latcs1!latcs5.lat.oz.au!wongm
From: wongm@latcs1.lat.oz.au ( )
Newsgroups: comp.protocols.iso,comp.protocols.iso.dev-environ
Subject: auto-implementation of iso protocols
Message-ID: <1992Apr8.114949.8778@latcs1.lat.oz.au>
Date: 8 Apr 92 11:49:49 GMT
Sender: news@latcs1.lat.oz.au (news)
Organization: Comp Sci, La Trobe Uni, Australia
Lines: 52
Originator: wongm@latcs5.lat.oz.au
Nntp-Posting-Host: latcs5.lat.oz.au