Course Unit Profile

<--- Back to Course Diagram

Basic Information


Course Unit Code: 603II

Level of course unit

Second Cycle (Laurea magistrale) Degree Programme in Embedded Computing Systems

Year of study

First year

Semester when the course is delivered

First semester

Number of ECTS credits allocated: 9

Name of Lecturer(s):

To be defined.

To be defined.

Language of instruction


General Information

Learning outcomes

The student who completes the course successfully will be able to deal
with all stages in the development process, including requirements,
specifications, design models, coding, testing, simulation,
verification, as well as autocode generation techniques.
Students will acquire familiarity with development tools and a practical grasp
of what it means to develop a simple embedded application through the use of models.

Course contents

The 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.

Specific Information

Prerequisites, co-requisites, as a prerequisite for further study





Prerequisite for


Further Information

it is strongly recommended to have knowledge of the C programming language

Mode of delivery


face to face



Teaching methods

Learning activities

Recommended or required reading

Bibliography will be indicated during the lectures.

Assessment methods and criteria

Assessment methods

Assessment criteria

The student must demonstrate the ability to put into practice and to execute, with critical awareness, the activities illustrated or carried out under the guidance of the teacher during the course. In the written exam, the student must demonstrate his/her knowledge of the course material and to organise an effective and correctly written reply.

Work placement


<--- Back to Course Diagram