COMMUNICATION PROTOCOL ENGINEERING

CSE5CPE

2020

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

Co-requisitesN/A

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

Readings

Communication Protocol Specification and Verification

Resource TypePrereading

Resource RequirementN/A

AuthorLai, R and Jirachiefpannata, A

YearN/A

Edition/VolumeN/A

PublisherREFERENCE TEXT - A COPY IS AVAILABLE IN THE LIBRARY

ISBNN/A

Chapter/article titleN/A

Chapter/issueN/A

URLN/A

Other descriptionN/A

Source locationN/A

Career Ready

Career-focusedNo

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), 2020, Semester 1, Day

Overview

Online enrolmentYes

Maximum enrolment sizeN/A

Subject Instance Co-ordinatorRichard Lai

Class requirements

Laboratory Class Week: 11 - 22
One 2.00 h laboratory class per week on weekdays during the day from week 11 to week 22 and delivered via face-to-face.
"Laboratory/Tutorial"

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

Assessments

Assessment elementCommentsCategoryContributionHurdle% ILO*
Two-hour exam Hurdle requirement: to pass the subject, a minimum 40% mark in the examination is mandatory.N/AN/AN/AYes30 SILO1, SILO2, SILO3, SILO4
Laboratory report (1,000-words)N/AN/AN/ANo20 SILO2, SILO3
Problem solving tasks (1,300-words in total)N/AN/AN/ANo24 SILO1, SILO2, SILO3, SILO4
10 Tutorial exercises (900-words in total)N/AN/AN/ANo18 SILO1, SILO2, SILO3, SILO4
Nine Quizzes (100-words in total)N/AN/AN/ANo8 SILO1, SILO2, SILO3, SILO4