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

【Abstract】 The safety critical cyber physical systems(CPS)consists of two concurrent subsystem,including cyber systems(CS)and physical systems(PS).The CS is constructed as a distributed real-time systems to meet the requirements of timelines and safety,both of which can be supported by the key property in system,i.e.,temporal predictability.However,there are no clear definition of temporal predictability in CPS.This paper summarized the state-of-art of predictability in CPS.Two key attributes to improve the system’s predictability were summarized,including timing predictability and ordering predictability.Finally,some advice to build a predictable CPS were proposed.更多还原