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

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

How exhaustive static analysis can slash software verification costs and schedule for developers of safety and cybersecurity critical systems

Back to news Why industries like aerospace and nuclear energy generation are moving away from traditional software testing and toward exhaustive static analysis Introduction In the first post 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 exacerbating the problem, […]

TrustInSoft Annual Workshop 2022

Back to news TrustInSoft employees get together for the first annual team-building workshop TrustInSoft Hosts its First Annual Workshop This September, TrustInSoft went on a team-building retreat to connect and brainstorm new ideas. In one team-building activity, we participated in an aqueduct challenge where four teams had limited time and resources to create an aqueduct […]

Embedded World 2022

  Back to news Don’t miss a chance to see the demo from Embedded World 2022 on proving the absence of bugs in the Mbed TLS library. TrustInSoft Exhibited at Embedded World 2022 TrustInSoft exhibited at Embedded World 2022 in Nuremberg, Germany from 21 – 23 June 2022. Embedded World is an event focused on […]

Automotive Testing Expo (ATE) 2022

Back to news TrustInSoft exhibited at the ATE in Stuttgart, Germany in 2022 with a zero bug software offer for automotive software testing TrustInSoft Exhibited at the Automotive Testing Expo 2022 Our latest offer to ensure the safety and security of automotive software was showcased at the Automotive Testing Expo in Stuttgart, Germany. Automotive Testing […]

TrustInSoft at The International Cybersecurity Forum (FIC) 2022

icon/arrow Back to news At the beginning of June TrustInSoft exhibited at the FIC 2022 with its zero bug offer with TrustInSoft Analyzer TrustInSoft Exhibits at the FIC 2022 TrustInSoft exhibited as partners of Hexatrust at the International Cybersecurity Forum (FIC) at the beginning of June.   The FIC is the leading European event in […]

ERTS 2022 in Toulouse, France

  Back to news TrustInSoft exhibited at ERTS 2022 for the 11th edition of the European Congress Embedded Real Time Systems event in Toulouse, France TrustInSoft at ERTS 2022 June 1-2 TrustInSoft exhibited at ERTS in Toulouse, France at the Diagora Congress Center. This 11th edition of the European Congress for Embedded Real Time Systems […]