COMMUNICATION PROTOCOL ENGINEERING
Credit points: 15
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
Subject Co-ordinatorRichard Lai
Available to Study Abroad StudentsYes
Subject year levelYear Level 5 - Masters
Prerequisites CSE5NEF OR admission in one of the following courses: SMICT or SMCSC. All other students require subject coordinator's approval.
Incompatible subjects CSE4PNE
|Resource Type||Title||Resource Requirement||Author and Year||Publisher|
|Readings||Communication Protocol Specification and Verification||Preliminary||Lai, R and Jirachiefpannata, A||REFERENCE 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.
Select to view your study options…
Melbourne, 2018, Semester 1, Day
Maximum enrolment sizeN/A
Subject Instance Co-ordinatorRichard Lai
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.
Two 1.0 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.
|Two-hour exam||Hurdle 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|