Collins Aerospace Selects AdaCore’s QGen Code Generator to Streamline Model-Based Development
July 21, 2021 | Business WireEstimated reading time: 2 minutes
AdaCore, a trusted provider of software development and verification tools, announces that Collins Aerospace has selected AdaCore’s QGen code generator for Simulink®/Stateflow® models, and the new TQL-1 Enterprise Qualification Package, to advance the development of their FAA-certifiable Perigon™ 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, Perigon™ software developers are able to save thousands of hours of testing, verification, and certification efforts, while providing additional safety guarantees to their customers. With the adoption of the QGen Enterprise Qualification Package, Collins is now able to streamline its model-based engineering practices.
QGen is the first qualifiable code generator for a safe subset of the Simulink®/Stateflow® modeling languages. QGen automatically generates C or Ada source code directly from the model while precisely 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 uniquely productive bridge between control engineering and software engineering.
QGen is now available with an Enterprise Qualification Package. This package comes with flexible licensing so that projects of any size, company-wide, can take advantage of the use of a TQL-1 qualified autocode generator. The package is based on a unique subscription approach, which provides an enhanced qualification kit every year. The same warranties are provided to all projects, including expert support for certification audits. Large organizations that perform many of their development and verification activities through model simulation can now dramatically reduce verification activities on the generated code, reducing costs while streamlining the overall certification process.
“AdaCore is excited to partner with Collins Aerospace to bring to market the first TQL-1 code generator for Simulink,” said JC Bernedo, AdaCore QGen team lead. “AdaCore has worked closely with Collins throughout the development of QGen to ensure it meets the development needs of their most critical aerospace software.”
Suggested Items
RTX’s Collins Aerospace Completes Demonstration with Parasanti on Launched Effects Technology
03/11/2024 | RTXRTX announced its Collins Aerospace business completed a successful digital demonstration with Parasanti on Collins’ RapidEdge™ Mission System for Collaborative Uncrewed Launched Effects (LE).
Collins Elbit Vision Systems delivers 3,000th F-35 Gen III Helmet Mounted Display System to the Joint Strike Fighter
02/26/2024 | PRNewswireCollins Elbit Vision Systems (CEVS) – a joint venture between Collins Aerospace, and Elbit Systems of America (Elbit America) – announced that it has delivered the 3,000th F-35 Gen III Helmet Mounted Display Systems (HMDS) to the Joint Strike Fighter. Collins Aerospace is an RTX (NYSE: RTX) business.
RTX's Collins Aerospace to Provide Air India with Avionics Hardware
02/22/2024 | RTXCollins Aerospace, an RTX business, has been selected by Air India for a full suite of avionics hardware catering to the airline's expanding Boeing 737 MAX fleet.
RTX's Collins Aerospace Facility in the Philippines Now Operating Fully on Renewable Electricity
02/20/2024 | RTXCollins Aerospace, an RTX business, announced its facility in Tanauan City, Philippines is now operating on 100% renewable electricity. The site, which is part of Collins' Interiors business, manufactures galleys and galley inserts, lavatories, seating and oxygen systems for commercial aircraft.
RTX Business Collins Aerospace Announces Developmental Milestone of Next-generation Spacesuit
02/01/2024 | RTXCollins Aerospace, an RTX business, with partners ILC Dover and Oceaneering, completed the Crew Capability Assessment test, a key step in the design process on its next-generation spacesuit for the International Space Station, under NASA's Exploration Extravehicular Activity Services, or xEVAS, contract.