COMMUNICATION PROTOCOL ENGINEERING
Credit points: 15
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
Subject Co-ordinatorRichard Lai
Available to Study Abroad StudentsYes
Subject year levelYear Level 5 - Masters
Incompatible subjects CSE42PNE, CSE4PNE
|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|
Select to view your study options…
Melbourne, 2014, Semester 1, Day
Maximum enrolment sizeN/A
Subject Instance Co-ordinatorRichard Lai
Two 1.0 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.
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.
|One 3-hour examination||60|
|Problem solving questions||10|