AdaCore, a trusted provider of software development and verification tools, has announced 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 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 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.
“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.”