TrustInSoft introduced TrustInSoft Analyzer (TISA) 26.10, which expands AI-assisted automation to reduce engineering effort needed to set up formal analysis. When combined with enhanced MC/DC (Modified Condition/Decision Coverage) capabilities allows safety-critical software teams to reach full coverage in fewer steps.
“With TISA 26.10, we combine the power of AI automation with the rigor of formal verification to make exhaustive software verification faster and easier to deploy at scale,” said Caroline Guillaume, CEO of TrustInSoft. “AI automates the engineering work required to set up the analysis, while TrustInSoft Analyzer delivers the mathematical guarantees—enabling teams to verify more C, C++ and Rust code with significantly less manual effort.”
AI-assisted automation is expanded within the TrustInSoft Analyzer interface. Designers can utilize an AI coding agent to automate key steps needed to prepare and configure an analysis campaign. Engineers can follow the progression and review results directly in TISA.
TrustInSoft Analyzer performs the verification itself by exploring possible behaviors within the defined analysis scope and assumptions. It provides mathematical guarantees about the absence of targeted classes of runtime errors and undefined behaviors. By decreasing repetitive setup and configuration work, developers can get verification results faster and apply thorough analysis to larger portions of software.
Also available with TISA 26.10 is a higher degree of automation in MC/DC coverage. This aids in identifing and closing coverage gaps efficiently, while generating certification-oriented reports and traceability.
TrustInSoft Analyzer can use formal analysis to reason over ranges of possible inputs in a single analysis rather than building coverage one test at a time. The resulting truth-table-based view establishes which combinations contributing to MC/DC have been covered and which remain to be reached.
According to the pree release, each reported reachable combination corresponds to a feasible program execution. When gaps remain, engineers can focus additional analyses specifically on the missing conditions rather than iteratively building coverage one test at a time.
The outcome is an efficient track to full MC/DC coverage that contains comprehensive reporting and traceability to support verification activities, important for teams developing safety-critical software for standards such as ISO 26262 ASIL D.
For more information, visit trust-in-soft.com.
Chad Cox is the Production Editor at Embedded Computing Design. His responsibilities are centered around content creation, writing and editing, and article research and development. Chad covers industry news and events and is known to interact with various industrial leaders via on-premise visits and online interviews. He is responsible for the digital footprint and dissemination of news via social media posts, advertising creation and the production of newsletters including the Embedded Computing Design’s Daily.
He is well versed in many facets of industrial computing including Edge AI, IoT, Processing, Security, Open Source, and more.
Chad graduated from the University of Cincinnati with a B.A. in Cultural and Analytical Literature and holds a master’s in education.
