《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（一）

心仪

《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（一） [复制链接]

看到论坛里有DO-254的讨论，对这个还是有一定的了解，给大家分享下高设计可靠性的逻辑综合部分，欢迎讨论！

摘要

      DO-254规范的目的是确保航空器电子硬件设备能够按照要求可靠的工作，避免操作失败和潜在的功能缺陷。DO-254对硬件的需求中把设计安全性从灾难性后果到无影响性定义一共定义了5种，下面将详细介绍。

    如果最终产品和航天的应用相关，那么设计方法，设计工具和设计流程例如FPGA的逻辑综合就必须按照DO-254的要求来进行考虑。讲座将提供一些背景信息，以及在DO-254的环境中FPGA逻辑综合的挑战和解决方案。

心仪

DO-254中设计安全性以及其他安全性优先的逻辑综合过程

RTCA/DO-2541, 和欧洲的”ED-80”一样，是航空器电子设计安全性的指导规范。 2005年，
联邦航空局和欧洲航空安全局以及世界上其他一些航空安全机构都认可DO-254和AC20-152兼容。
这些指导规范可以被应用在PLD,
FPGA和ASIC设计中。 DO-254的目的是确保航空器电子设备工作可靠，避免出现操作失效和潜在的功能问题。

DO-254硬件设计安全需要是由设计安全性等级来决定的。

A级：在该级别一个软件/硬件失效将导致飞机飞行控制系统的灾难性失效。
°
B级：在该级别一个软件/硬件失效将在飞行控制系统中导致一个危险/严重的失效情况。
°
C级：在该级别一个软件/硬件失效将在飞行控制系统中导致一个重要的失效情况。
°
D级：在该级别一个软件/硬件失效将在飞行控制系统中导致一个小的失效情况。
°
E级：在该级别一个软件/硬件失效将对飞机或飞行员工作没有任何负面影响。


设计规范还根据设计是简单设计还是复杂设计也进行了区分。简单硬件设备是指设备的功能可以被一套确定的分析和测试集进行全面的测试。无法象简单设计那样进行验证的就是复杂硬件设备。

设计方法，设计工具和设计流程都对项目的成功影响巨大。 DO-254的项目对这些尤其关注，在项目中的这些决定非常重要。,
DO-254使许多公司重新评估了设计方法和设计工具，因为这些因素直接影响了设计的质量，效率，开发周期，预算和认证等许多方面。

心仪

第二讲：逻辑综合https://bbs.eeworld.com.cn/thread-93568-1-1.html

心仪

精彩点击 https://bbs.eeworld.com.cn/thread-93953-1-1.html

[ 本帖最后由 心仪 于 2010-1-13 10:21 编辑 ]

心仪

《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（四）--优化
https://bbs.eeworld.com.cn/thread-94225-1-1.html

《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（五）--冗余逻辑https://bbs.eeworld.com.cn/thread-94380-1-1.html

《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（六）--DO-254的工程需要考虑https://bbs.eeworld.com.cn/thread-94475-1-1.html

wanggq

谢谢 有总的文档就好了

心仪

翻译需要时间，最后会把总的分享给大家
《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（七）--支持逻辑等效型检查
https://bbs.eeworld.com.cn/thread-94580-1-1.html

《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（八）--设计分析报告
https://bbs.eeworld.com.cn/thread-94582-1-1.html

心仪

《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（八）--增量设计和设计的更改：https://bbs.eeworld.com.cn/thread-94821-1-1.html

DSP16

这里有这个啊，有汇总的吗？

moretea

谢谢楼主分享资料啊

tx_xy

这个很强 。。。
学习 学习 。。。