ECLAIR code analysis tool qualified for safety-critical 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
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
If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :