What is the difference between analysis and trigger update diagram in model advisor at simulink verification and validation toolbox?

Hello, I'm wondering about simulink verification and validation toolbox.

What is the difference between analysis and trigger update diagram in model advisor?

I attach the image as an example.

I check the "Modeling Guidelines for MISRA C:2012", and there are some subordinating check box.

One is just check for ~, and the others are ^check for ~.

What is the difference ?

And what is "triggers update diagram" means?

Please help me.

Answer 1

[Sruthi Geetha]

The checks which do not have the symbol '^' before them do not require the compilation of the model. The ones with '^' (trigger an Update Diagram) require a model compilation/updating. For simulation or code generation, individual checks can sometimes require model compilation.