Embedded World 2023

icon/arrow Back to news TrustInSoft looks back on another successful Embedded World show complete with a presentation about formal methods during the conference and on-demand demos at the booth. We look forward to seeing you next year! A great year for embedded technology innovation at Embedded World That’s a wrap! TrustInSoft’s team had a blast […]

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

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

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

Back to news Visit TrustInSoft at the Consumer Electronics Show at the French Automotive Pavilion in the Las Vegas Convention Center West Hall, Booth 5400 to learn more and see a demo. /*! elementor – v3.9.0 – 06-12-2022 */ .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.9.0 – 06-12-2022 */ .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 […]

From Bare Metal to Kernel Code:How Exhaustive Static Analysis Can Guarantee Airtight Security in Low-level Software and Firmware

Back to news TrustInSoft’s new white paper examines how exhaustive static analysis can guarantee airtight security in low-level software and firmware applications… and why traditional static analysis and software testing can’t Why Do You Need To Achieve Airtight Security in Low-Level Software and Firmware? The widespread proliferation of connectivity in embedded systems has made low-level […]

Ensuring Compliance for Critical Devices For the Cyber Resilience Act

Back to news The Cyber Resilience Act brings new requirements for IoT Devices in Europe, find out how TrustInSoft can help meet them and put you ahead of the curve Table of Contents Introduction Breakdown of Objectives Cyber Resilience Act Classes How TrustInSoft Analyzer Can Help How to Go Beyond Compliance Introduction The Cyber Resilience […]

CERT C Benchmark

Back to news What is CERT C & why is it especially relevant to improve code safety, reliability, and security? Table of Contents What is CERT C & why is it especially relevant to improve code safety, reliability, and security? The Benchmark Breakdown Undefined Behavior Only Rules All CERT C Rules Medium-High Severity Rules High […]

Delivering Safety & Cybersecurity Critical Software Faster and Cheaper

icon/arrow Back to news How four leading safety-critical systems developers have used TrustInSoft Analyzer to eliminate pesky bugs, guarantee cybersecurity, improve customer relationships, and reduce verification costs Introduction In Part 1 of this series , we discussed why software for safety-critical systems is hitting an “affordability wall,” why reliance on wireless connectivity in those systems is […]