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 .

SchoolEngineering and Mathematical Sciences

Credit points15

Subject Co-ordinatorRichard Lai

Available to Study Abroad/Exchange StudentsYes

Subject year levelYear Level 5 - Masters

Available as ElectiveNo

Learning ActivitiesN/A

Capstone subjectNo

Subject particulars

Subject rules

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


Incompatible subjectsCSE4PNE

Equivalent subjectsN/A

Quota Management StrategyN/A

Quota-conditions or rulesN/A

Special conditionsN/A

Minimum credit point requirementN/A

Assumed knowledgeN/A

Learning resources

Communication Protocol Specification and Verification

Resource TypeBook

Resource RequirementPrereading

AuthorLai, R and Jirachiefpannata, A





Chapter/article titleN/A



Other descriptionN/A

Source locationN/A

Career Ready


Work-based learningNo

Self sourced or Uni sourcedN/A

Entire subject or partial subjectN/A

Total hours/days requiredN/A

Location of WBL activity (region)N/A

WBL addtional requirementsN/A

Graduate capabilities & intended learning outcomes

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.
02. Be able to implement a Formal Description Technique like Coloured Petri Nets to model a communication protocol.
03. Be able to implement a formal specification in conjunction with a computer-aided tool (e.g. CPN Tool to simulate the execution of a communication protocol
04. Be able to analyse the dynamic behaviours of a real-life communication protocol like the Association Control Service Element (ACSE protocol

Subject options

Select to view your study options…

Start date between: and    Key dates

Melbourne (Bundoora), 2021, Semester 1, Day


Online enrolmentYes

Maximum enrolment sizeN/A

Subject Instance Co-ordinatorRichard Lai

Class requirements

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

LectureWeek: 10 - 22
Two 1.00 hour lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.


Assessment elementCommentsCategoryContributionHurdle% ILO*

Two-hour exam
Hurdle requirement: to pass the subject, a minimum 40% mark in the examination is mandatory.

N/ACentral examIndividualYes30 SILO1, SILO2, SILO3, SILO4

Laboratory report (1,000-words)

N/AReportIndividualNo20 SILO2, SILO3

Problem solving tasks (1,300-words in total)

N/AOtherIndividualNo24 SILO1, SILO2, SILO3, SILO4

10 Tutorial exercises (900-words in total)

N/AOtherIndividualNo18 SILO1, SILO2, SILO3, SILO4

Nine Quizzes (100-words in total)

N/AQuizzesIndividualNo8 SILO1, SILO2, SILO3, SILO4