高完整性系统建模
适用于高完整性系统的建模规范
当您使用基于模型的设计和 MathWorks® 产品为高完整性系统开发模型和生成代码时,请遵循高完整性规范。这些规范提供了模型设置、模块用法和模块参数注意事项,用于创建完整、清晰、确定、可靠并且可验证的模型。
这些规范并不假定您采用了特定的安全或认证标准。这些规范引用了一些适用的安全标准,包括 DO-178C / DO-331、IEC 61508、ISO 26262、EN 50128/EN 50657、ISO 25119 和 EN 50657。
如果您拥有 Simulink® Check™ 许可证,可以使用模型顾问检查是否符合某项规范。要查看模型顾问检查,请参阅Model Advisor Checks for High-Integrity Systems Modeling Guidelines。
有关详细信息,请参阅Motivation和规范模板。
类别
- Simulink 模块注意事项
名称、数学运算、端口和子系统、信号路由、逻辑和位运算
- Stateflow 图注意事项
Stateflow® 图名称、属性和架构
- MATLAB Function 和 MATLAB 代码注意事项
MATLAB® Function、MATLAB 代码
- 配置参数注意事项
求解器、诊断和优化设置
- 需求注意事项
将需求链接到模型
- MISRA C:2012 合规性注意事项
MISRA C:2012 合规性,包括建模风格、模块用法和配置设置