The MathWorks and Mentor Graphics developed an integrated workflow for DO-254 compliance using Model-Based Design. The approach combines tools from The MathWorks and Mentor Graphics to support Model-Based Design throughout all stages of the development process, including requirements definition and management, conceptual and detailed design, implementation, and testing. With the integrated workflow, aerospace engineers can verify designs earlier, implement in HDL faster, gain greater reuse of design and verification effort, and more easily manage requirements and test cases throughout the entire development process.
Engineers start with Mentor Graphics ReqTracer to collect and manage requirements in the DO-254 workflow. An executable Simulink model is then used to develop and explore a conceptual design including implementation details such as fixed-point effects. Model blocks can be linked directly to requirements in ReqTracer to ensure traceability.
Next, engineers perform functional testing and formal analysis at the conceptual model level with verification and validation tools from The MathWorks. With The Mathworks tools, engineers can ensure the conceptual design is fully tested, traceable to requirements, and meets all necessary requirements. From this fully tested model, a detailed design in HDL can be automatically generated with Simulink HDL Coder.
From this stage onward, Mentor Graphics HDL Designer provides the primary environment for additional HDL development, code checking, code visualizations, and reviews. Additional verification of the detailed HDL design can be performed in the Mentor Graphics verification environment (ModelSim and Questa). Formal analysis is supported by 0-In Formal Verification, for HDL model checking, and FormalPro, for logical equivalency checking. FPGA synthesis and integration with FPGA vendor place and route tools is accomplished by Precision RTL Plus. All verification results and synthesis constraint settings generated throughout the entire flow can be traced back to design and verification requirements using ReqTracer.