Abstract
Protocol engineering is a branch of software engineering involved in the rigorous design, specification, verification, implementation and testing of communication protocols using formal methods. Teaching of protocol engineering in honours year (fourth year of the undergraduate course) at La Trobe University is conducted both by formal lectures and project supervision. A course by the name of “Protocol Engineering” has been taught since 1989. Students in their honours year have to do a substantial project under the supervision of a lecturer. This paper discusses the structure of the course, the experience of supervising honours projects in protocol engineering, and the improvements to be made in the future.
Preview
Unable to display preview. Download preview PDF.
References
Advances in Petri Nets, Lecture Notes in Computer Science, Springer Verlag, 1983–1991.
Ang, C.C., and County, E.J.P., “Modelling the OSI FTAM Protocol”, Proceedings of the International Conference on Modelling and Simulation, Melbourne, Australia, Oct., 1987.
Ang, C.C., Jordan, V., and Dillon, T.S., “Application of Petri Nets to Specify and Verify ISO CASE Protocols”, Proceedings of the second International Symposium on Interoperable Information Systems, Japan, 1988.
Billington, J., Wheeler, G.R., and Wilbur-Ham, M.C., “PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols”, IEEE Transactions on Software Engineering, Vol. 14, No. 3, March 1988.
Chiola, G., “A Software Package for the Analysis of Generalised Stochastic Petri Net Models“, Proceedings of International Workshop on Timed Petri Nets, IEEE Computer Society Press, 1985.
Coes, L. “Science, Mathematics, and Student Values”, Special Issue on Engineering Education, IEEE Communication Magazine, Dec., 1990.
Everitt, H.J., “Temporal Logic as a Query Language for PROTEAN's Reachability Graphs”, Switched Networks Research Branch Paper 147, Telecom Research Laboratories, 1988.
Garavel, H., Sifakis, J.,“Compilation and Verification of LOTOS Specification”, Proceedings of tenth International Symposium on Protocol Specification, Testing and Verification, North-Holland, 1990.
Holzmann, G.J., Design and Validation of Computer Protocols, Prentice-Hall, 1991.
ISO 8073, “Information Processing Systems — Open Systems Interconnection — Transport Service Protocol”.
ISO 8571, “Information Processing Systems — Open Systems Interconnection — File Transfer, Access and Management”.
ISO 8649, “Information Processing Systems — Open Systems Interconnection — Association Control Service Element”.
ISO 8807, “Information Processing Systems — Open Systems Interconnection — LOTOS — A formal description Technique based on Temporal ordering of observational behaviour”.
ISO 8824, “Information Processing Systems — Open Systems Interconnection — Specification for Abstract Syntax Notation 1”
ISO 8832, “Information Processing Systems — Open Systems Interconnection — Specification of the Basic Class Protocol for Job Transfer and Manipulation”
ISO 9041, “Information Processing Systems — Open Systems Interconnection — Virtual Terminal Protocol”
ISO 9066, “Information Processing Systems — Open Systems Interconnection — Reliable Transfer Service Element”
ISO 9074, “Information Processing Systems — Open Systems Interconnection — Estelle — A formal description Technique based on an Extended State Transition Model”.
ISO 9596, “Information Processing Systems — Open Systems Interconnection — Common Management Information Protocol Specification”
Lai, R., O'Connor, D. “Automatic Implementation of Communication Protocols Based on Petri Nets”, Proceedings of Second International Conference on Computer Network: Towards Network Globalisation, Singapore, G.S. Poo (Editor), pp103–107, World Scientific, Sept, 1991.
Lai, R., Kok, E. “Specification and Verification Results for ISO JTM Protocol”, Proceedings of Second International Conference on Computer Network: Towards Network Globalisation, Singapore, G.S. Poo (Editor), pp295–300, World Scientific, Sept, 1991.
Lai, R., Lo, A.“Specifying ISO FTAM Basic File Protocol in LOTOS”, Proceedings of Second International Conference on Computer Network: Towards Network Globalisation, Singapore, G.S. Poo (Editor), pp232–237, World Scientific, Sept, 1991.
Lai, R., Lo, A.,“An Analysis of ISO FTAM Basic Protocol Specified in LOTOS”, Proceedings of Fifteenth Australian Computer Science Conference, C.D. Keen (Editor), World Scientific, 1992.
Lai, R., Galbiati, G., “A Simulation of ISO Virtual Terminal Protocol Specified in LOTOS”, accepted for publication in the proceedings of international conference on Communication Technology to be held in Beijing, China in Sept, 1992.
Lai, R., Shumanov, V., “Automatic Implementation of Communication Protocol Using TOPO”, submitted to Singapore International Conference on Communication Systems to be held in September in Nov, 1992.
Louie, S., Lai, R., Dillon, T.S., “Test Sequence Generation for Conformance Testing of OSI Protocols”, Proceedings of Second International Conference on Communication Systems, Communication Systems: Towards Global Integration, Singapore, S.P. Yeo (Editor), pp2.3.1–2.3.5, Elsevier Science Publishers B.V., Nov., 1990.
Manas, J.A., de Miguel, T., “From LOTOS to C”, Proceedings of first International Conference on Formal Description Techniques, North-Holland, 1988.
New, D., Amer, P.D., “Protocol Visualization of Estelle Specification”, Proceedings of Third International Conference on Formal Description Techniques, North-Holland, 1990.
Quemada, J., Pavon, S., Fernandez, A., “Transforming LOTOS specification with LOLA: the parameterized expansion”, Proceedings of the 1st international conference on FDTs, Stirling, UK, 6–9sept. 1988, North-Holland.
Marsan, M.A., Balbo, G., Conte, G., “A Class of Generalised Stochastic Petri Nets for the Performance of Multiprocessor Systems,”, ACM Transactions on Computer Systems, May, 1984.
Petersen, J.L., Petri Nets Theory and Modelling of Systems, Prentice-Hall, Englewood Cliffs, N.J., 1981.
Proceedings of the Second to Eleventh International Symposium on Protocol Specification, Testing and Verification, 1982–1991, North-Holland.
Proceedings of the First to Fourth International Conference on Formal Description Techniques, 1988–1991, North-Holland.
Reisig, W., Petri Nets: An Introduction, Springer-Verlag, 1985.
Sifakis, J., Proceedings of First International Workshop on Automatic Verification Methods for Finite Systems”, Lecture Notes in Computer Science, Springer-Verlag, 1989.
Symons, F.J.W., “Modelling and Analysis of Communication Protocols using Numerical Petri Nets” PhD Thesis, Department of Electrical Engineering Science and Telecommunications, University of Essex, May, 1978.
Tarnay, K., Protocol Specification and Testing, Plenum Press, 1991.
Tridgell, P.K., “A Study of Advanced Reachability Analysis of Numerical Petri Nets”, Switched Networks Research Branch paper 110, Telecom Research Laboratories, Australia, 1987.
Vuong, S.T., Cowan, D.D., “Reachability Analysis of Protocols with FIFO Channels”, SIGCOM'83 Symposium, Communication Architectures and Protocols, ACM, pp. 49–57, March, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lai, R. (1992). Teaching protocol engineering in honours year. In: Sledge, C. (eds) Software Engineering Education. SEI 1992. Lecture Notes in Computer Science, vol 640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55963-9_46
Download citation
DOI: https://doi.org/10.1007/3-540-55963-9_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55963-4
Online ISBN: 978-3-540-47330-5
eBook Packages: Springer Book Archive