Greg Gicca, AdaCore
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.
Choosing a programming language is a complicated decision as it can greatly influence the expected reliability of a software system — especially in military applications. Almost any language can be used to develop any application, but a language’s original design benefits may not carry over when moving from one domain to another. The Ada language [...]
As the transition to DO-178C takes hold, ensuring tool qualification for software being developed to the new standard is a must. With attention to Tool Qualification Levels (TQLs) and a Configuration Management (CM) system, development tools, projects, and environments can transition smoothly between requirements.