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

Review of Model Based Mission Assurance for Complex System

作　　者：赵亮[1] 陈夏楠 锁斌 ZHAO Liang;CHEN Xianan;SUO Bin(School of Information Engineering,Southwest University of Science&Technology,Mianyang,Sichuan 621010,China)

机构地区：[1]西南科技大学信息工程学院,四川绵阳621010

出　　处：《计算机工程与应用》2022年第21期30-39,共10页Computer Engineering and Applications

基　　金：国家自然科学基金(U183010080)。

摘　　要：任务保证是国外航天领域为确保复杂系统在任务周期内的安全、可靠而提出的一种工作方式。随着基于模型的系统工程技术近年来的迅猛发展,将其与任务保证相结合而形成的基于模型的任务保证概念开始得到广泛的应用和认可。这为复杂系统在安全性、可靠性工作方法上的进一步发展提供了有利条件。介绍了基于模型的任务保证概念,并对其所涉及的安全/保证案例、基于模型的系统工程、目标结构表示等关键要素,以及其目前在复杂系统设计中的典型应用进行了阐述。对基于模型的任务保证在未来的发展方向进行了展望。为基于模型的任务保证在复杂系统中的应用提供了理论参考。Mission assurance presented by foreign aerospace field is a way to ensure the complex system is safe and reliable during its task period.With the mushroom development of the model based system engineering technology in recent years,model based mission assurance which combines model-based system engineering and mission assurance is widely used and recognized.It provides favorable conditions for the further development of complex system safety and reliability methods.This paper introduces the concept of model based mission assurance.The related factors such as safety/assurance case,model based system engineering,goal structuring notation and the typical application of model based mission assurance are also discussed.Moreover,the future directions for model based mission assurance are pointed out as well.This paper can provide guidance for the application of model based mission assurance in the complex systems.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]