BUGSENG is a leading provider of solutions and services for automated software verification in the safety- and security-critical software industry. Implementing state of the art technology, BUGSENG designed ECLAIR Software Verification Platform®. The ECLAIR Suite is an ideal match for Arm development toolchains: both Arm C/C++ compilers versions 5 and 6 are supported out of the box (including Arm-specific builtins), and so are Keil μVision and Arm Development Studio. Arm toolchains' customers have thus access to very advanced coding standard checking and bug finding tools without any tool configuration overhead. Some of ECLAIR unique features, along with the fact that Arm compiler 6 is based on clang (same frontend used by ECLAIR), opens the way to further integration opportunities. ECLAIR is certified by TÜV SÜD according to: ISO 26262, IEC 61508, EN 50128, IEC 62304 and ISO 25119. BUGSENG offers highly specialised consulting services and advanced professional trainings.
Solution Briefs
-
Reliable MISRA Compliance Checking for Modern Critical Software Development
MISRA C/C++ are authoritative language subsets whose application has become a must in several industry sectors. Reliably checking for compliance poses significant challenges and requires tools of very high quality and sophistication.
Learn More -
ECLAIR: A Modern Platform Designed for Shift-Left Safety and Security Testing
Are static analysis tools ready for “shift-left?” Can they effectively support developers in the early eradication of critical defects during development? This is a case where a young, freshly designed system outperforms the legacy competitors.
Learn More -
Verification of Independence and Freedom from Interference via Static Analysis
Verifying the independence of system components is a crucial activity in the design and implementation of critical embedded systems. This must be done at all levels of system design, including the software level, where automation is key.
Learn More
Insights
-
Case Study
TrustedFirmware chooses ECLAIR to Reinforce Code Verification and Safety
Given Trusted Firmware provides an open source reference implementation of secure software for Arm® architectures, code verification and safety are extremely critical. TrustedFirmware.org enhances its Open CI with ECLAIR.
Learn More