ELISA Webinar #1: Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508


Lukas Bulwahn
 

Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508
Referee: Dr. Oscar Slotosch, Validas

Agenda:
Recent thoughts and methods how to build a QKit for Linux.
We see three different classes of elements in ISO 26262 and IEC 61508 as part of the “safety architecture”:
  • Tools
  • Unchanged/pre-existing software components
  • Software (SEOOCs)
And we think that Linux requires qualification for elements within all those classes.
So therefore we propose as potential activities for Elisa:
  • Description of a process for qualification of Linux and Linux applications
  • Safety plan, showing the compliance of the process with ISO 26262 and IEC 61508 (including of checks to be performed)
  • qualification of
  • linux tools for
  • compilation, e.g. gcc
  • code coverage measurement, e.g. gcov
  • test automatization, e.g. gtest, gdb
  • Linux libraries , libc, libm, C++stdlibs (as far as needed)
  • Linux components, e.g. kernel, modules
  • Provide a qualified tool chain to safely develop applications
The following things we have already achieved and can present you:
  • (certified) qualification processes for Tools & Libraries (SEOOCs still open)
  • QKit for gcc
  • QKit concept for gcov
  • QKit for 200 runtime functions of libm, libc
  • QKit for QKits (adaptable for linux)
There is much to do, but we do already have parts, plans & visions that we like to share with you.