PORTALE DELLA DIDATTICA

PORTALE DELLA DIDATTICA

PORTALE DELLA DIDATTICA

Elenco notifiche



Model-based software design

01OUZQW, 01OUZOV

A.A. 2025/26

Course Language

Inglese

Degree programme(s)

Master of science-level of the Bologna process in Mechatronic Engineering (Ingegneria Meccatronica) - Torino
Master of science-level of the Bologna process in Ingegneria Informatica (Computer Engineering) - Torino

Course structure
Teaching Hours
Lecturers
Teacher Status SSD h.Les h.Ex h.Lab h.Tut Years teaching
Co-lectures
Espandi

Context
SSD CFU Activities Area context
ING-INF/05
ING-INF/05
3
3
F - Altre attività (art. 10)
C - Affini o integrative
Abilità informatiche e telematiche
Attività formative affini o integrative
2023/24
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.
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.
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.
The student will master the concept of model-based software design, and will acquire knowledge on important standards as ISO26262, and advanced software architectures. 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;
Basic knowledge of the architecture of computing systems. Basic knowledge of programming concepts and MATLAB/Simulink usage are welcome.
Basic knowledge of the architecture of computing systems. Basic knowledge of programming concepts and MATLAB/Simulink usage are welcome.
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)
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. Laboratory. (1.5 CFU)
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.
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.
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
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
Slides; Video lezioni dell’anno corrente;
Lecture slides; Video lectures (current year);
E' possibile sostenere l’esame in anticipo rispetto all’acquisizione della frequenza
You can take this exam before attending the course
Modalità di esame: Prova scritta (in aula);
Exam: Written test;
... Written exam 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. Assignment 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.
Gli studenti e le studentesse con disabilità o con Disturbi Specifici di Apprendimento (DSA), oltre alla segnalazione tramite procedura informatizzata, sono invitati a comunicare anche direttamente al/la docente titolare dell'insegnamento, con un preavviso non inferiore ad una settimana dall'avvio della sessione d'esame, gli strumenti compensativi concordati con l'Unità Special Needs, al fine di permettere al/la docente la declinazione più idonea in riferimento alla specifica tipologia di esame.
Exam: Written test;
Written exam 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. Assignment 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.
In addition to the message sent by the online system, students with disabilities or Specific Learning Disorders (SLD) are invited to directly inform the professor in charge of the course about the special arrangements for the exam that have been agreed with the Special Needs Unit. The professor has to be informed at least one week before the beginning of the examination session in order to provide students with the most suitable arrangements for each specific type of exam.
Esporta Word