about project
The client required assistance in developing and verifying the software and FPGA for the Multi-Function Air Data System. This system is responsible for various essential functions, including measuring pressures, calculating air temperature, receiving digital information and commands, and transmitting altitude-speed parameters to onboard systems.
The unit must also manage its own operational status, control the heating of the air pressure receiver, and handle the “Extended Control” mode commands from the onboard maintenance system. The project demanded strict compliance with industry standards, including DO-178C for software, DO-254 for hardware, and ARP-4754A for system-level requirements.
Tasks
Develop software planning documents in accordance with DO-178C and hardware planning documents in accordance with DO-254.
Develop system requirements following ARP-4754A and software requirements in compliance with DO-178C.
- Adapt and qualify the tool for collecting and analyzing software structural coverage in accordance with DO-330.
- Qualify internal client tools as per DO-330 standards.
Conduct verification of the software according to DO-178C and the FPGA according to DO-254 standards.
Results
Successfully developed software and hardware planning documents fully compliant with DO-178C and DO-254, respectively. These documents were accepted by the certification authority during SOI #1, providing a clear description of the certification, configuration management, development, and verification processes.
Developed system and software requirements in full compliance with ARP-4754A and DO-178C, ensuring complete bidirectional traceability and covering functional, derived, and safety requirements.
Successfully qualified the software structural coverage collection and analysis tool, as well as the client's internal tools, following DO-330 standards.
During the software and FPGA verification process, over 650 issues were identified, including critical failures that could lead to catastrophic events, safety-impacting failures, and significant functional issues. Through multiple iterations of verification and requirement/code refinement, all identified issues were resolved.
Tech Stack and Standards
Python, C, VHDL, Verilog, VLIW, Blackfin
CrossCore Embedded Studio, Code Composer Studio, TestWell CTC++, Active-HDL, QuestaSim, IBM DOORS, Jira
ARP-4754A, DO-178C, DO-254, DO-330
process
Development of Planning Documents
Developed comprehensive software planning documents in compliance with DO-178C and hardware planning documents in accordance with DO-254 standards.
Requirement Specification
Defined system-level requirements in line with ARP-4754A, and developed high-level software requirements and software architecture descriptions as per DO-178C standards.
Verification Reviews
Conducted sequential verification reviews of the developed requirements from system-level down to hardware, ensuring compliance with ARP-4754A, DO-178C, and DO-254 standards.
Development of Verification Platforms
Created a software-hardware complex (verification test benches) for testing software and hardware integration and conducting module-level testing.
Simulation and Testing of FPGA
Developed a software complex for conducting simulation and testing procedures for the FPGA.
Automated Testing of Mathematical Models
Developed a technology for automated testing of the tightly coupled mathematical model for calculating altitude-speed parameters by creating a full copy of the software algorithms in Python.
Tool Qualification
Qualified the software structural coverage collection and analysis tool using the developer's qualification package in accordance with DO-330 (TestWell CTC++).
Internal Tool Qualification
Developed a qualification plan, operational requirements, and qualification tests for the client's internal tools and successfully qualified them per DO-330 standards.
First Iteration of Verification
Conducted the first iteration of software verification (in accordance with DO-178C) and FPGA verification (in accordance with DO-254), identifying significant issues in the requirements and code.
Subsequent Iterations and Issue Resolution
Through iterative updates to software/hardware requirements and verification, all identified issues were systematically resolved, leading to a robust and compliant system.
review
contacts
If you hae questions or need any general information, please complete this form to request the information you need, it will be an honor to help you