【摘 要】
：
为了提高高可信实时软件开发的质量,研究了使用UML2.0顺序图建立高可信实时软件动态行为模型的方法.首先给出了顺序图在语法和语义上的形式化描述,分析了顺序图中事件之间的
【机 构】
：
中国航发控制系统研究所,无锡,214063苏州大学计算机科学与技术学院,苏州,215006
论文部分内容阅读
为了提高高可信实时软件开发的质量,研究了使用UML2.0顺序图建立高可信实时软件动态行为模型的方法.首先给出了顺序图在语法和语义上的形式化描述,分析了顺序图中事件之间的关系,在此基础上,给出了一种使用自动机描述每个对象在顺序图描述的场景中所参与的事件序列的方法,然后将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,给出了从UML2.0顺序图中提取时间约束,从而将上一步得到的自动机转化为时间自动机的算法.以上工作为使用模型检测工具UPPAAL对顺序图进行进一步的分析与验证奠定了基础.
其他文献
本文介绍了基于ADS-2设备来构建数控系统RS422通信仿真环境,并结合设备开展RS422通信自动化测试的研究.通过介绍环境的原理、自动化测试原理、脚本编写方法来说明整个自动化
在嵌入式软件自动化测试过程中,需要测试人员编写数据自动化分析脚本.为了提高脚本编写的速度和质量,本文提出一种嵌入式软件需求模型,并根据该模型实现一组数据分析工具,通
本文在讨论软件标识的基础上,根据民用飞机软件研制的流程,从系统软件、应用软件及硬件不同构型之间配置应用的实际情况出发,并结合项目中产品数据构型标识作为数据源追溯依
为提高点火过程时间控制精度和控制的灵活性,结合涡轮试验技术要求,开发了试验器加温设备控制系统.介绍了燃油点火控制系统的工作特点、硬件组成和软件实现,以及满足不同试验
无线电高度表通过向地面(水面)辐射无线电波并接收经地面(水面)反射而回的无线电波测量航空器距离地的面(水面)真实高度,作为航空器平台上重要的导航设备,对航空器的飞行安全
在安全等级为A的航空发动机控制系统软件中，所有的验证工作都是围绕目标码进行的，DO-178C的目标6. 4条款明确指出了目标码需要与各级需求保持一致性与鲁棒性。本文介绍了一种基
飞参外场检测处理机作为机载飞行参数记录系统(简称飞参)的地面保障设备,对于飞参的日常维护及飞机的安全飞行至关重要.本文介绍的飞参外场检测处理机采用可快速拆卸的通用飞
本文介绍了在屏交互式航电人机接口的技术特点,包括采用大尺寸综合显示布局、民用飞机图形化用户接口(Graphical User Interface,GUI)、综合化显示管理、实体与虚拟交互集成
基于模型的系统工程,与传统系统工程相比具有兼容性好、沟通效率高等多种优势,是解决传统信息传递不准确、信息查找更改困难等不足的有效途径.通过机载系统研制过程中基于模
迎角是机载失速保护、航电和飞控等系统需要的重要参数,迎角传感器可用来为民用飞机提供迎角信息,迎角测量的准确性影响到飞机的操纵性和安全性.基于适航条款研究,分析了失速