BUGSENG

About BUGSENG

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.