超安全关键fpga基于模型的设计方法

大卫·阿莫超电子点
贾斯汀·伦诺克斯,超电子点

复杂的系统,通常需要严格的安全理由,在海洋汽车越来越普遍。基于模型的设计充分描述了操作系统的一个可执行的模型,有助于管理复杂性。使用时在系统层面上,基于模型的设计便于开发和集成。

本报告概述描述性模型的开发过程(MDDP)。MDDP结合了基于模型的设计和基于文本的方法传统上使用符合安全要求的理由。表示还描述了用于分解的方法的需求并确认正确的FPGA内实现。最后,回顾从10年的经验教训用人MathWorks工具来生成HDL的安全关键系统。