机载分区操作系统形式化建模及验证研究 |
| |
引用本文: | 彭寒,曹国震,吴晓葵.机载分区操作系统形式化建模及验证研究[J].西安航空技术高等专科学校学报,2018(5). |
| |
作者姓名: | 彭寒 曹国震 吴晓葵 |
| |
作者单位: | 西安航空学院计算机学院;西安航空学院教务处 |
| |
摘 要: | 分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多种形式化建模三种分区操作系统建模及验证的新思路,以期对未来研究者有所借鉴。
|
本文献已被 CNKI 等数据库收录! |
|