Embedded Software (VS1) (U02797)

? Credit Points : 10 ? SCQF Level : 10 ? Acronym : INF-4-ES-V

Embedded (or reactive) systems monitor, respond to, or control an external environment through sensors, actuators and other I/O interfaces. These systems are inherently concurrent and require reliable software which satisfy timing constraints. This module provides an introduction to the fundamental principles underlying the specification, design and implementation of embedded systems with particular emphasis on the software.

Entry Requirements

? This course is only available to part year visiting students.

? This course is a variant of the following course : U01960

? Pre-requisites : Successful completion of Year 3 of an Informatics Single or Combined Honours Degree, or equivalent by permission of the School. This course is only available to part-year visiting students who are only in Edinburgh for Semester 1.

Subject Areas

Home subject area

Computer Systems Organisation, (School of Informatics, Schedule O)

Delivery Information

? Normal year taken : 4th year

? Delivery Period : Not being delivered

? Contact Teaching Time : 2 hour(s) per week for 10 weeks

Summary of Intended Learning Outcomes

It is anticipated that students who successfully complete the course will have learnt the following:
- An understanding of the principles underlying the development of software for embedded systems, from specification through to validation.
- An appreciation of the interplay between the different requirements in a complex embedded software design, involving issues such as concurrency, reliability and adherence to timing constraints.
- The ability to compare different specification techniques through hands-on experience of programming in the Esterel language as part of the assessed coursework.
- Comparision of features in high-level languages intended for embedded software, such as Ada, Esterel, Real-time Java and C/Posix.