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
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
A.I.
Story
Ultra’s Chief Growth Officer Chris Bishop to keynote CJADC2 Virtual Summit Sept. 12

August 28, 2024

More A.I.
Cyber
Sponsored Story
PRODUCT OF THE WEEK: Star Lab’s Titanium Technology Protection

August 19, 2024

More Cyber