Analysable Real-Time Systems - COM00001H

« Back to module search

  • Department: Computer Science
  • Module co-ordinator: Prof. Alan Burns
  • Credit value: 20 credits
  • Credit level: H
  • Academic year of delivery: 2017-18
    • See module specification for other years: 2016-17

Related modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Module occurrences

Occurrence Teaching cycle
A Autumn Term 2017-18 to Summer Term 2017-18

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
  • understand the techniques involved in worst-case execution time analysis
  • understand how Ada 95 and Ada 2012 support the development of both fixed priority and earliest-deadline first scheduled real-time systems
  • understand different approaches to programming fault tolerance in real-time embedded systems and their impact on timing analysis,
  • have practical skills in developing real-time software in Ada 95.

Assessment

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

Special assessment rules

None

Reassessment

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

Module feedback

Feedback given to solutions of practicals.

Indicative reading

**** Alan Burns and Andy Wellings, Real-Time Systems and Programming Languages, Fourth Edition, Addison Wesley, 2009

**** Alan Burns and Andy Wellings, Concurrent and Real-TIme Programing in Ada, Cambridge University Press, 2007



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.