cse5cpe communication protocol eng
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.
FacultyFaculty of Science, Tech & Engineering
Credit points15
Subject Co-ordinatorRichard Lai
Available to Study Abroad StudentsYes
Subject year levelYear Level 5 - Masters
Exchange StudentsYes
Subject particulars
Subject rules
Prerequisites CSE2NEF
Co-requisitesN/A
Incompatible subjects CSE42PNE, CSE4PNE
Equivalent subjectsN/A
Special conditionsN/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 |
Subject options
Select to view your study options…
Melbourne, 2014, Semester 1, Day
Overview
Online enrolmentYes
Maximum enrolment sizeN/A
Enrolment information
Subject Instance Co-ordinatorRichard 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 |