Which MathWorks tools facilitate bidirectional traceability for

requirements?Verification and Validation $(12$ pts$)$ Continuous Integration:

How can you integrate Simulink models and tests into a continuous

integration pipeline?

What tools and practices support continuous integration for Simulink

projects?

Documentation and Reporting $(12$ pts$)$

Automatic Reporting:

How do you generate detailed reports of simulation results and model

verification in Simulink?

COP$4902$ FiGES $-$ Model$-$Based Design via MATLAB

What customization options are available for reporting in the Simulink

Report Generator? Compliance and Standards:

How do MathWorks verification and validation tools help in complying

with industry standards $($e$.$g$.,$ DO$-178$C$,$ ISO $26262)?$

What features support certification and regulatory requirements in

safety$-$critical systems?

Review and Iteration $(12$ pts$)($Bonus$)$

Model Review:

How do you conduct model reviews and inspections in Simulink?

What tools support collaborative review processes for Simulink models?

Iterative Development:

How do you manage iterative development and refinements of Simulink

models?

What strategies ensure that updates to models do not introduce new

errors or issues?

Model Coverage:

How do you measure model coverage in Simulink?

What metrics and tools does Simulink Coverage provide to ensure

thorough model testing?

Static Analysis:

How do you perform static analysis on Simulink models using Polyspace?

What types of issues can Polyspace detect in your models?

Formal Methods:

How does Simulink Design Verifier use formal methods to prove model

properties?

What are the benefits of using formal methods for model verification?

Integration and System Testing $(12$ pts$)$

Hardware$-$in$-$the$-$Loop $($HIL$)$ Testing:

How do you set up and perform HIL testing using Simulink Real$-$Time?

What are the advantages of using HIL testing in a Model$-$Based Design

workflow?

Continuous Integration:

How can you integrate Simulink models and tests into a continuous