免费论文摘要：鉴于证明的宇航软硬件安定评价要害本领接洽

软硬件安定性是指遏制体例的软硬件不对职员、财富和情况形成妨害的一种本质。为了保证宇航要害体例的安定性，评价职员须要考证软硬件及其开拓进程能否满意安定规范所提出的一系列安定目的。一种被普遍运用的安定考证本领是鉴于证明的安定论据。在举行评价前，须要从软硬件进程成品中抽取论据目的所需的安定证明。但是，关系接洽和安定评价试验表白，证明搜集生存着如次题目：1）细工索取证明需要不只耗费时间，且依附于部分体味，这将贬低证明的灵验性和确凿度；2) 软硬件进程爆发的原始成品数据量大，构造搀杂，减少了证明抽取的难度和处事量；3) 各别名目中爆发的进程成品的数据方法各别，这将贬低证明需要的可复用性。对准证明搜集中生存的题目，参考现有的接洽，本文华用鉴于模子的证明搜集本领，接洽并索取了宇航软硬件安定规范RTCA DO-178C的证明模子，并运用于某宇航操纵体例名目评价进程中的证明搜集；同声开拓了轻量级模子数据处置器，用来扶助鉴于模子的证明搜集。刻画安定论据进程的论理是安定评价的另一个中心。对天然谈话刻画的安定目的举行论据依附于主观领会，这形成论据中生存潜伏的论理二义性和不普遍性。正文提出情势化的安定论据本领：经过情势论理命题透彻地、无二义性地刻画安定目的的论据论理。鉴于这一本领，咱们索取了DO-178C开拓和尝试进程的安定目的的情势论理命题，并开拓了相映的情势化考证东西，用来扶助机动化安定论据。正文将鉴于模子的证明搜集与情势化的安定考证本领相贯串，开拓了证明启动考证器，用来扶助鉴于证明的机动化安定论据。结果，在东西的扶助下，正文考证了某宇航操纵体例项手段开拓和尝试进程能否满意DO-178C的安定目的；经过案例领会，考证了东西的灵验性以及正文提出的安定评价本领的可行性。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/283762.html