Subject: LOTOS tools

From: christoph welte <[email-masked]>
Date: Thu, 2 Feb 1995 14:30:52 +0100 (MET)

> we are working in the cleopatra esprit project.
> we would like to use lotos for specification and programming for
> a multiprocessor network of DSPs. we examined MiniLite,
> but we are a little bit disappointed.
 
some additional questions ...
 
we examined GLD. we like the DART part of a specification. 
in our systems, a process can be viewed as a efsm. A typical
graphical representation looks like:

	 +++++++
	+ state +   <----------------------------
	 +++++++				|
	    |					|
	    | 	gate ? event			|
	    |					|
	    v					|
	------------------------		|
	| action as comment    |		|
	| or C annotation      |		|
	| or gate ! event      |		|
	------------------------		|
	    |					|
	    |					|
            v					|
	 ++++++++++				|
	+ newstate +				|
	 ++++++++++			      	|
	    |			gate ? event2 	|
	    |-----------------------------------|
	    |
	    | gate ? event
	    |
	    v
 
this can be specified using LOTOS. using g-lotos, this structure is no
longer visible.
are there tools to draw LOTOS processes as efsm in a similar way ?

for use in multiproessor systems, typically software described
by one LOTOS specification is to be generated !? is it possible
to simulate or combine a number of "specification", connected using
their interfaces ? 

regards
chritoph welte
 
------------------------------------------------------------------
Christoph Welte                         email:  [email-masked]
perimos                                 Tel:    (+49)731/142339
Schillerstrasse 18                      Fax:    (+49)731/142335
89077 Ulm
Germany
------------------------------------------------------------------