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
Story
Case study: LiDAR system provides helicopter pilots a clear line of sight in brownouts

June 24, 2008

More Avionics
Radar/EW
Story
Streaming real-time video with CPUs/GPUs

October 12, 2011

More Radar/EW
A.I.
Photo credit: Advanced Brain Monitoring
News
DARPA surveillance system uses EEG for image filtering

September 20, 2012

More A.I.
Cyber
Story
Secure virtualization combines traditional desktop OSs and embedded RTOSs in military embedded systems

May 31, 2010

More Cyber