Second Cycle (Laurea magistrale) Degree Programme in Embedded Computing Systems
To be defined.
To be defined.
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.
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.
face to face
Bibliography will be indicated during the lectures.
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.
Per informazioni scrivete a firstname.lastname@example.org.