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
Subject options
Select to view your study options…
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 element | Category | Contribution | Hurdle | % | ILO* |
|---|---|---|---|---|---|
| Two-hour exam Hurdle requirement: to pass the subject, a minimum 40% mark in the examination is mandatory. | N/A | N/A | Yes | 30 | SILO1, SILO2, SILO3, SILO4 |
| Laboratory report (1,000-words) | N/A | N/A | No | 20 | SILO2, SILO3 |
| Problem solving tasks (1,300-words in total) | N/A | N/A | No | 24 | SILO1, SILO2, SILO3, SILO4 |
| 10 Tutorial exercises (900-words in total) | N/A | N/A | No | 18 | SILO1, SILO2, SILO3, SILO4 |
| Nine Quizzes (100-words in total) | N/A | N/A | No | 8 | SILO1, SILO2, SILO3, SILO4 |