How Exhaustive Static Analysis Will Make Next-Generation Automotive Software Safer, More Reliable, and More Secure

icon/arrow Back to news This post is Part 3 of a 3-part series derived from TrustInSoft’s latest white paper, “On the Road to Zero-Bug Vehicles by 2030.” To obtain a FREE copy, click here. Software will drive the automotive industry for years to come. In Part 1 of this series, we looked at the key, […]
Five Major Software Challenges the Automotive Industry Must Conquer by 2030

icon/arrow Back to news This post is Part 2 of a 3-part series derived from TrustInSoft’s latest white paper, “On the Road to Zero-Bug Vehicles.” To obtain a FREE copy, click here. Introduction Software is set to drive the automotive industry for years to come. In our previous post, we looked at the key, software-driven […]
Mobile World Congress 2022

icon/arrow Back to news TrustInSoft is exhibiting at the Mobile World Congress 2022 next week! Stop by our booth to learn more about how TrustInSoft’s innovative exhaustive code analysis solutions can detect 100% of undefined behaviors in your device software, for greater device security and more efficient software development. Book a Meeting Newsletter Related articles […]
SAE World Congress 2022

icon/arrow Back to news TrustInSoft is exhibiting at the SAE World Congress from April 5th-7th, 2022, in Detroit, MI, USA TrustInSoft at SAE World Congress April 2022 Stop by our booth to learn more about how TrustInSoft’s innovative exhaustive code analysis solutions can detect 100% of undefined behaviours in automotive software, while helping development teams […]
Software Trends, Risks, and Potential Rewards that Will Drive the Automotive Industry Over the Next Ten Years

icon/arrow Back to news This post is Part 1 of a 3-part series derived from TrustInSoft’s latest white paper, “On the Road to Zero-Bug Vehicles” To obtain a FREE copy, click here. Introduction Software is rapidly transforming the automotive industry. Over the next 10 years, expansion of the software and electrical/electronics market in the sector […]
How exhaustive static analysis can help manage automotive software challenges over the next 10 years

icon/arrow Back to news Read TrustInSoft’s latest white paper dedicated to addressing the automotive industry’s challenges to find out how to bridge the gap between software complexity and productivity. Why it’s time to switch to advanced code analysis to ensure the safety and security of vehicles Software is rapidly transforming the automotive industry. Over the […]
TrustInSoft Mathematically Guarantees Zero Bug Vehicles with New Application Security Test

icon/arrow Back to news Automated Formal Methods Testing for Automotive and Autonomous Driving Application Software Ensures Bulletproof Code for Real World Applications PRESS RELEASE San Francisco and Paris, June 9th, 2021 TrustInSoft, a cybersecurity software company, today announced a new Zero Bug Application Security Test (AST) for the automotive and autonomous driving market that […]
Mitsubishi Electric R&D Centre Europe creates reliable innovation with TrustInSoft

icon/arrow Back to news Mitsubishi Electric R&D Centre Europe faced the challenge of confirming the safety and reliability of more than 300,000 lines of code Who is Mitsubishi Electric R&D Centre Europe (MERCE)? A key component of Europe’s leading R&D community, Mitsubishi Electric R&D Centre Europe (MERCE) researches and develops innovative solutions relating to energy, […]
TrustInSoft raises €5M to push into the self-driving car and IoT markets

icon/arrow Back to news Through its Brienne III cybersecurity fund –first of it’s kind in France– ACE Management leads this round followed by TrustInSoft’s longstanding shareholders, Idinvest Partners and business angels. PRESS RELEASE Paris, 4 November 2019 – TrustInSoft, a cybersecurity software publisher whose technology provides software code reliability and security, based on mathematical proof, […]
Achieve ISO-26262 compliance with TrustInSoft Analyzer

icon/arrow Back to news Automatic verification of source code to meet ISO-26262 standard This document describes how to use the TrustInSoft Analyzer platform in order to automatically verify the source code requirements of the ISO-26262 standard. It contains an extract of the ISO-26262 standard that lists all the requirements related to the source code as […]