机载分区操作系统形式化建模及验证研究

作     者：彭寒 曹国震 吴晓葵 PENG Han a;CAO Guo-zhen b;WU Xiao-kui b

作者机构：西安航空学院计算机学院西安710077 西安航空学院教务处西安710077 

出 版 物：《西安航空学院学报》 (Journal of Xi’an Aeronautical Institute)

年 卷 期：2018年第36卷第5期

页      码：45-50页

摘      要：分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多种形式化建模三种分区操作系统建模及验证的新思路,以期对未来研究者有所借鉴。

主 题 词：分区操作系统 形式化方法 综合模块化航空电子架构 组合形式化方法 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1008-9233.2018.05.009

馆 藏 号：203377994...