舆论摘要：鉴于分割事变体例监察和控制表面的软硬件非功效安排

软硬件需要囊括功效需乞降非功效需要。跟着软硬件范围及其运用范围的连接夸大，软硬件非功效需要变得越来越要害。比方机载软硬件的真实性、电子商务软硬件的安定性等。现有的软硬件非功效安排和功效安排贯串在一道，鉴于工程化的安排本领，缺乏庄重的表面普通。本舆论以接洽软硬件真实性为动身点，鉴于分割事变体例监察和控制表面接洽反馈式软硬件非功效安排题目，为反馈式软硬件非功效安排供给了表面普通。舆论重要接洽功效归结如次：1。提出了“鉴于分割事变体例监察和控制表面的软硬件安排本领”，反馈式软硬件的运转情况被动作受控东西，软硬件需要动作遏制目的，软硬件即是遏制器。进而软硬件安排题目被变化为一个遏制题目。2。用“鉴于分割事变体例监察和控制表面的软硬件安排本领”，在软硬件体例的多项式动静体例模子下，接洽了静止性、有功夫牵制的可达性、恢复性、招引性、自宁静性和有临界状况的软硬件需要下的软硬件非功效安排题目，给出了那些非功效需要下的软硬件生存的充溢需要前提和软硬件安排算法，而且计划了最优软硬件安排题目。3。提出了“鉴于分割事变体例鲁棒监察和控制表面的容错软硬件安排本领”，把精确的软硬件和设想的多种大概的妨碍软硬件一道动作多个受控东西，软硬件需要动作遏制目的，用鲁棒监察和控制的表面安排出一个遏制器。把此遏制器和已有的软硬件复合在一道就获得了容错软硬件。当设想的妨碍爆发的功夫，此容错软硬件不妨不爆发作废并且连接平常运转。4。用“鉴于分割事变体例监察和控制表面的软硬件安排本领”和“鉴于分割事变体例鲁棒监察和控制表面的容错软硬件安排本领”，在软硬件体例的时态论理模子下，接洽了和功夫相关的非功效需要下的软硬件安排和容错软硬件安排题目，辨别给出了软硬件安排和容错软硬件安排的算法。这两个算法的搀杂性都是双指数级其余，以是是不令人合意的。5。提出了“鉴于分割事变体例监察和控制表面的构件软硬件打包安排本领”，把被打包的软硬件动作受控东西，目的软硬件动作遏制目的，则打包的进程即是安排遏制器的进程，要安排的“包”即是遏制器。6。用“鉴于分割事变体例监察和控制表面的软硬件安排本领”，在软硬件体例的扩充有限状况机模子下，精细接洽了软硬件安排题目，给出了软硬件生存的充要前提和软硬件安排算法。而且用“鉴于分割事变体例监察和控制表面的构件软硬件打包安排本领”，把那些算法用来一个井字棋玩耍软硬件的打包安排中，考证了正文提出的本领的可用性。