home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / specific / 317 < prev    next >
Encoding:
Text File  |  1992-07-22  |  3.5 KB  |  113 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!mcsun!goya!goya.uu.es!azcorra
  3. From: azcorra@dit.upm.es (Arturo Azcorra)
  4. Subject: LOTOS Tool Survey
  5. Message-ID: <AZCORRA.92Jul22171355@gaudi.dit.upm.es>
  6. Sender: usenet@goya.uu.es
  7. Nntp-Posting-Host: gaudi
  8. Organization: Dept. Ingenieria de Sistemas Telematicos, UPM, Madrid, Spain.
  9. Distribution: comp.specification
  10. Date: Wed, 22 Jul 1992 16:13:55 GMT
  11. Lines: 100
  12.  
  13. The Department of Telematics of the Universidad Politecnica de Madrid is
  14. carrying out a survey on currently available LOTOS tools. It is required that
  15. the tool supports the standard definition of the language or subsets of it.
  16.  
  17. Any institution wishing to appear in the survey should fill out, briefly, the
  18. following questionnaire (an sample filled questionnaire is also included):
  19. _______________________________________________________________________________
  20.  
  21.                                  QUESTIONNAIRE
  22. _______________________________________________________________________________
  23.  
  24. + Tool Name:
  25. + Institution and contact person:
  26. + Tool Description:
  27. + Subset of LOTOS accepted:
  28. + System Requirements:
  29. + Approximate Performance:
  30. + Other software required:
  31. + Reliability:
  32. + Tool Usage Documentation:
  33. + Other information:
  34. _______________________________________________________________________________
  35.  
  36.                                     EXAMPLE
  37. _______________________________________________________________________________
  38.  
  39. + Tool Name:  Mega-Tool
  40.  
  41. + Institution and contact person:
  42.   Jeff O'Vazquez
  43.   University of the Imaginary City
  44.   WONDERLAND 31416
  45.   Tel: +1313 1515
  46.   e-mail: ovazquez@myhost.mydomain.won
  47.  
  48. + Tool Description:
  49.  
  50.   It verifies the liveness of the specification and also removes redundant
  51.   behavior expressions, if any. The tool also contains a step by step simulator
  52.   and a test generation tool.
  53.  
  54. + Subset of LOTOS accepted:
  55.  
  56.   Full LOTOS with no dynamic creation of parallel processes (static parallel
  57.   architecture). Some restrictions on data types (only finite sorts).
  58.  
  59. + System Requirements:
  60.  
  61.   The tool runs under the following configurations:
  62.   * SUN-4 with SUN-OS 5.3 (10 Mbyte of disk space.)
  63.   * DEC-station DECIX 5.9 (10 Mbyte of disk space.)
  64.  
  65. + Approximate Performance:
  66.  
  67.   Running on a SUN-4 with 64 Mbyte of RAM:
  68.     + Liveness verification of a 2000 line specification
  69.       Around 20 minutes (CPU time) and 20 Mbytes of swap space
  70.     + Removal of redundant behavior expressions for a 2000 line specification
  71.       From 1 to 10 hours (CPA time) and from 2 to 30 Mbytes of swap space
  72.  
  73. + Other software required:
  74.  
  75.   * LISA tool (for syntax and static semantics analysis)
  76.   * Super-Soft Lisp interpreter.
  77.  
  78. + Reliability
  79.   
  80.   * Version 1.0 released two years ago: 6 errors detected
  81.   * Version 2.0 released one year ago: 1 error detected
  82.   * Version 3.0 released six months ago: no errors reported up to date
  83.  
  84. + Tool Usage Documentation
  85.  
  86.   * User's guide: 100 pages
  87.   * Reference manual: 200 pages
  88.   * Installation guide: 50 pages
  89.   * Examples: 300 pages
  90.   * Related articles/reports: 60 pages
  91.  
  92. + Other information:
  93.  
  94.   * The tool is available through anonymous ftp at trantor.vialactea.zz, but
  95.     the documentation cost is 500 ECU.
  96.   
  97. --
  98.  
  99.  
  100.        Dr. Arturo Azcorra               
  101.        Dpto. Telematica              
  102.        E.T.S.I. Telecomunicacion   
  103.        Ciudad Universitaria        
  104.        E-28040  MADRID             
  105.        SPAIN
  106.  
  107.  
  108.    tel: +34 1 5495700          E-mail: aazcorra@dit.upm.es
  109.         +34 1 5495762                  aazcorra@goya.uucp
  110.         ext: 375, 368               
  111.    fax: +34 1 5432077          tlx:    47430 ETSIT E
  112.  
  113.