Certification-Ready Rust: GNAT Pro & RVS for Avionics Standards
Webinar – 30th September at 3PM (BST) As the aerospace industry evolves, so too must the tools and languages we
Read moreWebinar – 30th September at 3PM (BST) As the aerospace industry evolves, so too must the tools and languages we
Read moreGlobal experts in safety- and security-critical software to share innovations, best practices, and real-world experiences The High Integrity Software Conference
Read moreRapita Systems is excited to announce the release of RVS 3.23, the latest version of its software verification suite, designed
Read moreGlobal aviation software provider Ramco Systems has announced the successful implementation of its Aviation Software at Indamer Technics Private Limited, a leading Indian aviation services
Read moreThe new SOM combines the popular i.MX 8M Mini application processor with a power-efficient DEEPX NPU offering 25 TOPS of
Read moreKEYVAN Aviation, a Türkiye-based and EASA-certified global aviation data provider, has signed a Memorandum of Understanding (MoU) with MTI Ltd.,
Read moreAt the Paris Air Show 2025, Airbus and Critical Software have signed a Letter of Intent to create a joint undertaking
Read moreExpanded functional safety and security support enables comprehensive software verification across Renesas SoCs, MPUs and MCUs for applications in automotive,
Read moreAdaCore is well-known for its support of high-integrity embedded development. When a new language, Rust, emerged and started making claims
Read moreWizz Air, is partnering with AI-based digital twin solutions provider, Aerogility, to optimize its future heavy base maintenance planning. Wizz
Read more