大卫·阿莫,超电子PMES
贾斯汀·伦诺克斯,超电子PMES公司
复杂的系统,通常需要严格的安全证明,在海上车辆中越来越普遍。基于模型的设计在可执行模型中全面描述系统的操作,并帮助管理复杂性。当在系统级别使用时,基于模型的设计有助于开发和集成。
本演示给出了模型描述开发过程(MDDP)的概述。MDDP结合了基于模型的设计和传统上用于满足安全理由的基于文本的需求方法。演示还描述了用于分解要求和确认正确实现在FPGA内的方法。最后,它回顾了10年来使用MathWorks工具为安全关键系统生成HDL的经验教训。
录音:2018年10月3日
您也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
本网站使用cookies改善您的用户体验,个性化内容和广告,并分析网站流量。如您继续使用本网站,即表示您同意我们使用cookies。请参阅我们的隐私政策以了解更多有关cookies及如何更改您的设置。