免费论文摘要：鉴于RUCM的软硬件安定性需要建立模型与领会本领接洽

软硬件安定性是对于软硬件所遏制的体例一直居于不危及人的人命财富和生态情况的安定状况的一种本质。软硬件自己并不会径直形成妨害，而是由软硬件的缺点引导其遏制的摆设（如铁鸟、汽船、航天器等）加入不安定状况，所以安定要害体例多为嵌入式体例。跟着安定要害体例中软硬件的范围越来越大、软硬件接受的安定要害功效越来越多，软硬件作废大概惹起的成果也越来越重要，所以在开拓进程中对软硬件安定性举行领会，以制止激励安定题目。为此，关系范围拟订了一系列关系规范（如DO178B/C等），以引导体例的安定性保护与评价进程。 安定性需要的决定与精确刻画是保证软硬件安定的要害，而现阶段的接洽没辙供给一种灵验、容易运用和严紧的安定性需要刻画本领。文本刻画本领易用，然而二义性较高，且没辙机动领会和考证；情势化需要刻画本领固然不妨透彻的刻画需要并扶助机动化考证，但不易领会和刻画，普遍需要领会职员和开拓职员难以流利控制和运用。RUCM是一种介于文本刻画和情势化刻画之间的用例建立模型本领，可灵验地贬低用例规约的二义性，且机动天生的领会模子不妨灵验普及后续安排与领会的品质，然而现有的RUCM没辙对安定性等非功效性需要举行建立模型。 正文旨在提出一种大略、灵验、低二义性和扶助机动领会的安定性需要刻画本领。开始从宇航范围的安定性关系规范中索取安定性需要的观念与属性，并贯串机载嵌入式及时体例的特性，对安定性需要举行建立模型。按照范围模子中辨别的观念和联系，对RUCM举行扩充，增添相映的沙盘与控制准则，产生Safety RUCM，使其扶助安定性需要的典型化刻画。对准所创造的Safety RUCM，提出了机动建立两种安定性领会模子的本领：经过模子变换实行机动建立妨碍树模子和作废形式与作废感化领会模子，以扶助进一步的安定性领会与考证。正文安排并实行了Safety RUCM Editor东西，扶助对安定性需要的编纂与到领会模子的机动变换，并采用嵌入式体例典范案例对建立模型本领和东西举行考证和领会。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

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