BUGSENG

BUGSENG is a leading provider of high-quality solutions and services for software verification.

The ECLAIR tool suite can support your development in all phases: from the source code to the executable code ready to be embedded in your critical devices. Key features are:

• Continuous compliance to coding standards
• Automatic toolchain configuration
• Use from GUI, command line, IDE, CI/CD systems
• Automatic checking of independence and freedom from interference
• Integrated requirements management tool
• Certified and qualifiable for the main functional-safety standards
• Advanced use in Docker containers

BUGSENG offers highly specialized consulting services to help industry leaders improving their development processes and complying with functional-safety standards. E.g., bringing existing projects into MISRA compliance, development and verification of safe and secure software, integration of software verification tools into complex CI/CD infrastructures.

BUGSENG is also a renowned resource for advanced professional training on MISRA C, project management and ECLAIR.