TrustInSoft Enters the Automotive Market with Exhaustive Static Code Analysis Tool For Safety and Cybersecurity Critical Software

TrustInSoft, the leader in exhaustive C/C++ software source code analysis, announced , that they have expanded into the Automotive market in addition to their collaboration in the last few years with worldwide leaders in the Critical and Telecoms/IoT/Semiconductor markets. TrustInSoft announced today that eSOL, a specialist in embedded systems, and EasyMile, a vendor of autonomous mobility solutions, have chosen TrustInSoft Analyzer to complement their product development strategies.

Recommended AI: “Bitcoin Has No Intrinsic Value”. Then What Gives Bitcoin Value?

TrustInSoft provides safety and cybersecurity critical software verification tools and services based on mathematics. Professionals involved in developing safety and cybersecurity critical embedded software understand the importance of proper testing of software. Simple problems that go undetected during development can result in product problems with dramatic consequences. TrustInSoft helps companies to fix bugs early in the product development cycle with an innovative approach that allows developers and testers to run the equivalent of billions of tests using mathematical techniques known as formal methods.

eSOL

eSOL is a publicly traded (TSE:4420) global leader in embedded systems and edge computing, headquartered in Japan. eSOL’s high-performance, scalable software platform products are centered on its unique, patented eMCOS multikernel real-time operating system (RTOS) technology and provide the safety and security features essential for today’s critical embedded systems such as autonomous driving.

Recommended AI: Top 10 Countries and Cities by Number of CCTV Cameras

Their products are used worldwide in diverse and demanding embedded application fields conforming to stringent quality, safety, and security standards; these range from automotive systems to industrial equipment, medical and digital consumer electronics.

“eSOL uses TrustInSoft Analyzer for the development of our eMCOS RTOS and Hypervisor platform, ensuring that all functions are correctly integrated and eliminating at a very early stage complex errors that might occur later, during or after integration. In this way we achieve the highest quality of our RTOS, and our customers receive a fast and secure system integration. We avoid unacceptable risks and damages and help our customers to build highly reliable autonomous vehicles,” said Masaki Gondo, CTO and Senior Executive Vice President of eSOL.

Recommended AI: How is Artificial Intelligence (AI) Changing the Future of Architecture?

[To share your insights with us, please write to sghosh@martechseries.com]