您的位置： 专家智库 > >

殷文文

作品数：2 被引量：0H指数：0
供职机构：青岛科技大学更多>>
发文基金：山东省高等学校科技计划项目山东省自然科学基金国家自然科学基金更多>>
相关领域：交通运输工程自动化与计算机技术机械工程更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇机械工程
  • 1篇自动化与计算...
  • 1篇交通运输工程

主题

  • 2篇安全性
  • 1篇列车
  • 1篇列车控制
  • 1篇控制系统
  • 1篇轨道列车
  • 1篇安全苛求系统
  • 1篇安全性测试
  • 1篇PETRI网

机构

  • 2篇青岛科技大学

作者

  • 2篇殷文文
  • 1篇曹玲
  • 1篇江峰
  • 1篇杜军威
  • 1篇张会萍

传媒

  • 1篇山东大学学报...

年份

  • 1篇2015
  • 1篇2014
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
面向场景的列车控制系统安全性测试技术研究
轨道交通列车控制系统因其高速、精准的控制行为，要求其构成的多系统间的并发行为逻辑准确，而在这种典型的分布、实时和并发的安全苛求系统中，交互行为的时序性成为系统功能、安全性的重要特征。场景是刻画并发、分布系统间动态行为的有...
殷文文
关键词：轨道列车控制系统安全性测试
文献传递
基于图形转换的组合状态安全性验证技术
2014年
受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架,研究了该框架的组合状态安全性验证技术。采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关联关系,提出了组合状态危害等级分类模型,设计出组合状态可达性分析方法和层次化多级安全性验证算法,并实例应用于轨道交通列车控制系统的功能安全性验证。
杜军威江峰张会萍曹玲殷文文
关键词：PETRI网安全苛求系统
全选 清除 导出
共1页<1>
聚类工具0