Functional Safety related services
ECLAIR is a software verification platform for the static analysis of C and C++ source code. It provides accurate support of the most used coding standards in the embedded systems industry: all the MISRA coding standards, BARR-C, and others. It features a "Bug Finder" module that identifies security vulnerabilities, dead code, API misuses, and other errors, including: buffer overflows, dereferences of null pointers, pointer arithmetic errors, use of uninitialized variables, uninitialized or invalid return values, divisions by zero, undefined operations, dead stores, leaks of stack memory addresses, memory leaks, unreachable code, double-free, use-after-free, lossy implicit conversions, excessive padding, string manipulation errors, and other common programming mistakes.
ECLAIR Qualification Kits
ECLAIR Qualification Kits provide crucial help to safety teams in charge of qualifying ECLAIR following the prescriptions of functional safety standards. The kits contain documents, test suites, procedures, and automation facilities that can be used by the customer to obtain all the confidence-building evidence that is required to make a solid argument justifying the use of ECLAIR in safety-related projects. ECLAIR Qualification Kits provide direct, explicit support for several functional safety standards: CENELEC EN 50128, ECSS-Q-ST-80C, IEC 61508, IEC 62304, ISO 26262, RTCA DO-178C/DO-330. They support all current MISRA coding standards: MISRA-C:2004, MISRA C:2012, MISRA C++:2008.
BUGSENG provides a full set of training services on the effective deployment and use of its own products help ensure Customers are getting the most out of their technology investment. In addition, BUGSENG delivers both public and customized onsite courses that may be specifically tailored to the company's needs. Course topics include: the pitfalls of C and C++ programming; secure coding practices in C and C++; coding standards; integration of automatic software verification tools in the development workflow. The courses that BUGSENG delivers are highly qualified instructors and designed so that, after attending a course, attendees are immediately able to implement practices and apply the learned information to everyday work situations.
BUGSENG helps their customers assure the quality of the code created inside and outside of their organization and help them address quality and security requirements and coding standards. In particular, they have strong experience in the application of the MISRA coding standards to new and existing projects. BUGSENG engineers regularly conduct software audit reviews and coding standards compliance verification; they also provide support in the definition of refactory plans to gradually bring the source code base into compliance.