ECLAIR code analysis tool qualified for safety-critical standards

April 03, 2020 //By Ally Winning
BUGSENG now has qualification kits for its ECLAIR static source code analysis tool for various safety standards.
BUGSENG now has qualification kits for its ECLAIR static source code analysis tool for various safety standards.

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.

More information

www.hitex.com/eclair

Related news

HIGH-SPEED IP CONNECTS SECURE MCUS TO XILINX PRODUCTS

HITEX EASES CODING FOR INFINEON'S AURIX MULTICORE ARCHITECTURE

AXIVION AND BOSCH SIGN GLOBAL FRAMEWORK AGREEMENT

EMBEDDED PROFILER WITH ARCHITECTURAL INSIGHT OPTIMIZES SOFTWARE

 


Vous êtes certain ?

Si vous désactivez les cookies, vous ne pouvez plus naviguer sur le site.

Vous allez être rediriger vers Google.