CSC3331 : Real-Time and Cyber-Physical Systems (Inactive)
- Inactive for Year: 2019/20
- Module Leader(s): Dr Ken Pierce
- Owning School: Computing
- Teaching Location: Newcastle City Campus
|Semester 1 Credit Value:||10|
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.
|Guided Independent Study||Assessment preparation and completion||26||0:30||13:00||Revision for end of Semester exam and exam duration|
|Guided Independent Study||Assessment preparation and completion||22||1:00||22:00||Lecture follow-up|
|Scheduled Learning And Teaching Activities||Lecture||22||1:00||22:00||Lectures|
|Scheduled Learning And Teaching Activities||Practical||11||1:00||11:00||Practicals|
|Guided Independent Study||Project work||10||1:00||10:00||Coursework 2|
|Guided Independent Study||Project work||4||1:00||4:00||Coursework 1|
|Guided Independent Study||Independent study||9||2:00||18:00||Background 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.
The format of resits will be determined by the Board of Examiners
|Written Examination||90||1||A||80||Written Examination 1|
|Practical/lab report||1||M||6||Co-modelling introductory exercises (4 hours)|
|Practical/lab report||1||M||14||Co-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%.