科研之友
微信
新浪微博
Facebook
分享链接
摘要
组件的可组合性是组件化软件开发方法中的关键核心问题，尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems, CPS)的开发过程中，如何建模、分析及验证系统中组件在时间行为上的可组合性，已成为保证系统正确性、安全性的的关键.本文首先介绍了传统组件化软件开发的基本思想，包括组件定义、组件的组合操作，以及组件可组合性的形式化定义等内容.进一步的，重点阐述在具有安全关键的信息物理系统中组件时间行为建模与分析的主要研究进展，对时间行为可组合的形式化定义进行归纳，讨论几种典型的系统组件模型，并分析了3种可以提升组件时间行为可组合性、可预测性的编程范式.最后，探讨了组件在时间行为可组合问题上存在的挑战，并对未来发展方向做出了展望.
- 单位
