COMMUNICATION PROTOCOL ENGINEERING
CSE5CPE
2014
Credit points: 15
Subject outline
Its aim is to impart to students knowledge of formal methods of developing communication protocols, including, specification, verification, performance analysis of communication protocols using Petri Nets. Main topics include Communication protocol development methodology, communication modelling and analysis, protocol verification, formal specifications, Formal Description Techniques, Extended Finite State Machine, Numerical Petri Nets, Coloured Petri Nets, reachability analysis, verification methodology, protocol properties, verification tool, protocol performance analysis, performance analysis tools, performance index.
Faculty: Faculty of Science, Tech & Engineering
Credit points: 15
Subject Co-ordinator: Richard Lai
Available to Study Abroad Students: Yes
Subject year level: Year Level 5 - Masters
Exchange Students: Yes
Subject particulars
Subject rules
Prerequisites: CSE2NEF
Co-requisites: N/A
Incompatible subjects: CSE42PNE, CSE4PNE
Equivalent subjects: N/A
Special conditions: N/A
Learning resources
Readings
| 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 |
Melbourne, 2014, Semester 1, Day
Overview
Online enrolment: Yes
Maximum enrolment size: N/A
Enrolment information:
Subject Instance Co-ordinator: Richard Lai
Class requirements
LectureWeek: 10 - 22
Two 1.0 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.
Laboratory ClassWeek: 10 - 22
One 2.0 hours laboratory class per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.
Assessments
| Assessment element | Comments | % |
|---|---|---|
| Assignment | 10 | |
| Laboratories | 15 | |
| One 3-hour examination | 60 | |
| Problem solving questions | 10 | |
| Quizzes | 5 |