CUT COSTS AND REDUCE LEAD TIME

TrustInSoft Analyzer can optimize the following activities:

Compliance with Low-Level Requirements: The Airbus Group replaced the Unit testing with “Unit Proof” for the A380, the A400M, and the A350 for Level A software.

Software Integration Verification: Dassault Aviation conducted conclusive experiments for robustness analysis.

Compliance with the Software Architecture: The Airbus Group used our technology to check that the data flow and control flow of the source code matched the software architecture.

Verifiability: Identify unverifiable source code automatically using custom tool extensions.

Conformance to Standard: Custom programming rules allow for an easy extension of TrustInSoft’s unified framework, based on formal methods.

Accuracy and Consistency: Operate TrustInSoft Analyzer to check: memory usage; arithmetic overflows; floating point arithmetic; use of uninitialized variables or unused variables.

TrustInSoft’s experts have more than 10 years of industry experience and can provide an end-to-end solution during the overall V&V process, including: 

•   Definition of the needs and selection of the most efficient formal method for your methodology
•   Customization of TrustInSoft’s diagnosis and analysis tools
•   Deployment of the tools and selection of the right technology
•   Preparation of the certification artifacts for your software developments
•   Preparing the software tool’s qualification to remain compliant with DO-330/ED-215