Download Simulink Verification and Validation Reference

DO-178C/DO-331 Checks
Check safety-related model referencing settings
Check ID: mathworks.do178.MdlrefOptSet
Check model configuration for model referencing settings that can impact safety.
Description
This check verifies that model configuration parameters for model referencing are set
optimally for generating code for a safety-related application.
Available with Simulink Verification and Validation.
Results and Recommended Actions
Condition
Recommended Action
The referenced model is configured such
that its target is rebuilt whenever you
update, simulate, or generate code for
the model, or if the Simulink software
detects changes in known dependencies.
These configuration settings can result
in unnecessary regeneration of the code,
resulting in changing only the date of the file
and slowing down the build process when
using model references. (See DO-331, Section
MB.6.3.1.b – High-level requirements are
accurate and consistent and DO-331, Section
MB.6.3.2.b – Low-level requirements are
accurate and consistent.)
Set “Rebuild” on the Model Referencing pane of
the Configuration Parameters dialog box or set the
parameter UpdateModelReferenceTargets to
Never or If any changes detected.
The diagnostic that detects whether a target
needs to be rebuilt is set to None or Warn
if targets require rebuild. For
safety-related applications, an error should
alert model developers that the parent and
referenced models are inconsistent. This
diagnostic parameter is available only if
Rebuild is set to Never. (See DO-331,
Section MB.6.3.1.b – High-level requirements
are accurate and consistent and DO-331,
Set “Never rebuild diagnostic” on the Model
Referencing pane of the Configuration
Parameters dialog box or set the parameter
CheckModelReferenceTargetMessage to error.
3-43