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
Image via Aerovironment
News
GAO upholds $990 million Switchblade systems contract award

December 18, 2024

More Unmanned
A.I.
Image via Lufthansa Technik
News
Lufthansa Technik, Microsoft to partner on AI in aircraft maintenance

December 16, 2024

More A.I.
Cyber
Graphic courtesy Akima
News
IT services contract with Akima signed by U.S. Indo-Pacific command

December 10, 2024

More Cyber
Comms
Stock image
News
IT system integration for German Bundeswehr vehicles to be provided by Rheinmetall, blackned

December 20, 2024

More Comms