The Office of the National Cyber Director (ONCD) Calls to Reduce Memory Safety Vulnerabilities
Back to news Using Formal Methods to Address the Challenges of Transitioning Codebases to Memory-Safe Languages /*! 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} Key Points: Transitioning entire codebases to memory-safe programming languages presents several challenges. Memory-safe […]
The White House Calls to Address Root Cause of Many of the Worst Cyber Attacks
Back to news The Office of the National Cyber Director (ONCD) issued a report prescribing the use of formal methods to improve risks associated with memory safety in embedded code. White House Calls to Address Root Cause of Many of the Worst Cyber Attacks Key Points: Memory safety issues pose significant risks in software […]
ISO 26262 Requirements for Guaranteed Automotive Safety & Security
icon/arrow Back to news How to ensure safety and security of automotive vehicles with qualified ISO 26262 tools. ISO 26262 Safety & Security Preview How to prepare for a safe and secure future for automotive and autonomous vehicles? Complying with coding and modeling guidelines specified by the ISO 26262 standard. A car in autonomous driving […]
Beyond Patching: Building Inherent Security into IoT and Embedded Devices
Back to news What are the challenges of post-deployment patching and how can you implement a security-by-design approach? Securing IoT: Shift Left Security Approach in a Swiftly Advancing Digital Landscape In today’s rapidly expanding digital landscape, the Internet of Things (IoT) and embedded devices are becoming ubiquitous, powering everything from smart home appliances to critical […]
AUTOSAR Classic: A Comprehensive Guide to Safety and Cybersecurity in Automotive Software
icon/arrow Back to news Revolutionize Automotive Software Verification with AUTOSAR & TrustInSoft AUTOSAR Classic AUTOSAR remains a key driver in automotive software development, providing a standard for embedded systems crucial for vehicle safety and cybersecurity TrustInSoft Analyzer enhances AUTOSAR Classic’s implementation, automating analysis driver generation and significantly streamlining the verification process. Early bug detection with […]
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
TrustInSoft Analyzer Demo: C/C++ source code exhaustive static analysis tool https://www.youtube.com/watch?v=G1husGoT10Q See TrustInSoft Analyzer in action with Director of Systems Engineering, 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, […]
