您的位置： 专家智库 > >

吴剑

作品数：3 被引量：3H指数：1
供职机构：同济大学电子与信息工程学院更多>>
发文基金：国家自然科学基金铁道部科技研究开发计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 2篇安全苛求系统
  • 1篇动态故障树
  • 1篇顺序图
  • 1篇通信
  • 1篇通信协议
  • 1篇全通
  • 1篇自动生成
  • 1篇马尔科夫
  • 1篇马尔科夫模型
  • 1篇模块化
  • 1篇可靠性
  • 1篇可靠性分析
  • 1篇故障树
  • 1篇安全通信
  • 1篇安全通信协议
  • 1篇安全需求
  • 1篇UML顺序图
  • 1篇测试用例
  • 1篇测试用例自动...

机构

  • 3篇同济大学
  • 2篇上海大学

作者

  • 3篇徐中伟
  • 3篇吴剑
  • 2篇喻钢
  • 2篇李弋强
  • 1篇梅萌
  • 1篇谭渊
  • 1篇周绍君

传媒

  • 1篇计算机工程
  • 1篇计算机应用研...
  • 1篇计算机工程与...

年份

  • 3篇2009
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种新的安全通信协议安全性验证框架
2009年
将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性。
谭渊徐中伟梅萌吴剑
关键词：安全通信协议
面向安全需求的测试用例自动生成技术研究被引量：1
2009年
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。
周绍君徐中伟喻钢李弋强吴剑
关键词：UML顺序图测试用例自动生成安全苛求系统
基于改进DFTA的安全苛求系统可靠性分析被引量：2
2009年
针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。
吴剑徐中伟喻钢李弋强
关键词：动态故障树安全苛求系统可靠性分析马尔科夫模型模块化
全选 清除 导出
共1页<1>
聚类工具0