Learn how to write software that is safe and how to apply safety measures in software.
The course expands on the overall role software plays in modern technical systems, with emphasis on next-generation vehicle designs where software takes the dominating role. The course bridges the discussion on the practical measures used in software design, as well as key programming constructs, with the take on complex software stacks and their future role in automotive safety. Some of the key software methods are explicitly exercised, including stateless design, static resource allocation, N-version programming, recovery block, failure assertion and defensive programming, diverse monitoring, scheduled and time-triggered execution, real-time aspects. Students will also analyze several examples of software verification and validation techniques and apply them in the safety domain from the practical standpoint.
Course topics:
- Automotive safety: role of software in modern systems – challenges and opportunities
- Selected chapters from the complex software stacks
- Selected chapters from software safety methods (stateless design, static resource allocation, N-version programming, recovery block, failure assertion and defensive programming, diverse monitoring, scheduled and time-triggered execution, real-time aspects, etc.)
- Considerations, challenges, and advantages of modern software paradigms (software decomposition, caging, software upgrade procedures and cybersecurity aspects)
- Selected chapters from software verification and validation techniques (e.g. MISRA, ULT, coverage (functional, statement, branching), etc.)
Requirements
Software: Chrome browser.
Hardware: Computer with an Internet connection, working speakers, and microphone.
Prior knowledge: Students should have basic engineering knowledge in either one of the following disciplines: electrical engineering, computer engineering, or mechanical engineering. Ideally, students shall have completed the course “Systems, Functions and Safety (FSBA-SFS)”, “Functional Safety Standards in Automotive (FSBA-FSSA)”, and “Functional Safety Design in Automotive (FSEA-FSDA)”.
