杨晋辉
- 作品数：5 被引量：13H指数：3
- 供职机构：同济大学更多>>
- 发文基金：国家教育部博士点基金上海市科委科技攻关项目更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 基于UML和Petri网的铁路联锁软件建模被引量：6
- 2006年
- 在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性,采用了Petri网作为补充,对复杂的动态行为和约束规则,在模型中加入了精确和严格的形式化描述。
- 杨晋辉郦萌
- 关键词：UMLPETRI网
- 使用基于脚本的故障注入测试安全苛求软件被引量：1
- 2005年
- 由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。
- 杨晋辉毛翼飞
- 关键词：安全苛求软件脚本语言
- 嵌入式系统中的安全苛求软件的安全性的测试与评估
- 安全苛求软件事关生命财产，不可轻慢待之。随着嵌入式系统大行其道，嵌入其中的软件，尤其是负责生命攸关功能的安全苛求软件，带来了许多新的安全性问题，于是对其安全性的测试和评估的研究就十分重要、迫切。软件规范错误是引起软件安全...
- 杨晋辉
- 联锁软件的统一建模语言和Petri网建模被引量：3
- 2005年
- 使用统一建模语言(unifiedmodelinglanguage,UML)为联锁软件建立平台无关的模型(platformindependentmodel,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。
- 杨晋辉郦萌
- 关键词：联锁软件统一建模语言PETRI网
- 安全苛求软件的安全性混沌分析被引量：3
- 2005年
- 对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采用嵌入空间的技术可从时间序列中重构出具有系统特征的相平面和吸引子,由此可以预测危险。铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。
- 杨晋辉郦萌
- 关键词：安全苛求软件混沌计算机联锁
