COMMUNICATION PROTOCOL ENGINEERING
CSE5CPE
Not currently offered
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 .
SchoolEngineering and Mathematical Sciences
Credit points15
Subject Co-ordinatorRichard Lai
Available to Study Abroad/Exchange StudentsYes
Subject year levelYear Level 5 - Masters
Available as ElectiveNo
Learning ActivitiesN/A
Capstone subjectNo
Subject particulars
Subject rules
Prerequisites CSE5NEF OR admission in one of the following courses: SMICT, SMCSC, SMTNE All other students require subject coordinator's approval
Co-requisitesN/A
Incompatible subjectsCSE4PNE
Equivalent subjectsN/A
Quota Management StrategyN/A
Quota-conditions or rulesN/A
Special conditionsN/A
Minimum credit point requirementN/A
Assumed knowledgeN/A
Learning resources
Communication Protocol Specification and Verification
Resource TypeBook
Resource RequirementPrereading
AuthorLai, R and Jirachiefpannata, A
YearN/A
Edition/VolumeN/A
PublisherREFERENCE TEXT - A COPY IS AVAILABLE IN THE LIBRARY
ISBNN/A
Chapter/article titleN/A
Chapter/issueN/A
URLN/A
Other descriptionN/A
Source locationN/A
Career Ready
Career-focusedNo
Work-based learningNo
Self sourced or Uni sourcedN/A
Entire subject or partial subjectN/A
Total hours/days requiredN/A
Location of WBL activity (region)N/A
WBL addtional requirementsN/A
Graduate capabilities & intended learning outcomes
Graduate Capabilities
Intended Learning Outcomes
Subject options
Select to view your study options…