cse5cpe communication protocol eng

COMMUNICATION PROTOCOL ENGINEERING

CSE5CPE

2016

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, interoperability testing, Computer-Aided Tool, performance analysis, performance Stochastic process, modelling techniques like Generalised Stochastic Petri Nets and Markov Chains, Poisson Process, Exponential probability density function, Cumulative probability function, 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 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.

Activities:
Students are taught how to formally specify a communication protocol using a formal description technique like Coloured Petri Nets. Case studies will be discussed during the lectures.
Related graduate capabilities and elements:
Creative Problem-solving(Creative Problem-solving)
Critical Thinking(Critical Thinking)

03. Be able to implement a formal specification in conjunction with a computer-aided tool (eg CPNTool) to simulate the execution of a communication protocol

Activities:
Students are taught verification methodology and technique and to use them in conjunction with a formal specification and a computer-aided tool like CPNTool to simulate the execution of a communication protocol. Case studies will be discussed during the lectures.
Related graduate capabilities and elements:
Critical Thinking(Critical Thinking)
Creative Problem-solving(Creative Problem-solving)
Discipline-specific GCs(Discipline-specific GCs)

04. Be able to analyse the dynamic behaviours of a real-life communication protocol like the Association Control Service Element (ACSE) protocol

Activities:
Students are taught the state table specifications, informal specifications and formal specifications of a real-life protocol like the ACSE protocol in order that they are able to analyse its dynamic behaviours using a computer-aided tool like CPNTools.
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, 2016, 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 elementComments%ILO*
Two-hour exam3001, 02, 03, 04
Laboratories (1,000-words)2002, 03
Problem solving tasks (1,300-words)2401, 02, 03, 04
Tutorial exercises (900-words)1801, 02, 03, 04
Nine x 10 minutes Quizzes (approximately 200-words in equivalence)801, 02, 03, 04