使概念为机载电子硬件设计探索和验证。
通过埃里克•Cigan MathWorks,雅各Wiltgen,西门子EDA
做的目的- 254(正式名称为RTCA /做- 254或ED80)是为机载电子硬件的发展提供指导。美国联邦航空管理局(FAA),欧洲航空安全局(EASA认证),和其他全球航空安全部门需要这个标准以确保复杂的电子硬件规定的用于飞机系统工程在所有可预见的情况下,避免错误操作和潜在的灾害。
现在- 254合规是常见的商业和军事航空项目。不幸的是,最近的行业数据突显出一些重要的趋势迫使公司评估他们的开发过程。日益增长的复杂性影响首次成功导致项目延迟和额外的开销。
图1:日益增长的复杂性意味着更多的错误,错过了时间表。
幸运的是,西门子和MathWorks看过这个趋势,并且已经合作提供自动化和方法加速——254年的生命周期,同时保持低成本。工程师现在可以使用基于模型的设计需求分析、算法设计、自动HDL代码生成和验证生产机载电子硬件,坚持做- 254标准。基于模型的设计方法做- 254结合了自动化工具设计和验证MathWorks和西门子EDA支持开发过程从概念到implementation-streamlining发展和降低成本。
图2:- 254合规的生命周期和相关流程。
图2显示了- 254生命周期,列出了必须执行的流程和记录作为一个从设计阶段阶段。本文将侧重于以下过程:
在此工作流,工程师使用西门子EDA Polarion收集和管理需求,出口需求从MathWorks工具箱。然后创建一个可执行的仿真软件模型从这些需求,使概念设计探索。这个概念模型链接到工具箱Polarion需求在不同的水平和需求。
从MathWorks使用验证和验证工具,工程师执行功能测试和正式分析在概念模型级别。在仿真软件中,工程师精心设计模型通过添加实现属性,如数据流和定点效果。这种阐述模型允许工程师验证设计满足要求,确定覆盖水平,并检查一致性模型标准,成为HDL实现模型。详细设计的高密度脂蛋白也使用HDL编码器产生的验证仿真软件模型。SystemVerilog testbench组件是使用HDL验证器生成。
一旦生成,执行验证的详细的HDL设计结合西门子EDA验证工具。使用与高密度脂蛋白HDL cosimulation校验,仿真软件testbench是使用design-under-test (DUT),模拟器的模拟来验证DUT正确实现了模型。测试向量在概念模型级上创建与仿真软件测试应用于仿真软件在cosimulation testbench。HDL代码覆盖率测量,确定的有效性测试向量和与覆盖率度量收集在模型层。整个仿真软件testbench然后出口到西门子验证环境通过生成SystemVerilog DPI-C组件代表刺激、参考模型和检查程序。高密度脂蛋白验证器也会产生个人SystemVerilog验证组件或完整的UVM验证环境。
西门子EDA产品自动化辅助HDL开发活动以满足基本需求分析和设计裕度分析中发现做- 254。这包括代码检查,关闭报道,代码可视化,亚稳度检查,和评论。,正式执行静态设计和自动覆盖分析,而西门子OneSpin EC-FPFGA执行逻辑等价模型检测。,疾控中心和RDC执行时钟和复位域交叉检查亚稳定性和故障场景,和域交叉分析,Lint赞美- 254规则集。FPGA综合和集成与FPGA供应商地点和路线使用精密RTL工具完成。图3详细流程和上面列出的工具之间的集成点。
图3:- 254与基于模型的设计流程。
扩大使用- 254是引人注目的公司评估他们在开发过程更有效率而实现做- 254执行。MathWorks和西门子产品的使用EDA设计,测试,实施,验证可以满足这些需求为公司发展复杂的机载电子设备。做- 254工作流使用基于模型的设计促进一致的requirements-oriented项目视图和增加重用的设计和验证工作做- 254生命周期的所有阶段。
创建了一个全面的白皮书提供详细到每个功能在上面描述的流。白皮书可以访问:
Eric Cigan主要产品营销经理在MathWorks ASIC和FPGA验证。Cigan获得了某人从麻省理工学院的机械工程学位,后来获得了SM机械工程学位作为德雷伯的麻省理工学院。Cigan在天基导航系统在洛克希德导弹和空间和集成系统,公司,然后举行了技术营销角色在导师图形仿真和高级合成,类比,AccelChip在2007年加入MathWorks之前。
|
|
|
|
|
|
|
|
留下一个回复