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.
| EGICON is an award-winning developer of mission-critical embedded and Automated Testing Solutions (ATS) across the automotive, industrial, medical, aerospace and defence sectors. A proactive and technological advanced company, with particular attention to increasing request for reliability coming from the professional market. | |
| As company leader in open source embedded systems, EVIDENCE provides innovative software solutions for the design and the development of real-time embedded systems, with a special focus on multi-core hardware platforms. | |
| Continental – more than 240,000 passionately committed people who realize the dream of mobility every day for customers and users in 60 countries – is one of the leading automotive suppliers worldwide. Continental provides integrated active and passive safety technologies and products that support vehicle dynamics for ever more safety and comfort. | |
| MRX Technologies is a Perth-based engineering company and has been operating within the railway industry since 1996. They develop, design and build advanced industrial measurement and control equipment, mostly for heavy-haul and passenger railways in Australia and other parts of the world. | |
| ANSALDO STS integrates experience and technological, financial and human resources to provide innovative solutions in the design and construction of equipment and systems dedicated to the signalling and automation of metro networks and railway lines, conventional and high-speed, for both passengers and goods transport. | |
| 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. |
