基于UML2.0顺序图的高可信实时软件建模技术研究

基于UML2.0顺序图的高可信实时软件建模技术研究.pdf
为了提高高可信实时软件开发的质量,研究了使用UML2.0顺序图建立高可信实时软件动态行为模型的方法.首先给出了顺序图在语法和语义上的形式化描述,分析了顺序图中事件之间的关系,在此基础上,给出了一种使用自动机描述每个对象在顺序图描述的场景中所参与的事件序列的方法,然后将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,给出了从UML2.0顺序图中提取时间约束,从而将上一步得到的自动机转化为时间自动机的算法.以上工作为使用模型检测工具UPPAAL对顺序图进行进一步的分析与验证奠定了基础.
作者：刘传会 陈睿璟 黄河赞 张广泉
作者单位：中国航发控制系统研究所,无锡,214063苏州大学计算机科学与技术学院,苏州,215006
母体文献：第六届民用飞机航电系统国际论坛论文集
会议名称：第六届民用飞机航电系统国际论坛  
会议时间：2017年4月18日
会议地点：上海
主办单位：中国航空学会
语种：chi
分类号：TP3TN9
关键词：高可信软件  软件开发  顺序图  时间建模  自动机算法
在线出版日期：2020年7月21日
基金项目：
相似文献
相关博文

2024-12-3 00:09 上传 基于UML2.0顺序图的高可信实时软件建模技术研究.pdf

文件大小:

2.35 MB

下载次数:

60

高速下载