安全关键信息物理系统的时序可预测性

• 作者: 万波 周学海 孙贝磊 李曦 陈香兰
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 信息物理系统 时序可预测性
• 年，卷（期）: 2017,（z2）
• 所属期刊栏目: 综合、交叉与应用
• 页码范围: 490-493
• 页数: 4页
• 分类号: TP301
• 字数: 6218字
• 语种: 中文

摘要

安全关键的信息物理系统分为信息系统和被控的物理系统两个并发的子系统.其中信息系统具有分布式硬实时系统的特征,需要满足及时性和安全性要求,而时序可预测性是支持系统满足上述性质的关键.学术界对信息物理系统的时序可预测性的定义尚无统一认识.综述了信息物理系统的时序可预测性研究现状,总结提出了衡量系统可预测性的两个关键属性,包括时间可预测性和顺序可预测性.最后提出具有可预测性的信息物理系统的若干实现策略.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李曦	中国科学技术大学计算机科学学院	119	751	13.0	21.0
2	周学海	中国科学技术大学计算机科学学院	109	885	17.0	24.0
3	陈香兰	中国科学技术大学计算机科学学院	48	235	8.0	12.0
4	万波	中国科学技术大学苏州研究院	9	162	6.0	9.0
5	孙贝磊	中国科学技术大学苏州研究院	2	7	2.0	2.0