Course topics:

• From concept to system decomposition: What software people must know.
• Software Development Process (ISO 26262 - Part 6)
  • Content of the Software Safety Process
  • Initiation and tailoring
• Software Safety Requirements Specification:
  • Sources of Software Safety Requirements and interfaces to System Level
  • Interpretation of properties and attributes required by ISO26262
  • Practical methods how to derive and detail requirements for the software
  • Methods for the verification of Software Safety Requirements
• Hardware Software Interface Specification
  • Interfaces to the Software Safety Requirements and Software Architecture
• Software Architecture:
  • How to develop a Software Architecture acc. to ISO26262
  • Semi-formal architecture development - interpretation of ISO26262
  • Measures to be considered
  • ASIL Decomposition at the software level
  • How to implement Freedom from Interference
  • Safety requirements allocation to software architectural components
  • Methods for the verification of the Software Architecture.
• Software Unit Design
  • Content of a semi-formal Software Unit Design Specification
  • Interpretation of design requirements recommended by ISO26262
  • How to deal with OO programming languages (C++)
  • Methods for the verification of the software unit design
• Software Safety Verification
  • Software Analysis Techniques
    • Software Criticality Analysis
    • Software Dependent Failure Analysis
  • Software  Testing Techniques (Unit and Integration Testing)
    • Requirements based (Equivalence Classes, Boundary Values, etc.)
    • Structure based (Statement Coverage, MCDC, Call Coverage, etc.)
  • Tool classification and qualification
  • Software qualification, How to deal with existing components.