[T2] _________________________ AMAST Links 01 03

TOPO: Toolset to support product realization from LOTOS specifications

The full version of this announcement is available.

Release 3R5 of TOPO tool set is available from the Lotos Tools Development Team, topo@dit.upm.es, Dept. Ingenieria Telematica, Technical University of Madrid & E.T.S.I. Telecomunicacion, Ciudad Universitaria, E-28040 Madrid, SPAIN, by anonymous ftp .

TOPO is distributed as free software for non-profit use, or may by special arrangement be obtained commercially.

TOPO, the toolset: TOPO is really a bunch of tools to help in design with LOTOS. Every tool is conformant to IS 8807, the ISO standard, and most deal with full LOTOS.

Applications

• Rapid prototyping.
• Validation.
• Specification animation.
• Specification validation by running test suites.
• Product realization.

Tool summary:

• syntax checker
• pretty printer (warning: no comments)
• static semantics checker
• C and Ada code generation for data and behaviour
• data types analysis (hierarchies, and so ...)
• objects cross reference listing
• data type annotating tool, to link LOTOS data objects to others
• data interpreter, for debugging
• behaviour interpreter library (warning: basic lotos)
• data types test suite specification language, and translator
• LOTOS behaviour test generator (warning: basic LOTOS)
• generation of CR (Common Representation)

The tools may be accessed individually or under a shell interface that may be customized to concrete user needs. There is also a number of tools provided by other organisations.