AdaCore Highlights Secure Avionics at CYBERUK

 

AdaCore, a prominent provider of high-assurance, safe, and secure software toolchains, is poised to make a mark at CYBERUK by presenting its distinctive approach to Secure Avionics by Design (SAbD).

The SAbD technology developed by AdaCore has originated from the initial phase of the collaborative Edge Avionics program. This program, spearheaded by the Rapid Capabilities Office (RCO) of the UK Royal Air Force (UK RAF), focuses on advancing systems security through the creation of a demonstrator avionics defense platform that highlights cyber and battlefield resilience. The consortium overseeing Edge Avionics, led by the Defence Science and Technology Laboratory (Dstl) on behalf of the RCO, includes GE Aerospace, Wind River, and AdaCore.

Edge Avionics' main objective is to assess the security assertions put forth by the Digital Security by Design (DSbD) initiative within a comprehensive defense application. DSbD, a government-supported program in the UK, aims to enhance digital technology to establish a more secure and resilient foundation for the future. With a strong emphasis on evaluating the security advantages of Capability Hardware Enhanced RISC Instructions (CHERI), DSbD involves collaboration among academia, industry, and government. The CHERI initiative, in partnership with The University of Cambridge and Arm, has received substantial funding from the US government through SRI International via DARPA. CHERI is designed to transform CPU architectures by introducing dedicated registers and instructions to enforce secure memory usage, ultimately enhancing software application development and execution by intercepting non-safe memory instructions at the hardware level.

More Information: https://www.techdogs.com/tech-news/business-wire/adacore-showcase-secure-avionics-by-design-at-cyberuk