AdaCore has announced that MHI Aerospace Systems Corporation (MASC), a member of the Mitsubishi Heavy Industries Group, has selected the QGen toolset to develop the software for the Throttle Quadrant Assembly (TQA) system, the company said.
This avionics research project is being conducted to meet the Level C objectives in the DO-178C safety standard for airborne software and its DO-331 supplement on Model-Based Development and Verification.
The use of a qualified code generator can help save significant effort in developing and verifying the software, and the future availability of qualification material from AdaCore factored strongly in MASC´s decision to choose QGen. The QGen code generator can be qualified at the highest Tool Qualification Level, TQL-1 (equivalent to a development tool in DO-178B).
TQA is a light aircraft product of Tamagawa Seiki Co., Ltd., a Japanese manufacturer that develops a variety of products for the airplane and automotive markets.
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systeThe company has North American headquarters in New York, and European headquarters in Paris.
Nagoya, Japan-based MASC is a member of the MHI Group dedicated to custom computer programming services for the aerospace industry. The company has recently been conducting various activities related to DO-178C certification.