Vector Software Announces Integration With AdaCore's CodePeer 3.0 Static Analysis Tool; Latest VectorCAST Integration Provides Ada Developers With Powerful Tools for Automated Code Review and Validation.
... are mandated such as: RTCA D-178B/C, EUROCAE ED-12B/C, or CENELEC, EN 50128. "Providing combined views of the static and dynamic analysis ...
Green Hills Software and Imation to Provide Interoperable Data-at-Rest Protection on IronKey Encrypted USB Drives; INTEGRITY RTOS Now Supports Access and Secure Processing of Files Stored on Imation's IronKey Encrypted USB Storage Platform.
... to numerous safety standards, including IEC 61508 (SIL 3) and EN 50128 CENELEC (SWSIL 4), in addition to the highest Common Criteria (IEC 15408) ...