Military Embedded Systems

S. Tucker Taft

AdaCore

Articles 1 - 2
Cyber

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

March 20, 2019
S. Tucker Taft   AdaCore  
Cyber

Building trust in a model-based automatic code generator - Story

August 16, 2016
S. Tucker Taft   AdaCore  
How do you go about building trust in an automatic code generator used for safety-critical systems? For example, given a code generator that takes a real-time model for a flight control system represented in Simulink and Stateflow and turns it into MISRA C or the SPARK subset of Ada, what process could ensure that the [...]
Articles 1 - 2
Avionics
Image: Curtiss-Wright
News
Data storage solution gains NSA CSfC approval

March 27, 2026

More Avionics
Unmanned
Image via Thales
News
Portable mine countermeasures system launched by Thales

March 27, 2026

More Unmanned
Radar/EW
G2 microNAS image: Spectra Defense Technologies
News
Rugged data and display systems debut from Spectra Defense Technologies

March 24, 2026

More Radar/EW
A.I.
Image via BAE Systems
News
Agentic AI capabilities to be integrated into defense platforms by BAE Systems, Scale AI

March 27, 2026

More A.I.