The State of Software Assurance 2025 - Embedded Computing Design

▤ Summary

TrustInSoft, Ferrous Systems, and Hitex released an inaugural report on software assurance for engineers and technical leads in embedded and safety-critical industries. The report says memory safety is becoming a baseline requirement and that traditional testing tools are no longer enough for mission-critical software. It highlights growing interest in formal methods, mathematical verification, and deeper static analysis as teams work across mixed C, C++, and Rust codebases. The article also ties this shift to compliance pressure from standards such as ISO 26262 and DO-178C. The report positions verification tooling as a stronger way to prove software integrity and reduce critical failures.

▦ Linked Companies

Hitex GmbH

$10M to $25M

TrustInSoft

$1M to $5M