Using HDL Coder™ and HDL Verifier™ from MathWorks®, aerospace and defense engineers can implement their MATLAB® and Simulink® designs directly on to FPGA boards and connect these boards directly to MATLAB and Simulink system-level test benches. This helps engineers in validating mission-critical systems for space, defense and avionics applications.
Engineers working on commercial aviation and military aviation projects must adhere to strict guidelines set by the Federal Aviation Administration (FAA) and other worldwide safety agencies for aviation. The DO-254 standards provide guidance to develop complex electronics and hardware systems for airborne aircrafts by ensuring that the complex electronics systems in the aircraft work under all prescribed conditions by mitigating any risks and avoiding and fatal air disasters.
The DO-254 guidelines describe a set of processes for:
Managing requirements
Modeling and conceptualization
Requirements tracing
Verification and validation at the design level and unit test case level
RTL code (VHDL and Verilog)—detailed design
Traceability to the requirements and concept design
This solution allows you to take advantage of MathWorks’ model-based design code generation and verification workflow and our Libero® SoC Design Suite to comply with DO-254 processes.