基于动作序列的行为需求模式验证的研究

• 作者: 徐中伟 杜军威 江峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 安全关键系统 动作序列 行为需求模式 标签变迁系统 模式验证
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 学术论文
• 页码范围: 94-105
• 分类号: TP309
• 字数: 14413字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2011.01.013

摘要

提出了基于动作序列刻画安全关键系统的功能行为需求和安全性行为需求,较传统的类逻辑规范和类图式规范更准确表达交互行为间的时序关系.基于动作序列构造功能需求和安全需求两类行为模式,并给出每个模式的操作语义.为实现基于行为模式的需求验证,重新定义 LTS 安全性和活性的属性表达、组合操作,给出并证明功能需求模式和安全性需求模式满足的充要条件.该框架在高速铁路 CTCS2/3 的形式验证与确认得到了广泛应用,对指导构件化安全关键系统的组合形式验证具有较高的理论与实践价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	杜军威	青岛科技大学信息科学技术学院	50	341	9.0	17.0
6	江峰	青岛科技大学信息科学技术学院	31	263	8.0	15.0