Archive for reference only

University Homepage
DRPS Homepage
DRPS Search
DRPS Contact
DRPS : Course Catalogue : School of Informatics : Informatics

Undergraduate Course: Embedded Software (INFR10013)

Course Outline
SchoolSchool of Informatics CollegeCollege of Science and Engineering
Course typeStandard AvailabilityAvailable to all students
Credit level (Normal year taken)SCQF Level 10 (Year 4 Undergraduate) Credits10
Home subject areaInformatics Other subject areaNone
Course website Taught in Gaelic?No
Course descriptionEmbedded (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 (not applicable to Visiting Students)
Pre-requisites Co-requisites
Prohibited Combinations Other requirements This course is open to all Informatics students including those on joint degrees. For external students where this course is not listed in your DPT, please seek special permission from the course organiser.
Additional Costs None
Information for Visiting Students
Displayed in Visiting Students Prospectus?Yes
Course Delivery Information
Delivery period: 2013/14 Semester 2, Available to all students (SV1) Learn enabled:  No Quota:  None
Web Timetable Web Timetable
Course Start Date 13/01/2014
Breakdown of Learning and Teaching activities (Further Info) Total Hours: 100 ( Lecture Hours 20, Summative Assessment Hours 2, Programme Level Learning and Teaching Hours 2, Directed Learning and Independent Learning Hours 76 )
Additional Notes
Breakdown of Assessment Methods (Further Info) Written Exam 75 %, Coursework 25 %, Practical Exam 0 %
Exam Information
Exam Diet Paper Name Hours & Minutes
Main Exam Diet S2 (April/May)2:00
Summary of Intended Learning Outcomes
1 - An understanding of the principles underlying the development of software for embedded systems, from specification through to validation.
2 - 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.
3 - The ability to compare different specification techniques through hands-on experience of programming in the Esterel language as part of the assessed coursework
4 - Comparision of features in high-level languages intended for embedded software, such as Ada, Esterel, Real-time Java and C/Posix
Assessment Information
Written Examination 75
Assessed Assignments 25
Oral Presentations 0

Assessed Assignment:
Development of a small embedded system using an ARM Cortex-M4 microcontroller, bare-metal and RTOS programming in C.

If delivered in semester 1, this course will have an option for semester 1 only visiting undergraduate students, providing assessment prior to the end of the calendar year.
Special Arrangements
Additional Information
Academic description Not entered
Syllabus * Introduction to the unique characteristics and requirements of embedded systems
* Models for embedded software: process-based, cyclic executives, OS-based & object-oriented
* Overview of specification and design techniques: Data Flow Diagrams (DFDs), Statecharts, Tabular Languages, Traditional logics & Real-time logic
* Introduction to the Esterel, a synchronous programming language for control-dominated applications
* A linguistic comparison between Ada, Esterel, Real-time Java, C/POSIX
* Validation of embedded systems, in particular the representation and satisfaction of temporal requirements
* Scheduling in Real-time Operating Systems (RTOS)
* Reliability & software fault-tolerance issues
* Software interfaces to hardware components

Relevant QAA Computing Curriculum Sections: Concurrency and Parallelism, Operating Systems, Software Engineering, Systems Analysis and Design
Reading List
Transferable skills Not entered
Reading list * Alan Shaw, 'Real-Time Systems and Software', John Wiley & Sons, Inc. 2001.
* Alan Burns & Andy Wellings, 'Real-Time Systems & Programming Languages', Third Edition, Addison Wesley, 2001.
* The Esterel website:
Study Abroad Not entered
Study Pattern Lectures 20
Tutorials 0
Timetabled Laboratories 0
Non-timetabled assessed assignments 25
Private Study/Other 55
Total 100
KeywordsNot entered
Course organiserDr Mary Cryan
Tel: (0131 6)50 5153
Course secretaryMiss Kate Farrow
Tel: (0131 6)50 2706
Help & Information
Search DPTs and Courses
Degree Programmes
Browse DPTs
Humanities and Social Science
Science and Engineering
Medicine and Veterinary Medicine
Other Information
Combined Course Timetable
Important Information
© Copyright 2013 The University of Edinburgh - 13 January 2014 4:27 am