Subject: LOTOS tools

From: christoph welte <[email-masked]>
Date: Wed, 1 Feb 1995 17:18:56 +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.

-	no good graphical representation (G-LOTOS)
-	no modularity
-	unefficient code generation
-	no real realtime functionality or possibilities ?

are there other tools (outside of esprit) available ?
we would like to use:

-	graphical display and edit functions.
	-	visualisation of state machines
-	modularity
	-	validation and specification of single "processes"
	-	independent implementation of modules
-	simualtion in a multiprocessor system

best regards
chritoph welte

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