Our customers know that BUGSENG and ECLAIR are the best choice when it comes to software verification. Here we present a few of the most impressive customer stories. Whether in the demanding automotive industry, producing critical medical devices, or working on the latest scientific developments, safety and quality are at the forefront. Customers rely on BUGSENG and ECLAIR to ensure coding standard compliance to a level never before seen.
| Power-One, a member of the ABB Group, has one of the widest portfolios of solar inverters. Power-One solar inverters utilize over 40 years of experience and advances made in inverter and power converter technology that have contributed to Power-One becoming the world leader in frequency converters. Power-One R&D uses ECLAIR to verify the quality of the software of its inverters. | |
| Bitron is a leader in the development, manufacturing and distribution of systems and components for the automotive and household appliance industries. With more than 5000 employees and 12 manufacturing plants worldwide, the Grugliasco business unit, the main research, development and engineering unit, uses ECLAIR throughout the development cycle to ensure high-quality software for the most stringent quality systems. | |
| TRW Automotive is a major global supplier of automotive systems, modules and components to automotive original equipment manufacturers (OEMs) and related aftermarkets. The company's operations primarily encompass the design, manufacture of safety systems and is one of the world's largest players in the field. TRW is a leader in the development, manufacturing and distribution of systems and components for the automotive industry. | |
| At CERN, the European Organization for Nuclear Research, physicists and engineers are probing the fundamental structure of the universe. They use the world's largest and most complex scientific instruments to study the basic constituents of matter – the fundamental particles. CERN uses ECLAIR to check the coding standard of ROOT, an object-oriented program and library for high energy and nuclear physics used in several particle physics experiments including those based on the Large Hadron Collider for which it routinely analyzes and visualizes petabytes of data. | |
| The Certus Centre conducts industry-relevant research, with the goal of turning research into deliverables that are readily available for industrial application and use. Certus researchers have developed a prototype software tool TITAN for test suite optimization, leveraging strong research results based on constraint programming. Certus uses ECLAIR, both to prove MISRA compliance of C/C++ software and to pursue its research, in cooperation with BUGSENG, on the automatic generation of unit tests. | |
| Tecnoideal is a leader in the design and manufacture of equipment and systems used by many medical device manufacturers world-wide. Integrity testing is a key technology in the company's drive to produce high-tech reliable machines for customers' requirements. Tecnoideal commissioned BUGSENG to develop a coding standard, to be enforced using ECLAIR, to ensure that all embedded systems are tested to the highest possible levels and in conformance to the IEC 62304 standard. |
