Analysable Real-Time Systems - COM00022H

« Back to module search

  • Department: Computer Science
  • Module co-ordinator: Prof. Alan Burns
  • Credit value: 10 credits
  • Credit level: H
  • Academic year of delivery: 2018-19
    • See module specification for other years: 2019-20

Module summary

This module considers defines and illustrates real-time systems. It looks at application models and shows how they can be analysed using a number of scheduling techniques.

Related modules

Pre-requisite modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Module will run

Occurrence Teaching cycle
A Autumn Term 2018-19

Module aims

The aim of this module is to consider the requirements and techniques for programming real-time systems.

The term "real-time'' can be used to describe any information processing activity or system which has to respond to externally generated input stimuli within a finite and specified period. A key feature of all these applications is the role of the computer as an information processing component within a larger engineering system. For this reason, such applications have become known as "embedded computer systems''. This course considers the requirements and techniques for programming real-time systems. The latest version of Ada will be used.

Fundamental to all real-time systems is the notion of Timing Analysis. This includes the following two components:
1. Worst-Case Execution Time Analysis: predicting the time that a task will take to execute on its execution platform
2. Schedulability Analysis: predicting the response time of tasks in a multi-task application
The module examines the underlying mathematical and static analysis techniques that can be used to undertaken timing analysis of real-time programs.

In order to undertake Timing Analysis, the programming model used by the application must be restricted, and new facilities must be supported. The module analyses these constraints and facilities within the context of the Ada programming language.

The practical classes encourage collaboration between students in solving the assigned problems.

Module learning outcomes

On completion of the module, the students should:

  • understand the role and limitations of timing analysis in the construction of real-time systems
  • understand the role of scheduling in facilitating timing analysis
  • be able to apply the techniques of schedulability analysis for fixed priority and earliest-deadline first scheduled real-time systems

Assessment

Task Length % of module mark
University - closed examination
Analysable Real-Time Systems (ARTS) Exam
1.5 hours 100

Special assessment rules

None

Reassessment

Task Length % of module mark
University - closed examination
Analysable Real-Time Systems (ARTS) Exam
1.5 hours 100

Module feedback

Feedback given to solutions of practicals.

Indicative reading

**** Alan Burns and Andy Wellings, Analysable Real-Time Systems, 2016.



The information on this page is indicative of the module that is currently on offer. The University is constantly exploring ways to enhance and improve its degree programmes and therefore reserves the right to make variations to the content and method of delivery of modules, and to discontinue modules, if such action is reasonably considered to be necessary by the University. Where appropriate, the University will notify and consult with affected students in advance about any changes that are required in line with the University's policy on the Approval of Modifications to Existing Taught Programmes of Study.