TRUSTINSOFT ANALYZER FOR THE AERONAUTICS INDUSTRY

CUT COSTS AND REDUCE LEAD TIME

TrustInSoft Analyzer allows you to cost-effectively validate DO-178C compliant software. By optimizing software verification, you can gain a competitive advantage and significantly cut costs and reduce lead time. You can also use TrustInSoft Analyzer to harden critical communication systems.

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 varialbes 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

WE CAN GUARANTEE YOUR SOFTWARE IS IMMUNE FROM:

Buffer Overflow

Invalid Pointer Usage

Division by Zero

Non-Initialized Memory Read

Dangling Pointer

Arithmetic Overflow

NaN In a Float Computation

Overflow in Float to Integer Conversion

TECHNICAL DEPLOYMENT

TrustInSoft Analyzer is installed on a dedicated server. You can connect to the server through a web browser or via the command line. You can also configure the TrustInSoft Analyzer server to interface with various source management systems or continuous integration platforms.

READY TO LEARN MORE?