Undergraduate Course: Embedded Systems (INFR11120)
Course Outline
| School | School of Informatics |
College | College of Science and Engineering |
| Credit level (Normal year taken) | SCQF Level 11 (Year 4 Undergraduate) |
Availability | Available to all students |
| SCQF Credits | 10 |
ECTS Credits | 5 |
| Summary | 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. |
| Course description |
* 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
|
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. |
Information for Visiting Students
| Pre-requisites | None |
| High Demand Course? |
Yes |
Course Delivery Information
|
| Academic year 2017/18, Available to all students (SV1)
|
Quota: None |
| Course Start |
Semester 2 |
Timetable |
Timetable |
| 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 )
|
| Assessment (Further Info) |
Written Exam
75 %,
Coursework
25 %,
Practical Exam
0 %
|
| Additional Information (Assessment) |
Written Exam 75 %, Coursework 25 %, Practical Exam 0 %
Development of a small embedded system using an ARM Cortex-M4 microcontroller, bare-metal and RTOS programming in C.
You should expect to spend approximately 25 hours on the coursework for this course.
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. |
| Feedback |
Not entered |
| Exam Information |
| Exam Diet |
Paper Name |
Hours & Minutes |
|
| Main Exam Diet S2 (April/May) | | 2:00 | |
Learning Outcomes
On completion of this course, the student will be able to:
- 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
- Comparison of features in high-level languages intended for embedded software, such as Ada, Esterel, Real-time Java and C/Posix
|
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: www-sop.inria.fr/meije/esterel/esterel-eng.html |
Contacts
| Course organiser | Dr Bjoern Franke
Tel: (0131 6)51 7175
Email: |
Course secretary | Mr Gregor Hall
Tel: (0131 6)50 5194
Email: |
|
© Copyright 2017 The University of Edinburgh - 6 February 2017 8:10 pm
|
University Homepage