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:
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.