An industrial experience on LOTOS-based prototyping for switching systems design
This paper summarizes the experience obtained in the definition of a LOTOS based development methodology and its pragmatic introduction in common industrial practice.
The work has been done within a technology transfer model where the development of medium-to-large size case studies plays a predominant role. A case study, development of a gateway between DSS1 and SS7 ISDN signalling systems, was chosen as a representative example of industrial product in the switching application domain. The case study was developed by automatic code generation from a LOTOS specification. Later, its functionality was enhanced to provide demo facilities in order to evaluate the development approach.
From this experience a practical methodology to combine LOTOS with conventional techniques has been defined.
KeywordsLife Cycle Model Abstract Data Type Evolutionary Process Model Automatic Code Generation Spiral Model
Unable to display preview. Download preview PDF.
- 1.IEEE-Software Special Issue on Formal Methods, September 1990.Google Scholar
- 2.ISO/EC: Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO/IEC 1988.Google Scholar
- 3.G. León. On the Technology Transfer of Formal Methods: An Experience on LOTOS. In FORTE'90, Madrid.Google Scholar
- 4.A. Cazorla, J.C. Moreno. Manual de metodología del proyecto TESYS-B (in Spanish). Telefónica I+D, TESYS-B-0000-0055-MOP, internal report, April 1990.Google Scholar
- 5.The Lotosphere ConsortiumThe Lotosphere Integrated Tool Environment Lite. In FORTE'91, Sydney.Google Scholar
- 6.E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS Specifications, Their Implementations and Their Test. In sixth International Workshop on Protocol Specification, Testing and Verification. Montreal, June 1986.Google Scholar
- 7.G. León, J.C. Yelmo. On the intertwining of FDTs and conventional software development processes for communication systems: an incremental approach. Proceedings of the V International Conference on Software Engineering and its Applications, Toulouse, December 1992.Google Scholar
- 8.Barry W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE Computer, May 1988.Google Scholar
- 9.Barry W. Boehm. Software risk management: principles and practice. IEEE software, January 1991.Google Scholar
- 10.C. Miguel, A. Fernández, J.M. Ortuño and L. Vidaller. A LOTOS based Performance Evaluation Tool. To be published in the Forthcoming Special Issue of” Computer Networks and ISDN Systems” on TOOLS FOR FDTs, 1992.Google Scholar
- 11.CCITT Q.699: Interworking between digital subscriber signalling system layer 3 protocol and the signalling system no. 7 ISDN user part. Blue book 1988.Google Scholar
- 12.J. Sánchez, G. León.PTD: Architectural System Description Support Based on Visual Specification Languages. The EUROMICRO Journal, Sept 1992.Google Scholar
- 13.J. Quemada, S. Pavon and A. Fernández. Transforming LOTOS specifications with LOLA-The Parameterized Expansion. In FORTE'88, Stirling.Google Scholar
- 14.J. Mañas and T. de Miguel. From LOTOS to C. In FORTE'88, Stirling.Google Scholar
- 15.Bellcore TR-TSV-000772. Generic System Requirements in support of Switched Multi-Megabit Data Service. Issue 1, May 1991.Google Scholar