CSC3331 : Real-Time and Cyber-Physical Systems (Inactive)

Semester 1 Credit Value: 10
ECTS Credits: 5.0


Real-time and cyber-physical systems must respond to external stimuli within a finite and predictable period of time. Their correctness depends not only on the value of their outputs but on the time at which those outputs are produced. These systems must interact with the physical world through sensors and actuators, therefore the physical elements of these systems must be considered at design time. Such systems also require close collaboration with other engineering disciplines. Model-based design offers a way for engineers to collaborate by combining models of cyber components (described in discrete-event formalism such as VDM) with physical components (described in continuous-time formalisms such as 20-sim).

This module will introduce the student to the principles of real-time and cyber-physical systems, to give an understanding of the need for multi-disciplinary approach to the design of this class of systems, and to develop their skills in modelling and programming them.

Outline Of Syllabus

An overview of real-time and cyber-physical systems
An introduction to real-time control and controller tuning
Usage of collaborative model-based design and co-simulation for real-time and cyber-physical systems design
Usage of VDM-RT for modelling and simulation of control (cyber) components
Usage of 20-sim for modelling and simulation of physical components
A review of concurrent programming, communication, synchronisation
An introduction to clocks and time, real-time threads, asynchronous events.
An introduction to asynchronous transfer of control and resource control.
An introduction to scheduling and schedulability analysis.

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 work101:0010:00Coursework 2
Guided Independent StudyProject work41:004:00Coursework 1
Guided Independent StudyIndependent study92:0018:00Background reading
Teaching Rationale And Relationship

Principles of real-time and cyber-physical systems introduced in lectures, including collaborative modelling and simulation. Modelling and simulation 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.

Assessment Methods

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

Description Length Semester When Set Percentage Comment
Written Examination901A80Written Examination 1
Other Assessment
Description Semester When Set Percentage Comment
Practical/lab report1M6Co-modelling introductory exercises (4 hours)
Practical/lab report1M14Co-modelling exercises (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 / modelling 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