AUTOSAR Classic: A Comprehensive Guide to Safety and Cybersecurity in Automotive Software
Back to news Revolutionize Automotive Software Verification with AUTOSAR & TrustInSoft /*! elementor – v3.19.0 – 29-01-2024 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=”.svg”]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block} /*! elementor – v3.19.0 – 29-01-2024 */ .elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px} AUTOSAR Classic AUTOSAR remains a key driver in automotive software development, providing a standard for embedded systems […]
Caroline Guillaume Appointed TrustInSoft CEO
Back to news TrustInSoft welcomes former COO Caroline Guillaume as Chief Executive Officer /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=”.svg”]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block} /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px} TrustInSoft Announces New CEO TrustInSoft is delighted to announce a pivotal moment in TrustInSoft’s evolution. […]
TRUSTINSOFT ANALYZER DEMO
Demonstration of TrustInSoft Analyzer: C/C++ source code exhaustive static analysis tool https://www.youtube.com/watch?v=G1husGoT10Q See TrustInSoft Analyzer in action with Sr. Systems Engineer Jason Landers. In this demonstration, you will learn how TrustInSoft Analyzer can be used to obtain a mathematical guarantee of software safety, security, and reliability. This is done by using formal methods to identify […]
How TrustInSoft Analyzer improves automotive software security and lowers the cost of ISO/SAE 21434 compliance
Back to news /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=”.svg”]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block} This post concludes a three-part series examining the implications of the ISO/SAE 21434 automotive cybersecurity standard from a software development perspective. In Part 1, we looked at how recent trends in the industry are rapidly increasing vehicle attack surfaces, and […]
Why undefined behaviors are the greatest threat to automotive software security and ISO/SAE 21434 compliance
Back to news /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=”.svg”]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block} In the first post of this series, we introduced ISO/SAE 21434 in the context of automotive software development. We looked at how recent trends in the industry are rapidly increasing vehicle attack surfaces, and the challenges developers face in […]
ISO/SAE 21434 – Why it’s needed and the challenges it presents to automotive software developers
Back to news /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=”.svg”]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block} Over the past two decades, innovation, competition and customer demand have greatly increased the automotive industry’s dependence on software and connectivity. Rapid innovation has transformed motor vehicles from mostly mechanical machines into highly complex, highly connected cyber-physical systems. Unfortunately, […]
TrustInSoft Analyzer Breaks New Ground in Software Validation on Emulated Target Hardware and Associated Memory Mapping
Back to news Enhanced feature emulates architecture with ultimate precision Press Release PARIS and SAN FRANCISCO—11th December 2023 — TrustInSoft, the leader in exhaustive C/C++ software source code analysis, announced today that TrustInSoft Analyzer now includes memory mapping, in addition to its already highly accurate target hardware awareness. Low-level software relies on mappings between program […]
ISO/SAE 21434 from a Software Development Perspective
Back to news ISO/SAE 21434 FROM A SOFTWARE DEVELOPMENT PERSPECTIVE How sound, exhaustive static analysis can help ensure air-tight automotive cybersecurity while lowering its costs White Paper: ISO/SAE 21434 FROM A SOFTWARE DEVELOPMENT PERSPECTIVE Software and connectivity have been the driving forces behind most of the major innovative trends in automotive systems over the last […]
TrustInSoft Fuzzing Feature Unlocks Advanced Software Verification
Back to news Unique analysis technique goes far beyond the limits of traditional fuzzing /*! elementor – v3.15.0 – 20-08-2023 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=”.svg”]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block} /*! elementor – v3.15.0 – 20-08-2023 */ .elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px} PRESS RELEASE PARIS and SAN FRANCISCO—30 October 2023—TrustInSoft, the leader in exhaustive C/C++ software […]
Simplifying ISO 26262 Certification with TrustInSoft Analyzer
icon/arrow Back to news How automotive software teams reduce compliance challenges by eliminating 100% of undefined behaviors White Paper: Simplifying ISO 26262 Certification with TrustInSoft Analyzer This white paper describes a pivotal enabler of this transformation: formal methods and sound analysis principles that guarantee that if testing detects no undefined behaviors, there are no undefined […]
