Credit points: 15

Subject outline

Its aim is to impart to students knowledge and skills in developing communication protocols and in analysing the performance of computer systems using formal techniques.   Main topics include Communication protocol development methodology, informal specification, formal specification, communication modelling and analysis protocol verification, Formal Description Techniques, Extended Finite State Machine, Coloured Petri Nets, reachability analysis, verification methodology, protocol properties, verification tool, conformance testing, interoperability testing, Computer-Aided Tool, performance analysis, performance Stochastic process, modelling techniques like Generalised Stochastic Petri Nets and Markov Chains, Poisson Process, Exponential probability density function, Cumulative probability function, performance analysis tool, performance index .

SchoolSchool Engineering&Mathematical Sciences

Credit points15

Subject Co-ordinatorRichard Lai

Available to Study Abroad StudentsYes

Subject year levelYear Level 5 - Masters

Exchange StudentsYes

Subject particulars

Subject rules

Prerequisites CSE5NEF OR admission in one of the following courses: SMICT or SMCSC. All other students require subject coordinator's approval.


Incompatible subjects CSE4PNE

Equivalent subjectsN/A

Special conditionsN/A


Resource TypeTitleResource RequirementAuthor and YearPublisher
ReadingsCommunication Protocol Specification and VerificationPreliminaryLai, R and Jirachiefpannata, AREFERENCE TEXT - A COPY IS AVAILABLE IN THE LIBRARY

Graduate capabilities & intended learning outcomes

01. Be able to explain how the communication protocol engineering methodology - comprising informal specification, formal specification, protocol verification, implementation, conformance testing, and interoperability testing - is used for developing quality communication protocol system.

Students are taught the consequence of failures of communication protocol in the field and how Communication protocol engineering can produce higher quality communication protocol product

02. Be able to implement a Formal Description Technique like Coloured Petri Nets to model a communication protocol.

Students are taught how to formally specify a communication protocol using a formal description technique like Coloured Petri Nets. Case studies will be discussed during the lectures.

03. Be able to implement a formal specification in conjunction with a computer-aided tool (eg CPNTool) to simulate the execution of a communication protocol

Students are taught verification methodology and technique and to use them in conjunction with a formal specification and a computer-aided tool like CPNTool to simulate the execution of a communication protocol. Case studies will be discussed during the lectures.

04. Be able to analyse the dynamic behaviours of a real-life communication protocol like the Association Control Service Element (ACSE) protocol

Students are taught the state table specifications, informal specifications and formal specifications of a real-life protocol like the ACSE protocol in order that they are able to analyse its dynamic behaviours using a computer-aided tool like CPNTools.

Subject options

Select to view your study options…

Start date between: and    Key dates

Melbourne, 2018, Semester 1, Day


Online enrolmentYes

Maximum enrolment sizeN/A

Enrolment information

Subject Instance Co-ordinatorRichard Lai

Class requirements

Laboratory Class Week: 11 - 22
One 2.0 hours laboratory class per week on weekdays during the day from week 11 to week 22 and delivered via face-to-face.

Lecture Week: 10 - 22
Two 1.0 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.


Assessment elementComments% ILO*
Two-hour examHurdle requirement: to pass the subject, a minimum 40% mark in the examination is mandatory.30 01, 02, 03, 04
Laboratory report (1,000-words)20 02, 03
Problem solving tasks (1,300-words in total)24 01, 02, 03, 04
10 Tutorial exercises (900-words in total)18 01, 02, 03, 04
Nine Quizzes (100-words in total)8 01, 02, 03, 04