TRUSTINSOFT ANALYZER FOR THE NUCLEAR INDUSTRY

CUT THE COSTS OF IEC 60880 AND IEC 62138

TrustInSoft Analyzer is a groundbreaking technology for source code analysis that can be deployed to cut the costs of IEC 60880 and IEC 62138.

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?