In functional safety development, compiler qualification is not optional: it is a requirement. Yet, identifying all compiler use cases in a large project and configuring the validation suite for each of them has always been a manual, error-prone, and time-consuming task: until now.
ECLAIR CerTran automates this process completely, making continuous compiler qualification for C and C++ projects a practical, fast, and highly reliable reality. Whether you are building safety-critical systems for automotive, rail, medical, robotics, or industrial automation, CerTran delivers confidence in your toolchain, seamlessly integrated with your CI/CD workflows.
CerTran is an add-on to ECLAIR Software Verification Platform, jointly developed by BUGSENG and Solid Sands. It automates the detection of all actual compiler use cases within a project and drives SuperTest, the industry’s leading compiler test and validation suite, to qualify each use case automatically.
No more digging through dozens of Makefiles, scripts, and build systems. No more manual configuration mistakes. With CerTran, you get precision, repeatability, and full traceability, every time.
Standards like ISO 26262, EN 50128, EN 50657, IEC 61508, and IEC 62304 mandate confidence in software tools that may impact safety. This includes compilers and toolchains.
CerTran addresses the most challenging part of compiler qualification:
Identifying all the ways your compilers are actually used, including undocumented options and build-specific defaults.
CerTran eliminates the guesswork and automates qualification as part of your development and verification pipeline.
CerTran is designed to support:
Projects with multiple toolchains and many custom compiler configurations
Safety-critical systems composed of dozens or hundreds of components, each with unique optimization, precision, or compatibility needs
Organizations embracing shift-left verification and automated CI/CD
Whether you are validating toolchains for an ADAS system, a railway control unit, or a medical firmware project, CerTran ensures you are covered fully, correctly, and continuously.
CerTran is the result of a collaboration between:
BUGSENG, creators of the ECLAIR verification suite and experts in C/C++ static analysis and functional safety
Solid Sands, providers of SuperTest™, the world-leading compiler test and validation suite
This partnership delivers a turnkey solution for the continuous qualification of C/C++ compilers in safety-critical environments.
Let’s make compiler qualification a strength, not a burden.ECLAIR CerTran transforms a manual compliance obligation into an automated, integrated, and value-adding part of your development process.
Schedule a callRequest a quote
