Corso a scelta per la laurea magistrale in Ing. Informatica ed obbligatorio per la laurea magistrale in Ing. Meccatronica. Lo scopo del corso è fornire una
visione sistemistica delle attività di progetto di un sistema software con particolare riferimento ai sistemi a bordo veicolo.
A tale scopo si prenderà come riferimento un sistema embedded per applicazioni automotive e sarà illustrato uno standard
internazionale per il suo progetto (ISO26262), analizzando le tecniche di progetto, e validazione che devono essere impiegate
per soddisfare tale standard. Sarà illustrato il concetto di model-based software design, con particolare attenzione alla generazione
automatica del software a partire da modelli comportamentali/strutturali. Infine sarà analizzato lo standard de-facto AUTOSAR.
Optional course for the master degree in computer engineering and mandatory course for mechatronic engineering. The purpose of the course is to
provide a system-level view of the design of embedded software using a model-driven approach, where designers focus most of their efforts in defining what the software shall do rather than spending time in how the software behaviour is implemented. Several examples will be presented referring to the automotive industry, nevertheless, the methodology is widely adopted also in other industries such as aerospace and biomedical.
A reference embedded system for a representative automotive application will be taken as example through the whole class, and different elements will be considered to address the design of such an application. The automotive international standard ISO26262 will be taken as reference for the development process, and the design and
validation techniques needed to satisfy the standard will be considered. The concept of model-based software design will then be
presented, with particular emphasis on the automatic software generation from behavioural/structural models. The validation process will be detailed considering both model-in-the-loop simulation, and hardware-in-the-loop validation. Finally the concepts related to automatic code generation and integration of the generated code into an hardware platform will be addressed. A short introduction to AUTOSAR standard will also be analyzed.
Lo studente apprenderà il concetto di model-based software design, è acquisirà conoscenze relative ad importanti standard
internazionali quali ISO26262, nonché conoscenze di architetture avanzate quali AutoSAR.
The student will master the concept of model-based software design, and will acquire knowledge on important standards as
ISO26262, and advanced software architectures as AUTOSAR.
In particular the expect results are:
1. knowledge of the ISO26262 design process;
2. knowledge of the model-based software design principle;
3. knowledge of the concept of automatic code generation;
4. knowledge of the concept of software integration into hardware platform;
5. knowledge of the concept of software validation using model-in-the-loop and hardware-in-the-loop testing;
6. knowledge of AUTOSAR.
Conoscenze di base sull’architettura di un calcolatore.
Basic knowledge of the architecture of computing systems. Basic knowledge of programming concepts and MATLAB/Simulink usage are welcome.
1. Flusso di progetto di un sistema. Il caso automotive e lo standard ISO26262.s (1.5 CFU)
2. Model-based design e strumenti di supporto. (2.5 CFU)
3. AUTOSAR. (1 CFU)
4. Laboratorio. (1 CFU)
1. Introduction to embedded systems for mechatronics application, the hardware and the software perspectives (0.5 CFU)
2. Modern embedded system design flow, and the automotive case with ISO26262 standard. (0.5 CFU)
3. Model-based design principles and supporting technologies (0.5 CFU)
4. Guidelines for effective modelling (1.0 CFU)
5. Automatic Code generation and deployment on target hardware (0.5 CFU)
6. Validation techniques based on simulation and on static analysis (1.0 CFU)
7. Software testing techniques (0.5 CFU)
8. AUTOSAR. (0.5 CFU)
9. Laboratory. (1 CFU)
Lezioni in aula e sessioni di laboratorio.
The course is organised in formal lectures and in laboratory sessions. The concepts are first presented through formal lectures in class with the aid of transparencies and exercises, and then the concepts are analysed from the practical point of view through laboratory sessions. Normally the concepts are address in one week of lectures/exercises, and then the laboratory is held in the following week, dividing the class in at least two groups.
Lucidi delle lezioni forniti dal docente.
Compulsory reading material:
Lecture notes provided by the teacher.
MATLAB/Simulink/StateFlow user manual
Additional 0rReading material:
P. Koopan, Better Embedded System Software, Drumnadrochit Education, ISBN-13: 978-0984449002
R. Bosch, Bosch Automotive Electrics and Automotive Electronics: Systems and Components, Networking and Hybrid Drive, Vieweg + Teubner Verlag, ISBN-13: 978-3658017835
K. Reif, Automotive Mechatronics: Automotive Networking, Driving Stability Systems, Electronics, Vieweg + Teubner Verlag, ISBN-13: 978-3658039745
Modalità di esame: prova scritta; progetto di gruppo;
Esame scritto (70% del voto finale)
Progetto (30% del voto finale)
Exam: written test; group project;
The written exam is composed of 6 questions, closed books, with maximum score 33.
Each question is either a open-answer question where the student is asked to illustrate one of the topics of the class, or an exercise where the student is asked to apply the theory presented in class on a numerical exercise.
Students shall implement a group assignment during the semester (two students per group), collecting and documenting the experiences done in each laboratory session. The assignment will be evaluated for a maximum score of 33.
The final grade will be given by combining 50% of the exam score and 50% of the assignment score. In case of final score of 33 the final grade will be 30L, in case the final score is between 30 and 32, the final grade will be 30. In case of final score less than 30, the final grade will be equal to the final score. In case of score less than 18, the exam will be considered as failed.
The assignment score lasts for 1 academic year.