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
Photo courtesy Jérôme Nabonne
News
Spherea announces acquisition of U.S. subsidiary of Konrad Group

June 20, 2025

More Avionics
Unmanned
Photo courtesy RTX/Raytheon
News
Raytheon and Mitsubishi sign contract for Block 2 missile production

June 24, 2025

More Unmanned
Radar/EW
Image via RTX
News
GhostEye radar to be co-developed for NASAMS under RTX, Kongsberg collaboration

June 18, 2025

More Radar/EW
Comms
Image via ULA
News
Atlas V delivers second batch of Project Kuiper satellites

June 24, 2025

More Comms