Showing results: 1 - 5 of 5 items found.
-
RTT-STO -
Verified Systems International GMBH
RTT-STO is a software analysis tool-suite that automatically performs static program analyses of C code and assembly required to receive certification credit for source-to-object code validation in the context of safety-critical avionics software.
-
CodePeer -
AdaCore Technologies, Inc.
CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.
-
PVS-Studio -
PVS-Studio
PVS-Studio is a tool used to detect bugs in the source code of programs written in C, C++ and C#. PVS-Studio performs static code analysis and generates a report that helps a programmer find and fix bugs. PVS-Studio does a wide range of code checks; but it is especially useful to search for misprints and Copy-Paste errors. Examples of such errors: V501, V517, V522, V523, V3001.
-
PGA-710B -
Eurostat Group
A unique electrostatic data analysis device for use with Prostat’s PFK-100 Field meter/Charge Plate Monitor Set.• Records, plots, analyzes and automatically constructs reports of body voltage generation, electrostatic decay, voltageretention, ionizer performance and other static measuring functions.• Creates detailed reports to help determine the risk of equaling or exceeding damaging or hazardous HBM dischargevoltages in static sensitive facilities.• Analyze Footwear & Flooring Combinations: Records personnel walking voltages in accordance with ANSI/ESD STM97.2 Body Voltage measurements as required by ANSI/ESD S 20.20 ESD Program Standard• Other Equipment Applications include voltage generation of chairs, carts and process equipment
-
Hill Engineering, LLC
Fatigue engineering is subject to uncertainty, and data from well executed tests are used to validate conclusions made by analysis and to provide a basis for structural certification. Our staff have extensive experience in testing materials and components under slowly varying, static loads, and under rapidly varying cyclic loads. Tests under static loads are used to assess material properties or to assess the load-deformation behavior of structural components. Tests under cyclic loads provide time to crack initiation, time to failure, or measurements of crack growth over time. We have extensive experience in measuring fatigue crack growth behavior in metallic materials. Past programs have measured crack growth with microscopy and photogrammetry at the surface, cracked area with direct current potential drop, and through-thickness crack profiles with quantitative fractography. By assessing crack growth with a variety of experimental methods, we enable robust analysis validation for cases of complex cracking. Our capabilities in fatigue engineering allow for careful design of a fatigue test program. Whether the tests use constant amplitude loading or an irregular loading spectrum, we specialize in engineering the test that meet your needs. Much of our experience is in non-standard test programs, which require engineering to optimize the test setup. Few others match our capability and experience in fatigue test engineering.
