Newsroom

Modern defense systems are built from complex, interdependent software components, including avionics and flight controls, mission computers, C4ISR platforms, autonomous and semi-autonomous systems, secure communications, and ground support tooling. These systems must operate correctly the first time and every time, often in degraded or contested environments, and they must resist sophisticated cyber threats throughout long service lives. We outline why static analysis is a strategic necessity for military applications and set the stage for how a tool like CodeSonar can operationalise these benefits at programme scale.

Zenseact develops world-leading safety software for passenger cars. As an AI and software company dedicated to revolutionizing car safety, Zenseact designs the complete software stack for autonomous driving and advanced driver-assistance systems. AdaCore supplies the tools for Zenseact's high-integrity software development requirements. This article examines why SPARK is utilized to meet ASIL C and D requirements.

The ISO 26262 standard, which governs functional safety for electrical and electronic systems in vehicles, has become the reference point for managing this challenge. Compliance is not simply a technical checkbox; it is a strategic necessity.

Software drives innovation in cars – and increases risks. Only through secure development, vetted partners, and cyber resilience can mobility remain protected and future-proof.

This article explores the pivotal role of high-integrity software in enabling resilient, certifiable, and mission-assured unmanned systems. It outlines the principles and practices required to meet the demanding requirements of military and defence applications.

This blog starts by describing the most common bugs threatening memory safety and explaining their consequences. Then, it introduces three memory-safe languages and briefly explains their mechanisms against memory bugs.