Topic: Ada

AdaCore celebrates 30 years in business

July 15, 2024

NEW YORK and PARIS. AdaCore, a provider of software tools for safety-critical, security-critical, and and high-reliability applications, is celebrating 30 years of operation.

Topic: Ada

AdaCore celebrates 30 years in business

Common Weakness Enumeration (CWE) defines cybersecurity vulnerability landscape for mission-critical applications

Toward safety and security in FACE components: High assurance with portability

Avionics

Safety certification concerns for UAVs in national airspace

Avionics

AdaCore launches free online programming university

Avionics

Completion of Project Hi-Lite to improve verification for high integrity systems

Avionics

GNAT Pro 7.1 release includes Ada 2012 support, other enhancements

Avionics

DO-332, the Liskov Substitution Principle, and local type consistency ramp up DO-178 certification

Avionics

Software warranties -- A new era?

Best in Show awards selected at Aerospace Tech Week

AdaCore announces extended support for Wind River VxWorks

Ada language seeing activity in universities

Ada Watch: Bringing Ada onto the battlefield

Ada Watch: Choosing the right Ada subset for strong static guarantees

Ada Watch: Getting the right programming language for the job

Ada 2012 language revision approved and published by ISO

Ada Watch: Choosing a programming language that supports reliability

SecureOne high assurance program from Rockwell Collins uses tools from AdaCore

Brazilian combat jet upgrade leverages Ada technology from AdaCore

Ada language gets attention outside of military circles

GNAT Pro 7.0 Ada language tool released by Adacore

Migrating safety-critical software in military and aerospace systems

COTS software in critical systems: The case for Freely Licensed Open Source Software

Incremental software modernization minimizes risk, reduces costs

'Legacy' is not a four-letter word

Ada matters!

Merging legacy software into contemporary system design

Avionics

Boeing to build Next-Generation Air Dominance fighter for U.S. Air Force

Comms

CJADC2 test showcased MANET networking capability, PC-C5 participant says

Radar/EW

SOSA aligned 3U VPX graphics cards introduced with NVIDIA Blackwell architecture

Avionics

Modeling and simulation environment for U.S. Army to be provided by Raytheon

Radar/EW

Long-range thermal surveillance systems to be delivered to Saudi military

Cyber

GUEST BLOG: The U.S. Army’s SBOM mandate: A catalyst for software supply-chain security

Comms

Haivision will spotlight mission-critical video solutions at SOF Week 2025