Protocol Compilers

ccastel@django.inria.fr (Claude Castelluccia)
9 Dec 1995 19:31:53 -0500

          From comp.compilers
Related articles
Protocol Compilers ccastel@django.inria.fr (1995-12-09)
| List of all articles for this month |
From: ccastel@django.inria.fr (Claude Castelluccia)
Newsgroups: comp.compilers
Date: 9 Dec 1995 19:31:53 -0500
Organization: INRIA, Sophia-Antipolis (Fr)
Keywords: question

--


Hi all,


I am designing (in the context of the HIPPARCH project) a tool,
HIPPCO, which generates from Formal Descriptions of protocols (we are
using Esterel as specification language) efficient implementations. I
know that there are other projects designing similar tools from FDT
s.a. Estelle, SDL or LOTOS, and I'd like to learn more about those
projects and tools.


If you know any of those tools, could you, please, send me pointers on
them and tell me your impressions. I'm particulary interested in
knowing, if those tools generate implementations that are:
  -complete or partial
  -performance (compared to manual implementations)




If I receive enough answers, I will compile them and post the result in
this news-group. Thanks in advance.


Claude.






~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
        Claude Castelluccia castelluccia@sophia.inria.fr


        INRIA -- Projet RODEO
        B.P. 93, 06902 Sophia-Antipolis Cedex FRANCE
        Tel: +33 93 65 78 09
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.