AUTOSAR Classic: A Comprehensive Guide to Safety and Cybersecurity in Automotive Software

AUTOSAR Classic: A Comprehensive guide with TrustInSoft: image of a car, TrustInSoft logo, AUTOSAR logo

  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

TrustInSoft CEO Caroline Guillaume quote

  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

TrustInSoft Analyzer interface designated for 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 […]

TrustInSoft Analyzer Breaks New Ground in Software Validation on Emulated Target Hardware and Associated Memory Mapping

image of press release title: TrustInSoft Analyzer Breaks New Ground in So9ware Valida;on on Emulated Target Hardware and Associated Memory Mapping over dark tech background

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

Going Beyond Fuzzing for Airtight Security

Fuzzing White Blog Series: Blog 3 Going Beyond Fuzzing for Airtight Security; Even when used with the best analysis tools, fuzzing will not provide perfect code coverage. For your most security-critical applications, you may need to go further.

icon/arrow Back to news Even when used with the best analysis tools, fuzzing will not provide perfect code coverage. For your most security-critical applications, you may need to go further. In Part 1 of this series , we introduced the software verification technique called fuzzing.  We described what it is, who uses it and why, the […]

Optimizing Fuzzing to Eliminate More Vulnerabilities

Graphic Fuzzing Blog 2: Optimizing Fuzzing to Eliminate More Vulnerabilities; Fuzzing has its limitations, formal methods can help you overcome them

icon/arrow Back to news Fuzzing has its limitations. Formal methods can help you overcome them. In the first post of this series , we introduced the software verification technique called fuzzing.  We described what it is, who uses it and why, the tools involved, and the benefits of fuzzing. In this post, we’ll examine the limitations […]

TrustInSoft Analyzer Drives Results on the Toyota Infotechnology Center (ITC) Test Suite

Image with text TrustInSoft Drives Results on ITC Test Suite, in the background is a large automotive vehicle.

icon/arrow Back to news Learn more about the benchmark of static analysis tools for the purpose of comparing solutions for automotive safety and security practices & TrustInSoft Analyzer’s results on the ITC test suite Context The Toyota Infotechnology Center (ITC) test suite, created for C/C++ static analysis tools, was designed to quantitatively evaluate industry tools […]

Why low-level code has become the new focal point of cybersecurity for embedded systems

low-level code blog 1- why low-level code has become the new focal point of cybersecurity for embedded systems

icon/arrow Back to news The rapid expansion of connected devices and applications poses cybersecurity threats for embedded systems, download the free white paper to learn about the risks and possible solutions From smartphones to gaming consoles, automobiles to self-service fuel pumps, medical implants to smart-home technologies, the number of connected devices that touch our lives […]