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: Prova orale facoltativa; Elaborato progettuale individuale;

The assessment will be based on an individual assignment the students have to deliver by the end of the semester, consisting in developing a small project on the topics of the class. Upon delivery of the individual assignment, students can be asked to take an oral exam to illustrate the content of the assignment.

Modalità di esame: Prova orale facoltativa; Elaborato progettuale individuale;

The assessment will be based on an individual assignment the students have to deliver by the end of the semester, consisting in developing a small project on the topics of the class. Upon delivery of the individual assignment, students can be asked to take an oral exam to illustrate the content of the assignment.