您的位置： 专家智库 > >

刘骁

作品数：9 被引量：1H指数：1
供职机构：南京航空航天大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 7篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 4篇实时系统
  • 4篇AADL
  • 3篇形式化
  • 3篇PROLOG
  • 2篇形式化描述
  • 2篇隐式
  • 2篇矢量
  • 2篇矢量化
  • 2篇图标
  • 2篇图元
  • 2篇显式
  • 2篇跨平台
  • 2篇跨平台移植
  • 2篇基本图元
  • 1篇端对端
  • 1篇形式化验证
  • 1篇硬件
  • 1篇映射
  • 1篇映射关系
  • 1篇软硬件

机构

  • 9篇南京航空航天...

作者

  • 9篇刘骁
  • 5篇谢红梅
  • 4篇周勇
  • 2篇杨杰
  • 2篇燕雪峰
  • 2篇刘嘉怡
  • 1篇周洲
  • 1篇庄毅
  • 1篇顾晶晶

传媒

  • 1篇计算机技术与...

年份

  • 1篇2022
  • 2篇2019
  • 1篇2018
  • 4篇2017
  • 1篇2016
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
智能移动系统I/O接口可靠性分析方法及容错装置
本发明提供了一种智能移动系统I/O接口可靠性分析方法及容错装置。方法包括：建立可靠性模型RMIO；采用CTMC描述RMIO模型，建立映射关系，构建CTMC<Sub>IO</Sub>模型；根据CTMC<Sub>IO</Su...
庄毅庄宇翔顾晶晶刘骁
文献传递
基于Prolog的AADL行为模型时间一致性验证方法
本发明公开了基于Prolog的AADL行为模型时间一致性验证方法，属于软件工程的技术领域。本发明在AADL行为附件的基础上进行扩展以建立带有时间约束的AADL行为模型，AADL行为模型描述了节点状态信息、时间约束信息，节...
周勇刘骁谢红梅
文献传递
基于图元组合模型的矢量化符号动态标绘方法
本发明公开了基于图元组合模型的矢量化符号动态标绘方法，属于数据处理的技术领域。本发明用XML来绘制矢量符号实现了描绘文件和绘制平台的分离，通过解析符号XML文件得到对应于基本图元模型的矢量标识，再结合math标签实现了矢...
燕雪峰刘嘉怡杨杰刘骁
AADL行为模型时间一致性验证方法被引量：1
2017年
任务关键的实时系统对时序及安全要求的特殊性,在实时系统开发的早期阶段进行体系结构的时间一致性分析,能够尽早发现系统设计时出现的有关时序的潜在问题,为此提出了基于时间约束的AADL行为模型的验证方法。针对带有时间约束的AADL行为模型时序验证问题,提出了一种基于节点转换规则的AADL行为模型分解规则,将实时系统的行为模型转换成运行时的路径集合;设计了路径集合到Prolog事实的转换算法;将实时系统的隐式时间约束和显式时间约束转换成Prolog规则,支持实时系统对两种时间约束进行验证。最后应用AADL行为模型时间一致性验证方法对船舶指控系统进行实例验证,验证了实时系统的隐式时间约束和显式时间约束,为实时系统的时序分析提供了一种新的有效途径。
刘骁谢红梅
关键词：实时系统PROLOG
带有时间约束的AADL模型一致性验证
随着嵌入式实时系统的发展，系统的复杂度也越来越高，需要对系统进行抽象建模和验证。体系结构分析与设计语言(Architecture Analysis and Design Language, AADL)自2004年由美国汽...
刘骁
AADL端对端数据流一致性验证方法
本发明公开了一种AADL端对端数据流一致性验证方法，解决了实时系统的时延验证问题。本发明基于实时系统的时延问题提出了实时系统的AADL模型端对端数据流路径一致性的定义，在此基础上讨论带有时延的两种端对端数据流，即单一型端...
周勇刘骁谢红梅
文献传递
基于Prolog的AADL行为模型时间一致性验证方法
本发明公开了基于Prolog的AADL行为模型时间一致性验证方法，属于软件工程的技术领域。本发明在AADL行为附件的基础上进行扩展以建立带有时间约束的AADL行为模型，AADL行为模型描述了节点状态信息、时间约束信息，节...
周勇刘骁谢红梅
文献传递
基于图元组合模型的矢量化符号动态标绘方法
本发明公开了基于图元组合模型的矢量化符号动态标绘方法，属于数据处理的技术领域。本发明用XML来绘制矢量符号实现了描绘文件和绘制平台的分离，通过解析符号XML文件得到对应于基本图元模型的矢量标识，再结合math标签实现了矢...
燕雪峰刘嘉怡杨杰刘骁
文献传递
基于Coq的航空电子模式控制一致性验证方法
本发明公开了一种基于Coq的航空电子模式控制一致性验证方法，解决了航空电子系统的状态转移一致性验证问题。补充了航空电子模式控制系统中应用Coq语言形式化验证的空白。利用Coq语言对航空电子系统进行形式化建模，描述相应状态...
周勇张天瑞刘骁谢红梅周洲程仕杰
文献传递
全选 清除 导出
共1页<1>
聚类工具0