TrustInSoft Mathematically Guarantees Zero Bug Vehicles with New Application Security Test

Zero Bug AST for the automotive sector - TrustInSoft

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 proves the […]

Mitsubishi Electric R&D Centre Europe creates reliable innovation with TrustInSoft

Graphic: Mitsubishi electric creating reliable innovation with TrustInSoft

  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

Graphic: News

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, announces […]

Achieve ISO-26262 compliance with TrustInSoft Analyzer

Visual example with text that 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 well as their recommendation tables for the required ASIL.

  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 […]

TrustInSoft is ready to secure connected cars!

  Back to news How TrustInSoft will innovate the connected vehicle market Connected Vehicles and TrustInSoft TrustInSoft has been selected among 8 French companies to tackle the US market for connected vehicles. The jury was composed of selected experts: Dr. Chris Urmson, Director, Self-Driving Cars Project Google, Dr. Peter Sweatman, Director, University of Michigan Transportation […]