计算机工程与应用 ›› 2022, Vol. 58 ›› Issue (21): 30-39.DOI: 10.3778/j.issn.1002-8331.2203-0617

• 热点与综述 • 上一篇    下一篇

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

赵亮,陈夏楠,锁斌   

  1. 西南科技大学 信息工程学院,四川 绵阳 621010
  • 出版日期:2022-11-01 发布日期:2022-11-01

Review of Model Based Mission Assurance for Complex System

ZHAO Liang, CHEN Xianan, SUO Bin   

  1. School of Information Engineering, Southwest University of Science & Technology, Mianyang, Sichuan 621010, China
  • Online:2022-11-01 Published:2022-11-01

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

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

Abstract: 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.

Key words: model based mission assurance, assurance case, model based system engineering, goal structuring notation