Conference Paper

Tool Demonstration: A Cross Compiling Experiment: a PC Implementation of a LOTOS Spec

Authors:
To read the full-text of this research, you can request a copy directly from the authors.

Abstract

An abracadabra protocol entity is implemented in a PC running MS-DOS. The protocol was initially specified using LOTOS. After annotating it to add implementation details, a LOTOS to C compiler, TOPO, is used to generate code. This code is ported to a PC. The result is an autonomous system that will be used to demonstrate conformance testing scenarios involving the use of formal description techniques.

No full-text available

Request Full-text Paper PDF

To read the full-text of this research,
you can request a copy directly from the authors.

Chapter
The scope of this work is the industrial application of the Lotosphere methodology for distributed system design. The operational aspects of the Lotosphere methodology are described in [D02].
Conference Paper
This paper shows how LOTOS has been applied to the design and development of real communication systems in many stages of the software life cycle. These stages commence with the system analysis, and end with its final implementation. The system analysis is based on queues and simulation techniques. It is followed with several specifications of the system covering the conceptual modeling, the architectural design, and the matching to the hardware architecture. The implementation is hand made but methodologically derived from the text of the last specification of the system. The development of two satellite communication systems is presented: PRODAT (1985–87) and CODE (1989–1992). Both of them are compared from the point of view of the evolution of the engineering based on LOTOS.
ResearchGate has not been able to resolve any references for this publication.