阿莱尼亚·马基公司工程师开发了自动驾驶仪software for the M-346 using Model-Based Design with Simulink®.
A team of system and control engineers developed a system model in Simulink and Stateflow®for ARP-4754, using Stateflow to define the six primary autopilot states, the transitions between them, and other control logic. They ran simulations to validate the system behavior.
The team elaborated the system model to create the autopilot software model, optimizing it to improve performance and incorporating modeling and safety standards to satisfy certification constraints.
They ran additional simulations on the software model and ensured 100% coverage of the software requirements from these tests using model coverage analysis with Simulink Coverage™.
They used the Requirements Management Interface inRequirements Toolbox™to link the software requirements in IBM®Rational®DOORS®to Simulink and Stateflow objects in their model. With Simulink Report Generator™, they generated a requirements traceability report for certification.
They used Model Advisor to check their software model against DO-178B high-integrity standards and Alenia Aermacchi’s own custom rules.
Using Embedded Coder®, the team generated about 17,000 lines of C code from their software model. They compiled the generated code for a PowerPC®processor using the Green Hills®AdaMULTI®compiler.
The team used Polyspace®static analysis tools to check the code for run-time errors, ensure compliance with MISRA C®coding standards, and create artifacts for certification credit. They qualified Polyspace code verifiers and Simulink Coverage using DO Qualification Kit for DO-178.
The team created test suites for the generated code based on the software model tests they had created for Simulink. After running these tests, they compared the code coverage results with the model coverage results obtained from Simulink Coverage.
The M-346 aircraft (including autopilot functionalities) has obtained type certification from the Secretariat General of Defense and National Armaments Directorate within the Italian Ministry of Defence. Alenia Aermacchi engineers are currently working on a project in which all the software components (CSCIs) will be developed using Model-Based Design and certified to DO-178C.