论文纲要：鉴于RUCM本领的软硬件及时性需要建立模型本领接洽

跟着及时嵌入式体例范围的赶快兴盛，嵌入式体例的范围和搀杂度连接普及，软硬件及时性需要的要害性也更加凸显。更加是在宇航电子等强及时体例范围，软硬件具备庄重的及时性、时序性和并发性牵制。当体例的功夫个性没辙被满意时，常常会引导重要成果，带来宏大丢失。所以，对及时性需要的关系接洽具备需要性和急迫性。 暂时仍旧生存少许对准及时性需要的建立模型本领，但与功效需要建立模型本领比拟仍不够老练。产业范围仍旧重要沿用保守的需要文书档案刻画及时性需要。接洽表露，现有的及时性需要建立模型本领生存的重要题目是不易被人领会和控制，在本质工程中的运用本钱较高。 RUCM（Restricted Use Case Modeling）本领是一种鉴于用例建立模型的需要建立模型本领，由用例图、变革的用例规约沙盘、以及一组控制准则形成。试验表明，RUCM本领不妨灵验地贬低需要规约的二义性，同声又保持天然谈话易领会和易运用的便宜。所以RUCM本领在软硬件需要建立模型上面具有明显上风。但是，RUCM本领是一种通用的建立模型本领，并未对准及时嵌入式体例范围设置关系观念。 本舆论接洽处事以RUCM建立模型本领为普通，为其增添刻画及时性需要的观念与建立模型元素。经过扩充用例图、用例规约沙盘和控制准则，使其不妨简单、精确地刻画软硬件及时性需要，进而产生扶助及时性需要建立模型的扩充RUCM建立模型本领，并为扶助后续机动化的体例安排与领会奠定普通。从而，经过为RUCM本领安排和实行可扩充的建立模型东西框架，使规范RUCM本领和扩充RUCM本领不妨获得所有的东西扶助，使其不妨本质应用在产业范围，表现其价格。综上所述，正文波及两个上面的接洽处事： （1）鉴于规范RUCM建立模型本领，提出扩充的扶助及时性需要建立模型的RT-RUCM（Real-Time Restricted Use Case Modeling）建立模型本领； （2）为规范RUCM建立模型本领安排和实行可扩充的建立模型东西框架，并在该框架上实行RT-RUCM建立模型东西。 本接洽经过两个及时嵌入式体例的案例接洽，来考证RT-RUCM建立模型本领的易用性和易领会性，并证明RT-RUCM建立模型东西的灵验性；其余，经过一个受控试验来考证RUCM建立模型东西框架的可扩充本领是不妨扶助将来RUCM扩充东西的开拓的。