System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software … – Intelligent Aerospace


Intelligent Aerospace

System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software …
Intelligent Aerospace
Aerospace and defense applications continue to rely on the Ada programming language and SPARK subset as systems – both new innovations and upgraded legacy or traditional solutions – grow in complexity and concerns loom over safety and security.

Leave a comment