From: azcorra@dit.upm.es (Arturo Azcorra)
Subject: LOTOS Tool Survey
Organization: Dept. Ingenieria de Sistemas Telematicos, UPM, Madrid, Spain.
Distribution: comp.specification
Date: Wed, 22 Jul 1992 16:13:55 GMT

The Department of Telematics of the Universidad Politecnica de Madrid is
carrying out a survey on currently available LOTOS tools. It is required that
the tool supports the standard definition of the language or subsets of it.

Any institution wishing to appear in the survey should fill out, briefly, the
following questionnaire (an sample filled questionnaire is also included):
_______________________________________________________________________________

                                 QUESTIONNAIRE
_______________________________________________________________________________

+ Tool Name:
+ Institution and contact person:
+ Tool Description:
+ Subset of LOTOS accepted:
+ System Requirements:
+ Approximate Performance:
+ Other software required:
+ Reliability:
+ Tool Usage Documentation:
+ Other information:
_______________________________________________________________________________

                                    EXAMPLE
_______________________________________________________________________________

+ Tool Name:  Mega-Tool

+ Institution and contact person:
  Jeff O'Vazquez
  University of the Imaginary City
  WONDERLAND 31416
  Tel: +1313 1515
  e-mail: ovazquez@myhost.mydomain.won

+ Tool Description:

  It verifies the liveness of the specification and also removes redundant
  behavior expressions, if any. The tool also contains a step by step simulator
  and a test generation tool.

+ Subset of LOTOS accepted:

  Full LOTOS with no dynamic creation of parallel processes (static parallel
  architecture). Some restrictions on data types (only finite sorts).

+ System Requirements:

  The tool runs under the following configurations:
  * SUN-4 with SUN-OS 5.3 (10 Mbyte of disk space.)
  * DEC-station DECIX 5.9 (10 Mbyte of disk space.)

+ Approximate Performance:

  Running on a SUN-4 with 64 Mbyte of RAM:
    + Liveness verification of a 2000 line specification
      Around 20 minutes (CPU time) and 20 Mbytes of swap space
    + Removal of redundant behavior expressions for a 2000 line specification
      From 1 to 10 hours (CPA time) and from 2 to 30 Mbytes of swap space

+ Other software required:

  * LISA tool (for syntax and static semantics analysis)
  * Super-Soft Lisp interpreter.

+ Reliability
  
  * Version 1.0 released two years ago: 6 errors detected
  * Version 2.0 released one year ago: 1 error detected
  * Version 3.0 released six months ago: no errors reported up to date

+ Tool Usage Documentation

  * User's guide: 100 pages
  * Reference manual: 200 pages
  * Installation guide: 50 pages
  * Examples: 300 pages
  * Related articles/reports: 60 pages

+ Other information:

  * The tool is available through anonymous ftp at trantor.vialactea.zz, but
    the documentation cost is 500 ECU.
  
--


       Dr. Arturo Azcorra               
       Dpto. Telematica              
       E.T.S.I. Telecomunicacion   
       Ciudad Universitaria        
       E-28040  MADRID             
       SPAIN


   tel: +34 1 5495700          E-mail: aazcorra@dit.upm.es
        +34 1 5495762                  aazcorra@goya.uucp
        ext: 375, 368               
   fax: +34 1 5432077          tlx:    47430 ETSIT E

Newsgroups: comp.specification