Collins Aerospace Streamlines Model-Based Development with AdaCore
Contact Our Team
For more information about how Halldale can add value to your marketing and promotional campaigns or to discuss event exhibitor and sponsorship opportunities, contact our team to find out more
The Americas -
holly.foster@halldale.com
Rest of World -
jeremy@halldale.com
Collins Aerospace has selected AdaCore’s QGen code generator for Simulink/Stateflow models and the TQL-1 Enterprise Qualification Package to advance the development of their FAA-certifiable PerigonTM computer, which is designed to support the future flight control and vehicle management needs of commercial and military rotary/fixed wing platforms. By using the TQL-1 release of QGen PerigonTM software, developers can save hours of testing, verification, and certification efforts, while providing additional safety guarantees to their customers.
QGen is the first qualifiable code generator, AdaCore claims, for a safe subset of the Simulink/Stateflow modeling languages. QGen automatically generates C or Ada source code directly from the model while preserving its functionality, eliminating the need for manual verification of the resulting source code. For systems requiring the highest assurance, such as commercial aerospace, medical device, and autonomous driving applications, the QGen code generator is being qualified by AdaCore and its partner Verocel at DO-178C Tool Qualification Level 1 (TQL-1), which is the highest level of qualification recognized by the FAA. QGen with TQL-1 allows developers to use the generated code without any manual review, streamlining the critical-system development and verification process. In addition, QGen includes an interactive model-level debugger, displaying the model together with the generated source code to provide a bridge between control engineering and software engineering.
The Enterprise Qualification Package comes with flexible licensing so that projects of any size can use the TQL-1 qualified autocode generator. With the adoption of the package, Collins is able to streamline its model-based engineering practices.
