这是一组在功能上形式正确的MATLAB开发控制元素块

DO331 讨论元素块。 我已经放置了一组我在 2005 年开发的元素块。这些块现在已经使用 Simulink Design Verifier 进行了正式验证。 添加它的目的是帮助您理解概念并演示正式测试公司特定模块的方法。 我相信，这将帮助学生理解安全关键块的概念。 如果学生可以将其中的一些模块扩展到他们项目中的某些组件，我会非常高兴。