Conference: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
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.
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].
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.