Autoliv:

  • Safety analysis and production of elements for the certification file with respect to the ISO 26262 standard
  • Development of coding and verification guidelines for engine control applications
  • Freedom from interference (FFI) Analysis
  • Tool for Dependent failure analysis and FFI (IFFree)

PSA:

  • Compliance of the sofware development process with respect to the ISO 26262 standard

Delphi:

  • Production of proof evidence for ISO 26262 level B systems

Magneti Marelli:

  • Verification of a dashboard software (MISRA C++ compliance, absence of runtime errors) with Polyspace