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

Readings

Resource TypeTitleResource RequirementAuthor and YearPublisher
ReadingsCommunication Protocol Specification and VerificationPreliminaryLai, R and Jirachiefpannata, AREFERENCE 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…

Start date between: and    Key dates

Melbourne, 2015, Semester 1, Day

Overview

Online enrolmentYes

Maximum enrolment sizeN/A

Enrolment information

Subject Instance Co-ordinatorRichard Lai

Class requirements

Tutorial Week: 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"

Lecture Week: 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 elementComments% ILO*
Two-hour exam30 01, 02, 03, 04
Laboratories14 02, 03
Problem solving tasks22 01, 02, 03, 04
Tutorial exercises14 01, 02, 03, 04
Reflective learning tasks12 01, 02, 03, 04
Quizzes8 01, 02, 03, 04