Computer Science, Prifysgol Cymru Aberystwyth University of Wales


CS23110 - Small Real-Time Systems


Brief Description

To introduce students to the ideas of embedded systems (through studying small microprocessor-based systems for a wide range of application areas), and to the techniques used for developing them (including such systems for safety-related applications).

Aims, Objectives, Syllabus, Booklist


Further Details

Number of lectures
24
Number of seminars/tutorials
4
Number of practicals
0
Coordinator
Dr. Fred Long
Other staff involved
Not yet known
Pre-requisites
CS15010
Co-requisites
CS21020 , CS22210
Incompatibilities
None
Assessment
Assessed coursework - 20%
Written exam - 80%
Timing
This module is offered only in Semester 2

Aims

To introduce students to the ideas of embedded systems (through studying small microprocessor-based systems for a wide range of application areas), and to the techniques used for developing them (including such systems for safety-related applications).

Objectives

A student who successfully completes the course should be able to:

Syllabus

Introduction - 2 Lectures
Scope and definitions. Examples.
Responding to the real world - 4 Lectures
Hardware and software interaction. Input/output devices and interfaces. Interrupts and polling; control strategies. Hardware-software tradeoffs; architectures for real-time.
Software structure - 4 Lectures
Application tasks and real-time kernels. Scheduling; resource allocation. Reliability: causes and effects of mistakes. Relationship between design and programming language.
Design principles and practice - 7 Lectures
What a design method can and cannot give. MASCOT (Modular Approach to System Construction, Operation and Testing). Example and use of MASCOT. HOOD (Hierarchical Object Oriented Design). Example in HOOD. Impact of performance issues on design.
Implementation principles and practice - 3 Lectures
Tools to assist development. Host-target development, simulation, emulation. Debugging aids, performance monitors.
Checking principles and practice - 3 Lectures
Validation and Quality Assurance. Safety related systems and related standards.
Revision and conclusion - 1 Lecture

Booklist

Students are likely to need ready access to the following

J. E. Cooling. Software Design for Real-time Systems. Chapman and Hall, 1991.

Caxton C. Foster. Real-Time Programming - Neglected Topics. Addison-Wesley, 1981.

The official handbook of MASCOT : Version 3.1. Royal Signals and Radar Establishment, 1987.

A. Burns and A. Wellings. Real-time Systems and their Programming Languages. Addison Wesley, 1990.

Ian Pyle. Developing Safety Systems - A Guide Using Ada. Prentice Hall, 1991.

Notes
The book by Cooling is highly recommended but rather expensive.

The following should be consulted for different approaches or for further information

S. Bennett and G.S. Virk, editors. Computer Control of Real-time Processes. Peter Peregrinus, 1990.

A. Amghar. Microprocessor System Development. Prentice Hall, 1990.

Andrews. Concurrent Programming. Benjamin Cummings, 1991.

Ken Shumate and Marilyn Keller. Software Specification and Design - A Disciplined Approach for Real-Time Systems. Wiley, 1992.

Ian Pyle, Michel Lissandre, Peter Hruschka, and Ken Jackson. Real-Time Systems - Investigating Industrial Practice. Wiley, 1993.

Philip McDowell. Choosing and Using 4 bit Microcontrollers. Newnes, Oxford, 1994.

Version 2.1

Syllabus Syllabus

Nigel Hardy Departmental Advisor

nwh@aber.ac.uk

Dept of Computer Science, UW Aberystwyth (disclaimer)