TrustInSoft provides its high quality code verification tool to eSOL, a global leader in the embedded space.
eSOL, a publicly traded (TSE:4420) global leader in embedded systems and edge computing, headquartered in Japan, is one of many of our customers that have chosen TrustInSoft Analyzer for their development cycle. Specializing in high-performance, scalable software platform products, eSOL is known for their real-time OS called eMCOS POSIX and Hypervisor platform, with their work contributing greatly to the domain of robotic, automotive and more. For the development of these products, eSOL has chosen TrustInSoft Analyzer as a complementary tool for their development cycle.
Rolland Dudemaine, VP of Engineering at eSOL talks about how TrustInSoft Analyzer helps their development cycle: “These tools will always require that you actually run on a specific target. So, when you want to test, you test in a specific context, which means you restrict the verification to that specific context. TrustInSoft is, to our knowledge, the only tool that can allow you to provide this theoretical testing. The mathematical guarantee that you can define the correct code and undefined behavior in the common language of the C/C++, and the abstraction from the hardware.”