Military Embedded Systems

AdaCore

Articles 1 - 3
Avionics

Ada Watch: Getting the right programming language for the job - Blog

March 05, 2013
Ada is a strongly typed language that is a natural choice for developing high-reliability programs. Some languages such as C are good at low-level-programming but not for solving other challenges – as covered in my previous blog. You need to choose the right tool for the job. Instead of using one language or one tool for every problem, you should provide engineers with multiple options for developing high-reliability software – which is where Ada shines.
Avionics

Trusting the tools: An agile approach to tool qualification for DO-178C - Story

March 07, 2012
The new avionics software safety standard DO-178C, along with its supplemental Software Tool Qualification Considerations (DO-330), has clarified and expanded the tool qualification guidance provided in DO-178B. The challenge of maintaining qualification-ready tools throughout a system?s evolution can be expedited through an approach based on agile development principles.
Articles 1 - 3