Airworthiness Security Methods News Today

Klein-Winternheim, Germany, November 15th, 2022 - SYSGO has responded to the increased cybersecurity threat level: Separation Kernel PikeOS 5.1.3. has attained the most widely accepted security certification standard Common Criteria (CC), also known as ISO 15408, at level EAL 5+ for the leading application processor architectures ARMv8, x86-64 and PPC. The higher EAL level assures that…

NEW YORK, February 22, 2022 – AdaCore, a trusted provider of software development and verification tools, today announces the availability of its new GNAT Dynamic Analysis Suite - a powerful bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures. “From decades of experience helping…