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.
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. The 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.
“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.”
Eve Air Mobility has signed a letter of intent with AirX, Japan’s largest public helicopter air charter service, for up…
L3Harris Technologies has received a US$256 million order from the U.S. Army for continued production of the Enhanced Night Vision…
The Missile Defense Agency has selected Lockheed Martin to deliver the nation's new homeland missile defense capability, the Next Generation…
Collins Aerospace will introduce two major upgrades to the Ascentia software platform. Ascentia is a software solution for aircraft reliability management that…
Pratt & Whitney Canada's PT6A engine recently surpassed 25 million flight hours and 40 years of powering the Cessna Caravan…
The US Army deployed its Mid-Range Capability (MRC) missile system to Northern Luzon, Philippines for the first time. This deployment…
Lockheed Martin has been chosen by the U.S. Missile Defense Agency (MDA) to develop the Next Generation Interceptor (NGI), the…
Milrem Robotics has secured a contract to deliver an undisclosed quantity of THeMIS UGVs (Unmanned Ground Vehicles) to the Japanese…
CMA CGM Air Cargo is set to expand its service by launching a transpacific route connecting Asia to North America…
Eve Air Mobility (Eve) has designated Korea Aerospace Industries Ltd. (KAI) as the supplier for the pylons of its electric…
Emirates SkyCargo, the cargo arm of one of the two flag carriers of the United Arab Emirates (UAE), has established…
Israel Aerospace Industries (IAI) has secured a contract to supply a Multi-Sensor Multi-Mission Radar (MS-MMR) system for the air defence…
The first Embraer E190F, a jet converted from passenger transport to freighter (E-Freighter), successfully concluded its inaugural flight in São…
The Government of Greece officially announced its plans to purchase 35 UH-60M Black Hawk helicopters from Sikorsky, a Lockheed Martin…
Cathay Cargo resumed its Ho Chi Minh City freighter service on April 4, 2024, after a four-year hiatus due to…
Skykraft has secured approval from the International Telecommunications Union (ITU) for its spectrum filing for a constellation of 2976 satellites.…
The U.S. Navy, in partnership with Lockheed Martin, has successfully conducted a historic Long-Range Anti-Ship Missile (LRASM) flight test with…
The U.S. Air Force has awarded Boeing a contract worth up to $559 million over five years to operate, maintain…
Israel Weapon Industries (IWI) introduced the ARBEL, hailed as the world’s first computerized small arms system, on Thursday (Apr. 4).…
Hong Kong’s Government Flying Service (GFS) has integrated the H175 helicopter flight simulator developed by Indra into their training regimen.…
After a hiatus of over 30 years, Air Canada is set to return to Singapore's Changi International Airport with the…
FLY91, India's youngest regional airline, announced a partnership with IBS Software on Wednesday (Apr. 3). Aiming to enhance its commercial…
Malaysia Airlines announced its partnership with RECARO Aircraft Seating to equip its upcoming Airbus A330neo aircraft with the CL3810 economy…
Rolls-Royce announced that the company has begun flight testing its latest aero engine the Pearl 10X on its dedicated Boeing…
Avolon, a global aviation finance company, has agreed to sell and lease back four new Airbus A330neo aircraft with Cebu…
Malaysia Airlines and India’s largest airline, IndiGo, announced the signing of a Memorandum of Understanding (MoU) for a codeshare partnership…
The Indonesian flag carrier airline, Garuda Indonesia, unveiled plans to expand its aircraft fleet with the procurement of eight new…
Belgian Defence has placed an order for six R7 Remotely Operated Vehicles (ROVs) from Exail. These unmanned underwater vehicles are…
Greenerwave, a deeptech start-up specialising in the control of electromagnetic waves, launched its first SATCOM user terminal after securing EUR15…
Israel Aerospace Industries (IAI) and Aerotor Unmanned Systems have entered into a Memorandum of Understanding (MOU), outlining their collaboration in…
Headquartered in Singapore with reporters spread across all major regions, GBP Aerospace & Defence is a leading media house that publishes three publications that serve the aerospace and defence sector - Asian Defence Technology, Asian Airlines & Aerospace and Daily News. Known industry-wide for quality journalism, GBP Aerospace & Defence is present at more international tradeshows and exhibitions than any other competing publication in the region.
For over three decades, our award-winning team of reporters has been producing top-notch content to help readers stay abreast of the latest developements in the field of commercial aviation, MRO, defence, and Space.
Copyright 2024. GBP. All Rights Reserved.
Home Defence & Security Space Commercial Aviation Maintence Repair & Overhaul Daily News Events About Us Click Me!
2024 GBP all rights reserved.