典型文献
基于模型的复杂系统任务保证研究综述
文献摘要：
任务保证是国外航天领域为确保复杂系统在任务周期内的安全、可靠而提出的一种工作方式.随着基于模型的系统工程技术近年来的迅猛发展,将其与任务保证相结合而形成的基于模型的任务保证概念开始得到广泛的应用和认可.这为复杂系统在安全性、可靠性工作方法上的进一步发展提供了有利条件.介绍了基于模型的任务保证概念,并对其所涉及的安全/保证案例、基于模型的系统工程、目标结构表示等关键要素,以及其目前在复杂系统设计中的典型应用进行了阐述.对基于模型的任务保证在未来的发展方向进行了展望.为基于模型的任务保证在复杂系统中的应用提供了理论参考.
文献关键词：
基于模型的任务保证;保证案例;基于模型的系统工程;目标结构表示
中图分类号：
作者姓名：
赵亮;陈夏楠;锁斌
作者机构：
西南科技大学 信息工程学院,四川 绵阳 621010
文献出处：
引用格式：
[1]赵亮;陈夏楠;锁斌-.基于模型的复杂系统任务保证研究综述)[J].计算机工程与应用,2022(21):30-39
A类：
基于模型的系统工程技术,基于模型的任务保证,保证案例,目标结构表示
B类：
复杂系统,外航,航天领域,工作方式,始得,工作方法,有利条件,典型应用
AB值：
0.119445
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
