Study Abroad and Exchanges

Modules

Modules

CSC3322 : Real-Time and Cyber-Physical Systems

Semesters
Semester 2 Credit Value: 10
ECTS Credits: 5.0

Aims

To introduce students to the principles of real time and embedded systems and to develop their skills in writing programs for real time and embedded systems.

Real time systems have to respond to external stimuli within a finite and predictable time period. Their correctness depends not only on the value of their outputs but on the time at which those outputs are produced. This module will introduce the student to the principles of real time systems and develop their skills in writing programs for real time systems.

Outline Of Syllabus

A review of concurrent programming, communication, synchronisation and the Java concurrency model.
An overview of the Real Time Specification for Java (RTSJ).
Examination of specific RTSJ mechanisms for clocks and time, scheduling, asynchronous events, real time threads, asynchronous transfer of control and resource control.
An introduction to schedulability analysis.
Usage of VDM-RT

Teaching Methods

Teaching Activities
Category Activity Number Length Student Hours Comment
Guided Independent StudyAssessment preparation and completion260:3013:00Revision for end of Semester exam and exam duration
Guided Independent StudyAssessment preparation and completion221:0022:00Lecture follow-up
Scheduled Learning And Teaching ActivitiesLecture221:0022:00Lectures
Scheduled Learning And Teaching ActivitiesPractical111:0011:00Practicals
Guided Independent StudyProject work141:0014:00Coursework
Guided Independent StudyIndependent study92:0018:00Background reading
Total100:00
Teaching Rationale And Relationship

Principles of real time systems programming introduced in lectures. Java mechanisms to implement principles introduced in lectures including worked examples. Students given exercises and assessed coursework to reinforce learning. Support will be given to students completing exercises and assessed coursework through practical sessions. Students will be expected to contribute additional time outside practical sessions for the successful completion of coursework. Revision seminars will be held in week 12.

Assessment Methods

The format of resits will be determined by the Board of Examiners

Exams
Description Length Semester When Set Percentage Comment
Written Examination902A80N/A
Other Assessment
Description Semester When Set Percentage Comment
Practical/lab report2M6Cyber-Physical System toolset tutorials (4 hours)
Practical/lab report2M14Co-modelling exercise (10 hours)
Assessment Rationale And Relationship

The unseen examination will allow assessment of acquired knowledge using short bookwork questions, the ability to apply that knowledge using application questions, & time-constrained assessment of subject-specific skills using application questions.

The coursework will allow in-depth assessment of cognitive and subject-specific programming skills.

N.B. This module has both “Exam Assessment” and “Other Assessment” (e.g. coursework). If the total mark for either assessment falls below 35%, the maximum mark returned for the module will normally be 35%.

Reading Lists

Timetable