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.
... control systems for Avionics or Railway, where software quality and certification 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 results offers novel capabilities in terms of efficient verification for ...
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.
...INTEGRITY technology is certified to numerous safety standards, including IEC 61508 (SIL 3) and EN 50128 CENELEC (SWSIL 4), in addition to the highest Common Criteria (IEC 15408) security level ever achieved for any commercial operation system -- EAL 6+, High ...