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

摘要：

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

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

所属期刊栏目：36

分类号：TP316.8(计算技术、计算机技术)

在线出版日期：2018-12-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：45-50