cse5cpe communication protocol eng
COMMUNICATION PROTOCOL ENGINEERING
CSE5CPE
2015
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, conformance testing process, conformance statements and documents, test types, test results, test suite structure, TTCN, performance analysis, performance modelling technique like Generalised Stochastic Petri Nets, performance analysis tool, performance index .
SchoolSchool Engineering&Mathematical Sciences
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 or CSE5NEF
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 |
Graduate capabilities & intended learning outcomes
01. Be able to explain how the communication protocol engineering methodology - comprising informal specification, formal specification, protocol verification, implementation, conformance testing, and interoperability testing - is used for developing quality communication protocol system.
- Activities:
- Students are taught the consequence of failures of communication protocol in the field and how Communication protocol engineering can produce higher quality communication protocol product
- Related graduate capabilities and elements:
- Critical Thinking(Critical Thinking)
- Ethical Awareness(Ethical Awareness)
- Discipline-specific GCs(Discipline-specific GCs)
02. Be able to implement a Formal Description Technique like Coloured Petri Nets to model a communication protocol using a computer-aided tool (eg CPNTool) for simulating and verifying it against certain protocol properties.
- Activities:
- Students are taught how to formally specify a communication protocol using a formal description technique like Coloured Petri Nets. Students learn how to develop its formal specification and analyse it using a computer-aided tool like CPN.
- Related graduate capabilities and elements:
- Creative Problem-solving(Creative Problem-solving)
- Critical Thinking(Critical Thinking)
03. Be able to explain how to conduct a conformance testing for a communication protocol using a standardised test language like TTCN.
- Activities:
- Students are taught how communication protocol should be tested and how to write test cases and to develop a test suite for a communication protocol.
- Related graduate capabilities and elements:
- Critical Thinking(Critical Thinking)
- Creative Problem-solving(Creative Problem-solving)
- Discipline-specific GCs(Discipline-specific GCs)
04. 4. Be able to explain how performance analysis technique like Generalised Stochastic Petri Net is used for analysing the performance of computer system and communication protocol.
- Activities:
- Students are taught performance indexes, modelling and techniques and how to apply them to analyse the performance of computer systems and communication protocol.
- Related graduate capabilities and elements:
- Critical Thinking(Critical Thinking)
- Discipline-specific GCs(Discipline-specific GCs)
Subject options
Select to view your study options…
Melbourne, 2015, Semester 1, Day
Overview
Online enrolmentYes
Maximum enrolment sizeN/A
Enrolment information
Subject Instance Co-ordinatorRichard Lai
Class requirements
TutorialWeek: 11 - 22
One 2.0 hours tutorial 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.0 hours lecture per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.
Assessments
Assessment element | Comments | % | ILO* |
---|---|---|---|
Two-hour exam | 30 | 01, 02, 03, 04 | |
Laboratories | 14 | 02, 03 | |
Problem solving tasks | 22 | 01, 02, 03, 04 | |
Tutorial exercises | 14 | 01, 02, 03, 04 | |
Reflective learning tasks | 12 | 01, 02, 03, 04 | |
Quizzes | 8 | 01, 02, 03, 04 |