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

• 作者: 吴晓葵 彭寒 曹国震
• 来源期刊: 西安航空学院学报
• 学科: 工学
• 关键词: 分区操作系统 形式化方法 综合模块化航空电子架构 组合形式化方法
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 45-50
• 页数: 6页
• 分类号: TP316.8
• 字数: 6445字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-9233.2018.05.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴晓葵	西安航空学院教务处	14	49	4.0	6.0
2	彭寒	西安航空学院计算机学院	14	26	3.0	4.0
3	曹国震	西安航空学院教务处	32	60	4.0	5.0