Subject: LOLA 3R6 release announcement

From: "David Larrabeiti L." <[email-masked]>
Date: Wed, 15 Feb 1995 19:47:07 +0100

Release 3R6 of LOLA is now available at

  ftp://ftp.dit.upm.es/pub/lotos/tools/TOPO_3R6/contrib/LOLA_3R6

  including a compiled version for 386+.
  
  Regards

                   ---------------------------
                    LOLA VER:3R6 ANNOUNCEMENT
                   ---------------------------

     LOLA (LOtos LAboratory): a LOTOS-based design support tool.

                  Dpt. Ingenieria Telematica
                Technical University of Madrid
                   E.T.S.I. Telecomunicacion
                     Ciudad Universitaria
                    E-28040  Madrid, SPAIN

  LOLA (LOtos LAboratory) is an experimental tool which supports
  different aspects of LOTOS-based design. Its present performance
  enables its use with large LOTOS specifications in an efficient way.

  What's new in this release:
            + several bugs fixed.
            + new test options for non-exhaustive state space exploration 
              (bit state hashing techniques and choice random selection) and
              automatic test passing break.
            + speed and memory optimization.
            + customization facilities.
            + optionally compilable to include timing features (experimental).

  LOLA provides the following functionalities:
    
       o Debugging and step-by-step simulation of LOTOS specifications

            + User guided step-by-step execution.
            + Value expressions optionally provided by the user.
            + Automatic composition of test processes.
            + Full description of states ( process instantiations,
  	      synchronization analysis, tracing, ... ).
  
       o Verification of LOTOS specifications by state exploration
         with several optimizations:

            + Full computation of test response analysis (must, may or 
              reject) according to Testing Equivalence.
            + Symbolic state space explorations
            + Factoring out of interleaving
            + Internal action reduction according to testing equivalence
  
       o Testing and random execution of LOTOS specifications

            + Analysis of test response in random executions.
  
       o Transformation of LOTOS specifications into

            + FSM (Expansion into an equivalent Finite State Machine).
            + EFSM. (Expansion with symbolic treatment of values)
            + Plain behaviour tree (without duplicate states detection).
            + Interleaved expansion (Factoring out of interleaving).
  
       o Data value expressions evaluation.
  
       o Two user interfaces available:

            + Textual interface.
            + Graphical interface based on X-windows.
  
    It provides therefore automatic batch and full-interactive support
    to several activities of a LOTOS based design cycle .
  
  Coverage: Full LOTOS (IS-8807).
  
  Runs on:  + Sun-3, Sun-4 (sparc) with SunOS 4.0.3 or Solaris 2.3.
            + IBM-PC or compatible (386 or 486 required) with DOS. 
            + HP-9000 with HP-UX. 
  
  Installation: See files install.* in the distribution directory. 

  Distribution:
  
    LOLA is part of the DIT-UPM LOTOS toolset and is integrated with the
    TOPO LOTOS tool set under which it runs, using its static semantics
    analyser. This package is necessary to run LOLA.

    LOLA is distributed as free software for non-profit use,
    and can be obtained from the addresses below.
  
    o On the network.
      LOLA is obtainable via anonymous ftp from
        host             IP address      directory
        --------------   -------------   -------------------------------
        ftp.dit.upm.es   [138.4.2.10]    lotos/tools/TOPO_.../contrib/
        --------------   -------------   --------------------------------
      where ... stands for the version.
  
    o On a streamer.
      Send us two standard Sun streamers (QIC-11, 600ft)
      LOLA will be loaded into one of them, and returned to you.
      The other streamer will be retained as payment for administrative
      costs.

  Please send your comments, questions, bug-reports and results to : 
       <[email-masked]>
       <[email-masked]>
       <[email-masked]>
       <[email-masked]>
  
  ----------------------------------------------------------------
  
  Dpt. Ingenieria Telematica
  Technical University of Madrid
  E.T.S.I. Telecomunicacion
  Ciudad Universitaria
  E-28040  Madrid, SPAIN