hisl_0042: Configuration Parameters > Solver > Tasking and sample time options

R2026b

Configure explicit rate transitions for multitasking models with preemptive operating systems

Usage: High-Integrity System Modeling

Guideline ID: hisl_0042

Rules

hisl_0042: Configuration Parameters > Solver > Tasking and sample time options

For multitasking models that are deployed with a preemptive (interruptable) operating system:

  • Clear model configuration parameter Automatically handle rate transition for data transfer.

  • Explicitly model rate transitions by using a Rate Transition block and selecting block parameter Ensure data integrity during data transfer.

This guideline applies to rate-based models only.

Rationale

Support fully specified models and unambiguous code.

Verification

Check safety-related solver settings for tasking and sample-time (Simulink Check)

Tips

  • Selecting the Automatically handle rate transition for data transfer parameter can insert rate transition code without a corresponding model construct. This can impede establishing full traceability or showing that only intended functions are included in generated code.

  • You can select or clear the Higher priority value indicates higher task priority model configuration parameter. Selecting this parameter determines whether the Sample time properties parameter assumes lower values indicate higher priorities or higher values indicate higher priorities.

Industry Standards

  • DO-331, Section MB.6.3.4.e 'Source code is traceable to low-level requirements'

  • IEC 61508-3, Table A.3 (3) 'Language subset'

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1b) 'Use of language subsets'

  • EN 50128, Table A.4 (11) 'Language Subset'

  • EN 50657, Table A.4 (11) 'Language Subset'

Version History

Introduced in R2010a

expand all

See Also