基于模型的复杂系统任务保证研究综述

来源：计算机工程与应用杂志2022年第21期北京时间：

作者：赵亮, 陈夏楠, 锁斌

单位：西南科技大学 信息工程学院，四川 绵阳 621010

摘要：任务保证是国外航天领域为确保复杂系统在任务周期内的安全、可靠而提出的一种工作方式。随着基于模型的系统工程技术近年来的迅猛发展，将其与任务保证相结合而形成的基于模型的任务保证概念开始得到广泛的应用和认可。这为复杂系统在安全性、可靠性工作方法上的进一步发展提供了有利条件。介绍了基于模型的任务保证概念，并对其所涉及的安全/保证案例、基于模型的系统工程、目标结构表示等关键要素，以及其目前在复杂系统设计中的典型应用进行了阐述。对基于模型的任务保证在未来的发展方向进行了展望。为基于模型的任务保证在复杂系统中的应用提供了理论参考。

关键词：基于模型的任务保证,保证案例,基于模型的系统工程,目标结构表示