信息物理系统中组件的时间行为可组合研究综述  

Survey on Timing Behavior Composability for Component in Cyber Physical Systems

作　　者：陈博[1] 刘翀 陈辉 陈香兰 李曦[1,3] CHEN Bo;LIU Chong;CHEN Hui;CHEN Xiang-lan;LI Xi(School of Software Engineering,University of Science and Technology of China,Suzhou 215123,China;Huawei Information Technology Co.,Ltd,Shenzhen 518000,China;School of Computer Science and Technology,University of Science and Technology of China,Hefei 230027,China)

机构地区：[1]中国科学技术大学软件学院,江苏苏州215123 [2]华为信息技术有限公司,深圳518000 [3]中国科学技术大学计算机科学与技术学院,合肥230027

出　　处：《小型微型计算机系统》2022年第12期2657-2666,共10页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(61772482)资助;苏州市科技计划项目(SYG201731)资助。

摘　　要：组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的的关键.本文首先介绍了传统组件化软件开发的基本思想,包括组件定义、组件的组合操作,以及组件可组合性的形式化定义等内容.进一步的,重点阐述在具有安全关键的信息物理系统中组件时间行为建模与分析的主要研究进展,对时间行为可组合的形式化定义进行归纳,讨论几种典型的系统组件模型,并分析了3种可以提升组件时间行为可组合性、可预测性的编程范式.最后,探讨了组件在时间行为可组合问题上存在的挑战,并对未来发展方向做出了展望.The composability of components is the critical problems in the component-based software development(CBD)method.How to model,analyze and verify the composability of components of timing behavior in the development process of safety critical cyber physical systems(CPS)has become the key to guarantee the correctness and security of the system.Firstly,we introduce the basic ideas of traditional component-based software development,including the definition of component,composition of components,and formal definition of composability of component behavior.In addition,we focus on the main research progress of timing behavior modeling and analysis of components in safety critical CPS.We summarise the formal definition of composability of timing behavior,discusses several typical component models,and analyzes three real-time programming models which can improve the composability and predictability of timing behavior.Finally,challenges of composability of timing behavior are discussed,and the future research direction is prospected.

关 键 词：安全攸关系统 信息物理系统 组件化开发方法(CBD) 时间行为 时间可组合 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]