Topo (Toolset for Product Realisation with Lotos)

Lotos Logo

See the download page to obtain this program

Disclaimer

These tools were developed by the Department of Telematics Engineering and Systems, Polytechnic University of Madrid. The copyright in the code therefore rests with UPM. Although the tools were developed up to 1993, they remain very useful and have been extensively used by the distributor in his research.

The distributor has taken the original version 3.7 of the tools and ported it to run under CygWin on Microsoft Windows (Windows XP and 7 known to work, later versions probably OK). The tools have also been ported to Debian Linux. The binary ports are made available as a convenience to others. Apply to Prof. Juan Quemada if you wish to make use of the source code.

Description

Topo is a front-end to a variety of Lotos tools. These include glad (General Language to Annotate Data, data compilation), ildi (Interactive Lotos Data Interpreter, data analyser), lfe (Lotos Front End, syntax analyser), lola (Lotos Laboratory, simulation and testing), and lsa (Lisa Static Analyser, static semantics checking). The tools can be used individually or through Topo.

The accompanying binary distribution has been compiled against CygWin 1.7 (binaries in topo/bin-cygwin). A fairly minimal subset of CygWin should be sufficient to run Topo. The tools have also be compiled against Debian 6 (binaries in topo/bin-linux). For convenience, name the appropriate binary directory as topo/bin

Small technical changes have been made during porting:

Usage

Installation requires the eps (parsing), lola (simulator) and topo (front-end) directories to be placed anywhere convenient (e.g. /usr/local). The environment variable PATH should be set to include the Topo binary directory (e.g. /usr/local/topo/bin). The environment variable TOPO should be set to wherever Topo is installed (e.g. /usr/local/topo).

See lola/doc and topo/doc for more information on how to call the tools. As an example, the following will check and simulate myspec.lot using the International Standard Lotos library:

    topo myspec.lot -lola -l is
  

History

First public port (version 3.7.2) Ken Turner, 2nd February 2011

Second public port (version 3.7.3) Ken Turner, 15th February 2012

Third public port (version 3.7.3) Ken Turner, 11th October 2012


Up Arrow Up one level to LOTOS Utilities

Web Ken Turner Home   Email    Search Search Web Pages

Last Update: 18th July 2016
URL: http://www.cs.stir.ac.uk/~kjt/software/lotos/topo.html