At a Glance


Design of Embedded Systems

Credits: 9

Objectives: The objective of the course is to teach how to deal with all stages in the development process, including requirements, specifications, design models, coding, testing, simulation, verification, as well as autocode generation techniques.

Description: This course covers the main stages in the development of embedded systems, with emphasis on model-based development and formal methods for the analysis of system properties. Problems and approaches related to all the stages of development will be addressed, including requirements analysis, system-level design, component-oriented modeling, behavioral modeling, verification of properties, architecture selection and design, code generation and testing.

The course includes a laboratory practical activity, which teaches how to develop real-time distributed control applications using a real-time operating system on top of microcontroller-based platforms equipped with sensors, servomotors, and wireless communication devices. This material is used for a final project in which students have to develop an embedded application on a real plant.

Assessment: Written exam and practical project.

Prerequisites: Real-Time and Distributed Systems

Modules: 2

Module 1 (6 Credits): Design of Embedded Systems

Module 2 (3 Credits): Laboratory of Embedded Systems


Latest News


September 2017
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30

Upcoming Events

No events