The company will supply qualification kits such as CENELEC EN 50128 (railway), ECSS-Q-ST-80C (space systems), IEC 61508 (industry in general), IEC 62304 (medical), ISO 26262 (automotive) and RTCA DO-178C/DO-330 (aerospace). Documentation for the qualification kits are designed to meet the requirements of these standards. Thousands of test cases for MISRA-C:2004, MISRA C:2012 and MISRA C++:2008 also come with qualification kits to ensure reliable detection of rule violations.
ECLAIR has been designed to find possible runtime errors during the coding phase of software in C or C++ allowing the errors to be excluded early in the process. ECLAIR checks coding rules, such as the MISRA rules, to avoid unspecified and undefined behaviour.