SAEL

  1. exida
  2. SAEL
  3. Software
  4. Engineering Tools
  5. CodeSonar Static Analysis Tool

AdaCore Technologies Inc.

CodeSonar Static Analysis Tool

IEC 61508, ISO 26262, EN 50716     SIL 3 / 4, SIL 3 / 4 , ASIL D

Assessed By:

Certificates
   IEC 61508 Certificate    ISO 26262 Certificate    EN 50716 Certificate
Assessment Reports
  Assessment Report