using qualified tools in a do-凯发k8网页登录
you will learn how to use mathworks tools in a do-178c process, starting with the requirements process and ending with the verification of the software. this video series covers do-331 model-based development and verification, as well as do-333 formal methods. additionally, do-330 software tool qualification considerations will be addressed by an explanation of the do qualification kit.
learn how to use model-based design and formal methods with simulink, stateflow, embedded coder, and the do qualification kit in a process compliant with do-178c, do-331, do-333, and do-330.
perform tracing from models to requirements, in compliance with do-178c and do-331, using simulink requirements, and then generate a design description document using simulink report generator.
perform simulation and model coverage analysis to verify models, in compliance with do-178c and do-331, using simulink test and simulink coverage.
perform static analysis to verify model standards, consistency, and accuracy, in compliance with do-178c and do-331, using simulink check.
perform formal methods analysis to verify model consistency and accuracy, in compliance with do-178c and do-333, using simulink design verifier.
use embedded coder and simulink code inspector to generate code from models and verify that translation in compliance with do-178c and do-331.
use embedded coder and polyspace bug finder to generate code from models and verify coding standards in compliance with do-178c and do-331.
perform formal methods analysis to verify code consistency and accuracy, in compliance with do-178c and do-333, using polyspace code prover.
use simulink design verifier and simulink coverage to generate tests from models and verify low-level test coverage, in compliance with do-178c and do-331.
use processor-in-the-loop capability and code coverage analysis to verify executable object code, in compliance with do-178c and do-331, with simulink test and simulink coverage.
qualify mathworks tools in compliance with do-178c and do-330 using the do qualification kit.