基于模型的安全临界fpga设计的超方法
David Amor, Ultra Electronics PMES
Justin Lennox, Ultra Electronics PMES
复杂的系统，通常需要严格的安全理由，越来越普遍的海事车辆。基于模型的设计在可执行模型中完整地描述了系统的操作，并有助于管理复杂性。在系统级别使用时，基于模型的设计有助于开发和集成。
本演讲概述了模型描述开发过程(MDDP)。MDDP结合了基于模型的设计和传统上用于满足安全理由的基于文本的需求方法。演示还描述了用于分解需求和确认FPGA内正确实现的方法。最后，本文回顾了10年使用MathWorks工具为安全关键系统生成HDL的经验教训。
其他资源
相关视频和网络研讨会
你也可以从以下列表中选择一个网站: