Abstract
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.
This work has been partly sponsored by the Spanish CDTI (Technological and Industrial Development Center) within the MEDAS (Advanced Methodology for Communication Systems Development) research project.
Preview
Unable to display preview. Download preview PDF.
References
IEEE-Software Special Issue on Formal Methods, September 1990.
ISO/EC: Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO/IEC 1988.
G. León. On the Technology Transfer of Formal Methods: An Experience on LOTOS. In FORTE'90, Madrid.
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.
The Lotosphere ConsortiumThe Lotosphere Integrated Tool Environment Lite. In FORTE'91, Sydney.
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.
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.
Barry W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE Computer, May 1988.
Barry W. Boehm. Software risk management: principles and practice. IEEE software, January 1991.
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.
CCITT Q.699: Interworking between digital subscriber signalling system layer 3 protocol and the signalling system no. 7 ISDN user part. Blue book 1988.
J. Sánchez, G. León.PTD: Architectural System Description Support Based on Visual Specification Languages. The EUROMICRO Journal, Sept 1992.
J. Quemada, S. Pavon and A. Fernández. Transforming LOTOS specifications with LOLA-The Parameterized Expansion. In FORTE'88, Stirling.
J. Mañas and T. de Miguel. From LOTOS to C. In FORTE'88, Stirling.
Bellcore TR-TSV-000772. Generic System Requirements in support of Switched Multi-Megabit Data Service. Issue 1, May 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
León, G., Yelmo, J.C., Sánchez, C., Carrasco, F.J., Gil, J.J. (1993). An industrial experience on LOTOS-based prototyping for switching systems design. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024640
Download citation
DOI: https://doi.org/10.1007/BFb0024640
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56662-5
Online ISBN: 978-3-540-47623-8
eBook Packages: Springer Book Archive