文件名称：形式正确的控制元素块：这有一组在功能上形式正确的块-matlab开发
文件大小：289KB
文件格式：ZIP
更新时间：2024-06-18 12:12:52
matlab
DO331 讨论元素块。 我已经放置了一组我在 2005 年开发的元素块。这些块现在已经使用 Simulink Design Verifier 进行了正式验证。 添加它的目的是帮助您理解概念并演示正式测试公司特定模块的方法。 我相信，这将帮助学生理解安全关键块的概念。 如果学生可以将其中的一些模块扩展到他们项目中的某些组件，我会非常高兴。
【文件预览】：
Formal_Safe_Blocks.zip