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 via Kongsberg
News
Bell 412 helicopters to be upgraded for Norwegian Armed Forces by Kongsberg

September 04, 2024

More Avionics
Unmanned
MQ-9 Reaper image: U.S. Air Force courtesy photo
News
UAS market for military use to rise 13.8% to 2023, study predicts

September 05, 2024

More Unmanned
Radar/EW
Image via Kirintec
News
BAE Systems acquires electronic warfare company Kirintec

September 05, 2024

More Radar/EW
Comms
Image via Northrop Grumman
News
Integrated ground system for Space Development Agency to be developed by General Dynamics

September 05, 2024

More Comms