Design of Analysable Real-Time Systems - COM00031H

« Back to module search

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

Module summary

The aim of this module is to consider how to develop real-time systems that are not only dependable but can be analysed to provide the necessary evidence.

Related modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Module will run

Occurrence Teaching cycle
A Spring Term 2018-19 to Summer Term 2018-19

Module aims

The aim of this module is to consider how to develop real-time systems that are not only dependable but can be analysed to provide the necessary evidence. 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. The term real-time in this context is where a failure to meet the requirements could have a catastrophic impact in terms of safety, security or economic loss. The course also includes other key aspects of dependability such as maintenance.

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 therefore builds on an earlier module, Analysable Real-Time Systems, whose learning outcomes was different methods for scheduling real-time systems and considers how you then design and analyse for other key aspects of the system. This includes the following key components:

  1. Infrastructure which includes common architectures used in industry and why they have been proposed
  2. Fault tolerance approach to deliver timing guarantees even in the presence of failures
  3. Task and message allocation which is how to map the software to the hardware to not only meet the timing requirements but also other key issues such as maintainability and efficient usage of resources
  4. Worst-Case Execution Time (WCET) analysis which is used to upper bound how long software tasks take to execute on a given platform
  5. How multi-core affects the development of real-time systems including bounding the interference of other tasks on a task's WCET

Module learning outcomes

On completion of the module, the students should:

  • Understand how scheduling and timing fits into the wider development context
  • Understand why dependable real-time systems demand specialised techniques to be developed which are often tailored for a specific domain or application
  • Knowledge of how some of these techniques have been developed in both research and academia
  • Have practical skills building and using some of these techniques

Assessment

Task Length % of module mark
University - closed examination
Design of Analysable Real-Time Systems
2 hours 100

Special assessment rules

None

Reassessment

Task Length % of module mark
University - closed examination
Design of Analysable Real-Time Systems
2 hours 100

Module feedback

Feedback given to solutions of practicals.

Indicative reading

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



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.