Main Content

本页的翻译已过时。点击此处可查看最新英文版本。

高完整性系统建模

适用于高完整性系统的建模规范

当您使用基于模型的设计和 MathWorks® 产品为高完整性系统开发模型和生成代码时,请遵循高完整性规范。这些规范提供了模型设置、模块用法和模块参数注意事项,用于创建完整、清晰、确定、可靠并且可验证的模型。

这些规范并不假定您采用了特定的安全或认证标准。这些规范引用了一些适用的安全标准,包括 DO-178C / DO-331、IEC 61508ISO 26262、EN 50128/EN 50657、ISO 25119 和 EN 50657。

如果您拥有 Simulink® Check™ 许可证,可以使用模型顾问检查是否符合某项规范。要查看模型顾问检查,请参阅Model Advisor Checks for High-Integrity Modeling Guidelines

有关详细信息,请参阅MotivationGuideline Template