Military Embedded Systems

Topic: Ada

Press Release
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. 

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

March 20, 2019

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

March 15, 2018

Avionics
Story
Safety certification concerns for UAVs in national airspace

March 07, 2014

Avionics
News
AdaCore launches free online programming university

October 31, 2013

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

May 30, 2013

Avionics
News
GNAT Pro 7.1 release includes Ada 2012 support, other enhancements

April 25, 2013

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

March 12, 2013

Avionics
Story
Software warranties -- A new era?

September 23, 2009

News
Best in Show awards selected at Aerospace Tech Week

March 13, 2019

News
AdaCore announces extended support for Wind River VxWorks

March 12, 2019

Story
Ada language seeing activity in universities

July 27, 2015

Blog
Ada Watch: Bringing Ada onto the battlefield

July 28, 2014

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

August 13, 2013

Blog
Ada Watch: Getting the right programming language for the job

March 05, 2013

News
Ada 2012 language revision approved and published by ISO

December 19, 2012

Blog
Ada Watch: Choosing a programming language that supports reliability

November 20, 2012

News
SecureOne high assurance program from Rockwell Collins uses tools from AdaCore

September 19, 2012

News
Brazilian combat jet upgrade leverages Ada technology from AdaCore

March 27, 2012

Other
Ada language gets attention outside of military circles

March 01, 2012

News
GNAT Pro 7.0 Ada language tool released by Adacore

March 01, 2012

Story
Migrating safety-critical software in military and aerospace systems

June 20, 2011

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

December 09, 2010

Story
Incremental software modernization minimizes risk, reduces costs

September 14, 2010

Story
'Legacy' is not a four-letter word

January 14, 2009

Story
Ada matters!

May 09, 2008

Story
Merging legacy software into contemporary system design

April 02, 2008

Unmanned
Scorpion Light mounted on ISV-U at SOF Week 2026. MES photo.
Story
U.S. Army to acquire Scorpion Light mortars, says Global Military Products

May 19, 2026

More Unmanned
Radar/EW
News
SOSA Business Guide 2.0 debuts from The Open Group

May 14, 2026

More Radar/EW
A.I.
Stock image
News
Legion Intelligence unveils agentic AI platform and laptop-class edge system

May 19, 2026

More A.I.
Cyber
MES staff photo
Story
Anduril and Booz Allen will join forces to increase security, lethality for SOF teams

May 19, 2026

More Cyber