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 .
School: Engineering and Mathematical Sciences (Pre 2022)
Credit points: 15
Subject Co-ordinator: Richard Lai
Available to Study Abroad/Exchange Students: Yes
Subject year level: Year Level 5 - Masters
Available as Elective: No
Learning Activities: N/A
Capstone subject: No
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-requisites: N/A
Incompatible subjects: CSE4PNE
Equivalent subjects: N/A
Quota Management Strategy: N/A
Quota-conditions or rules: N/A
Special conditions: N/A
Minimum credit point requirement: N/A
Assumed knowledge: N/A
Learning resources
Communication Protocol Specification and Verification
Resource Type: Book
Resource Requirement: Prereading
Author: Lai, R and Jirachiefpannata, A
Year: N/A
Edition/Volume: N/A
Publisher: REFERENCE TEXT - A COPY IS AVAILABLE IN THE LIBRARY
ISBN: N/A
Chapter/article title: N/A
Chapter/issue: N/A
URL: N/A
Other description: N/A
Source location: N/A
Career Ready
Career-focused: No
Work-based learning: No
Self sourced or Uni sourced: N/A
Entire subject or partial subject: N/A
Total hours/days required: N/A
Location of WBL activity (region): N/A
WBL addtional requirements: N/A
Graduate capabilities & intended learning outcomes
Graduate Capabilities
Intended Learning Outcomes
Melbourne (Bundoora), 2020, Semester 1, Day
Overview
Online enrolment: Yes
Maximum enrolment size: N/A
Subject Instance Co-ordinator: Richard 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.
Laboratory/Tutorial
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.
Assessments
| Assessment element | Category | Contribution | Hurdle | % | ILO* |
|---|---|---|---|---|---|
Two-hour examHurdle 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 |