汇编语言层的系统状态模型构建

操作系统具有规模大、结构复杂的特点,所以设计以及实现过程中的正确性验证难度较大。本文通过汇编语言层的操作系统模块功能模型构建,完成汇编语言层的设计以及验证,实现对汇编语言层设计的正确性验证。以安全可信操作系统为范例,进行了形式化验证。

基于扩展GO-FLOW的多状态系统动态可靠性建模方法

文中以多状态关联可重构系统为研究对象,拟突破多状态关联可重构系统的可靠性动态建模技术,研制出一套多状态关联可重构系统建模方法。针对现有GO-FLOW方法表达能力的不足的情况,对GO-FLOW操作符进行扩展定义与封装,拓展了操作符动态、可重构、事件驱动等特性,实现了功能原理图到GO-FLOW模型扩展映射,结合面向对象的理念和思想,根据多状态系统功能原理,提出了扩展GO-FLOW建模流程。选取了几种典型的重构方式,对飞机伺服作动系统的可重构可靠性模型进行研究,以飞机伺服作动系统为实例验证了方法的有效性。提出利用扩展的语义操作符对动态重构系统进行直观建模的方法,极大提高了建模的适应能力和效率,应用实例表明,该方法是建立多状系统可靠性动态模型的可行途径。