李弋强
- 作品数：4 被引量：5H指数：1
- 供职机构：同济大学电子与信息工程学院更多>>
- 发文基金：国家自然科学基金铁道部科技研究开发计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 交叉冗余体系结构的安全性分析被引量：1
- 2010年
- 为确保列车运行安全和提高运输效率,迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法,根据系统特性及系统各部分间的独立性,将系统各部分的失效率划分为几个独立不相关的分量,充分考虑到各部分失效率对系统安全性的影响,利用系统分解和模型压缩的方法解决状态空间的激增问题,并对铁路信号系统中使用的交叉冗余体系结构进行了安全性定量分析和仿真。
- 李弋强徐中伟喻钢
- 关键词：马尔可夫模型安全性
- 基于改进DFTA的安全苛求系统可靠性分析被引量：2
- 2009年
- 针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。
- 吴剑徐中伟喻钢李弋强
- 关键词：动态故障树安全苛求系统可靠性分析马尔科夫模型模块化
- 面向安全需求的测试用例自动生成技术研究被引量：1
- 2009年
- 传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。
- 周绍君徐中伟喻钢李弋强吴剑
- 关键词：UML顺序图测试用例自动生成安全苛求系统
- 面向安全需求的安全通信协议测试序列生成算法被引量：1
- 2009年
- 安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议安全性测试序列生成算法,该算法与传统的算法相比具有较高的安全性测试效率,能确保安全性测试的完备性。此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中。
- 李弋强徐中伟喻钢谭渊
- 关键词：扩展有限状态机
