home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / specific / 318 < prev    next >
Encoding:
Text File  |  1992-07-22  |  3.9 KB  |  130 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.92Jul22171739@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:17:39 GMT
  11. Lines: 117
  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. questionnaire listed below (a sample filled questionnaire is also included).
  19.  
  20. Please send your answer by e-mail to:
  21.  
  22.  
  23.        Dr. Arturo Azcorra               
  24.        Dpto. Telematica              
  25.        E.T.S.I. Telecomunicacion   
  26.        Ciudad Universitaria        
  27.        E-28040  MADRID             
  28.        SPAIN
  29.  
  30.  
  31.    tel: +34 1 5495700          E-mail: aazcorra@dit.upm.es
  32.         +34 1 5495762
  33.         ext: 375, 368               
  34.    fax: +34 1 5432077          tlx:    47430 ETSIT E
  35.  
  36. _______________________________________________________________________________
  37.  
  38.                                  QUESTIONNAIRE
  39. _______________________________________________________________________________
  40.  
  41. + Tool Name:
  42. + Institution and contact person:
  43. + Tool Description:
  44. + Subset of LOTOS accepted:
  45. + System Requirements:
  46. + Approximate Performance:
  47. + Other software required:
  48. + Reliability:
  49. + Tool Usage Documentation:
  50. + Other information:
  51. _______________________________________________________________________________
  52.  
  53.                                     EXAMPLE
  54. _______________________________________________________________________________
  55.  
  56. + Tool Name:  Mega-Tool
  57.  
  58. + Institution and contact person:
  59.   Jeff O'Vazquez
  60.   University of the Imaginary City
  61.   WONDERLAND 31416
  62.   Tel: +1313 1515
  63.   e-mail: ovazquez@myhost.mydomain.won
  64.  
  65. + Tool Description:
  66.  
  67.   It verifies the liveness of the specification and also removes redundant
  68.   behavior expressions, if any. The tool also contains a step by step simulator
  69.   and a test generation tool.
  70.  
  71. + Subset of LOTOS accepted:
  72.  
  73.   Full LOTOS with no dynamic creation of parallel processes (static parallel
  74.   architecture). Some restrictions on data types (only finite sorts).
  75.  
  76. + System Requirements:
  77.  
  78.   The tool runs under the following configurations:
  79.   * SUN-4 with SUN-OS 5.3 (10 Mbyte of disk space.)
  80.   * DEC-station DECIX 5.9 (10 Mbyte of disk space.)
  81.  
  82. + Approximate Performance:
  83.  
  84.   Running on a SUN-4 with 64 Mbyte of RAM:
  85.     + Liveness verification of a 2000 line specification
  86.       Around 20 minutes (CPU time) and 20 Mbytes of swap space
  87.     + Removal of redundant behavior expressions for a 2000 line specification
  88.       From 1 to 10 hours (CPA time) and from 2 to 30 Mbytes of swap space
  89.  
  90. + Other software required:
  91.  
  92.   * LISA tool (for syntax and static semantics analysis)
  93.   * Super-Soft Lisp interpreter.
  94.  
  95. + Reliability
  96.   
  97.   * Version 1.0 released two years ago: 6 errors detected
  98.   * Version 2.0 released one year ago: 1 error detected
  99.   * Version 3.0 released six months ago: no errors reported up to date
  100.  
  101. + Tool Usage Documentation
  102.  
  103.   * User's guide: 100 pages
  104.   * Reference manual: 200 pages
  105.   * Installation guide: 50 pages
  106.   * Examples: 300 pages
  107.   * Related articles/reports: 60 pages
  108.  
  109. + Other information:
  110.  
  111.   * The tool is available through anonymous ftp at trantor.vialactea.zz, but
  112.     the documentation cost is 500 ECU.
  113.   
  114. --
  115.  
  116.  
  117.        Dr. Arturo Azcorra               
  118.        Dpto. Telematica              
  119.        E.T.S.I. Telecomunicacion   
  120.        Ciudad Universitaria        
  121.        E-28040  MADRID             
  122.        SPAIN
  123.  
  124.  
  125.    tel: +34 1 5495700          E-mail: aazcorra@dit.upm.es
  126.         +34 1 5495762                  aazcorra@goya.uucp
  127.         ext: 375, 368               
  128.    fax: +34 1 5432077          tlx:    47430 ETSIT E
  129.  
  130.