hisf_0016: Stateflow port names
R2026bName Stateflow input and output ports the same as the corresponding signal
Usage: High-Integrity System Modeling
Guideline ID: hisf_0016
Rules
| hisf_0016: Stateflow port names |
|---|
The name of a Stateflow® input or output must be the same as the corresponding signal. An exception to the guideline is that reusable Stateflow blocks can have different port names. Rationale Support generation of traceable code. Verification Check naming of ports in Stateflow charts (Simulink Check) |
Industry Standards
DO-331, Section MB.6.3.2.b 'Low-level requirements are accurate and consistent'
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 R2018aSee Also
Topics
- Model Advisor Checks for High-Integrity Systems Modeling Guidelines (Simulink Check)