From complex specifications to a working prototype. A protocol engineering case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2021 LNCS, Issue , 2001, Pages 436-448

  Fernández Iglesias, Manuel J ^a,b   González Castão, Francisco J ^a,c   Pousada Carballo, José M ^a   Llamas Nistal, Martín ^a   Romero Feijoo, Alberto ^a  

^a UNIVERSITY OF VIGO   (Spain)

^b INTERNATIONAL COMPUTER SCIENCE INSTITUTE   (United States)

^c University of Wisconsin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN PHASIS; FORMAL DESCRIPTION TECHNIQUE (FDTS); GSM NETWORKS; INTERNATIONAL STANDARDIZATION ORGANIZATION; PROTOCOL ENGINEERING; SPEED UP; TOPO;

SOFTWARE ENGINEERING; SPECIFICATIONS; COMPLEX NETWORKS;

COMPLEX NETWORKS; FORMAL METHODS;

EID: 21144452076     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (39)

1. Bieber, P.: Formal Techniques for an ITSEC-E4 Secure Gateway, Procs. of the 12th, Annual Computer Security Applications Conference, IEEE Computer Society Press, 1996.
2. Bowen, J., Hinchey, M.: Seven more myths of formal methods, IEEE Software, 12(4) (1995) 34-41.
3. Butler, R., Miller, S., Potts, J., Carrẽo, V. A.: A Formal Methods Approach to the Analysis of Mode Confusion, in: Procs. of the 17th AIAA/IEEE Digital Avionics Systems Conferenfce, 1998.
4. Easterbrook, S., Callahan, J.: Formal Methods for V&V of Partial SpeciFIcations: An Experience Report, in: Procs. of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), IEEE Computer Society Press, 1997.
5. Ehrig, H., Mahr, B.: Fundamentals of algebraic specification 1, EATCS Monographs on Computer Science, Springer Verlag, 1985.
6. ETSI: GSM 03.22: Functions related to mobile station (MS) in idle mode and group receive mode, Digital cellular telecommunications system (Phase 2+) standards suite, ETSI Technical Report ETR 300 930, 1997.
7. ETSI: GSM 04.07: Mobile radio interface signalling layer 3. General aspects, Digital cellular telecommunications system (Phase 2+) standards suite, ETSI Technical Report ETR 300 939, 1997.
8. Fernández-Iglesias, M. J., Llamas-Nistal, M.: Algebraic Specification through Expression Transformation, in: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A., (Eds.), Procs. of the Joint Conference FORTE/PSTV'97, Chapman & Hall, 1997, 355-366.
9. González-Castão, F. J., Romero-Feijoo, A. et al: Real-Time Interceptor for the GSM Protocol, Technical Report UV/DTC/GRPILF00, Departamento de Tecnologías de las Comunicaciones. Universidad de Vigo, 2000.
10. Grant, H.: Managing electromagnetic compatibility between wireless and medical devices, Compliance Engineering, may-june (1999) 26-31.
11. Hall, J. A.: Seven myths of formal methods, IEEE Software, 7(5) (1990) 11-19.
12. Hao, R., Lee, D., Sinha, R. K., Vlah, D.: Testing IP Routing Protocols. From Probabilistic Algorithms to a Software Tool, in: Bolognesi, T., Latella, D. Formal Methods for Distributed System Developmen t, Kluwer Academic Publishers, 2000, 249-266.
13. Haxthausen, A. E., Peleska, J.: Formal Development and Verification of a Distributed Railway Control System, IEEE Transactions on Software Engineering, 26(8) (2000) 687-701.
14. Hoare, C. A. R.: Communicating Sequential Processes, Prentice-Hall, 1985.
15. Holloway, C. M.: Why Engineers Should Consider Formal Methods, in: Procs. Of the 16th AIAA/IEEE Digital Avionics Systems Conference, vol. 1, 1.3-16 - 1.3-22, 1997.
16. Holloway, C. M., Butler, R.: Impediments to Industrial Use of Formal Methods, IEEE Computer, 29(4), (1996) 25-26.
17. Holzmann, G.: Design and Validation of Computer Protocols, Prentice Hall, 1991
18. Holzmann, G.: Proving the Value of Formal Methods, Procs. of the 7th. Intl. IFIP Conf. on Formal Description Techniques, FORTE'94, North Holland, 1994.
19. ISO: ESTELLE: A formal description technique based on the extended state transition model, International Standard 9074, International Standardization Organization, 1989.
20. Leduc, G., Bonaventure, O., Koerner E., Léonard, L., Pecheur, C., Zanetti, D.: Specification and Verification of a TTP Protocol for the Conditional Access to Services, in: Procs. of the 12th. J. Cartier Workshop on Formal Methods and their Applications, 1996.
21. ISO: LOTOS: A formal description technique based on the temporal ordering of observational behavior, International Standard 8807, International Standardization Organization, 1988.
22. ITU: SDL: Specification and Description Language, CCITT Recommendation Z.100, International Telecommunication Union, 1993.
23. Jonkers, V., Verschaeve, K., Wydaeghe, B., Coypers, L., Heirbaut, J.: OMT*,Bridging the Gap between Analysis and Design, in: Procs. of the 8th. Intl. IFIP Conf. on Formal Description Techniques, FORTE'95, North Holland, 1995.
24. Llamas-Nistal, M., Fernández-Iglesias, M. J., Burguillo-Rial, J. C., Pousada- Carballo, J. M., González-Castão, F. J., Anido-Rifón, L.: LOTOOL: A Tool for Developing, Verifying and Testing Protocols using Formal Description Techniques, in: Innovations and Quality in Education for Electrical and Information Engineering, European Association for Education in Electronic and Information Engineering, 1997, pp. F1.18-F1.23.
25. Llamas-Nistal, M., Quemada, J., Fernández-Iglesias, M. J.: Direct Verification of Bisimulations, in: Procs. of the Joint Conference FORTE/PSTV'96, Chapman & Hall, 1996.
26. Mãas, J. A., de Miguel, T.: From LOTOS to C, in: K. J. Turner, (Ed), Procs. Of FORTE'88, North Holland, 1988, 79-84.
27. Mãas, J. A., de Miguel, T., Salvachúa, J., Azcorra, A.: Tool support to implement LOTOS specifications, Computer Networks and ISDN Systems, 25 (1993) 79-84.
28. Mehrotra, A.: GSM System Engineering, Artech House, 1997.
29. Milne, G.: CIRCAL and the representation of communication, concurrency and time, ACM Trans. on Programming Languages and Systems, 7(2) (1985) 270-298.
30. Milner, R.: Calculus of communicating systems, Lecture Notes on Computer Science 92, Springer Verlag, 1980.
31. Milner, R.: Communication and Concurrency, Prentice Hall, 1989.
32. Mouly, M., Pautet, M.-B.: The GSM System for Mobile Communications, Cell & Sys, 1992.
33. de Nicola, R.: Extensional Equivalences for Transition System, Acta Informatica, 24 (1987) 211-237.
34. Pousada-Carballo, J. M., González-Castão, F. J., Isasi de Vicente, F., Fernández- Iglesias, M. J.: Jamming System for Mobile Communications, IEE Electronic Letters, 34(22) (1998) 2166-2167.
35. Pfleeger, S. L., Hatton, L.: Investigating the influence of formal methods, IEEE Computer, 30(2) (1997) 33-43.
36. Quemada, J., Pavón, S., Fernández, A.: Transforming LOTOS specification with LOLA, in: Turner, K. J., (Ed), Procs. of FORTE'88, North Holland, 1988.
37. Redl, S. M., Weber, M. K., Oliphant, M. W.: An introduction to GSM, Artech House, 1995.
38. Steinert, T., Roessler, G.: Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models, in: Bolognesi, T., Latella, D. Formal Methods for Distributed System Development, Kluwer Academic Publishers, 2000, 219-236.
39. Voas, J.: Software quality's eight greatest myths, IEEE Software, 16(5) (1999) 118-120.