Please login to view the entire Verification Horizons article.
Please register or login to view.
Engineers can use Model-Based Design for requirements analysis, algorithm design, automatic HDL code generation, and verification to produce airborne electronic hardware that adheres to the DO-254 standard. The proposed Model-Based Design approach for DO-254 combines tools from MathWorks® and Siemens EDA for both design and verification. This workflow supports development phases from concept through implementation, streamlining development, and reducing costs.
Simulink® from MathWorks is the starting point to enable Model-Based Design within this process. Simulink allows engineers to manage requirements and test sets, develop architectural and behavioral models, perform formal verification, ensure conformance to modeling standards, and
...