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 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.
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)
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
Modalità di esame:
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.
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.