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

doi:10.3778/j.issn.1002-8331.2203-0617

摘要/Abstract

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

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

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

赵亮, 陈夏楠, 锁斌. 基于模型的复杂系统任务保证研究综述[J]. 计算机工程与应用, 2022, 58(21): 30-39.

ZHAO Liang, CHEN Xianan, SUO Bin. Review of Model Based Mission Assurance for Complex System[J]. Computer Engineering and Applications, 2022, 58(21): 30-39.

参考文献

[1] KIM F.Mission-critical and safety-critical systems handbook[M].Boston，USA：Newnes，2010：1-82.
[2] EVANS J，CORNFORD S，FEATHER M S.Model based mission assurance：NASA’s assurance future[C]//2016 Annual Reliability and Maintainability Symposium（RAMS），Tucson，2016.
[3] 刘博龙，卢欣，龙雪丹，等.NASA基于模型的任务保证研究[J].质量与可靠性，2021，216（6）：58-62.
LIU B L，LU X，LONG X D，et al.Research on NASA model based mission assurance[J].Quality and Reliability，2021，216（6）：58-62.
[4] 卿寿松，陈凤熹，李福秋，等.我国空间站安全与任务保证工作若干问题探讨[J].载人航天，2014，20（2）：159-164.
QING S S，CHEN F X，LI F Q，et al.Discussion on some issues of China’s space station safety and mission assurance[J].Manned Spaceflight，2014，20（2）：159-164.
[5] HALE B L.Mission assurance：a review of continuity of operations guidance for application to cyber incident mission impact assessment[R].Air Force Inst of Tech Wright-Patterson Afb oh School of Engineering and Management，2010.
[6] PRITCHETT M D.Cyber mission assurance：a guide to reducing the uncertainties of operating in a contested cyber environment[R].Air Force Inst of Tech Wright-Patterson Afb oh，2012.
[7] WANG L，IZYGON M，OKON S，et al.Effort to accelerate MBSE adoption and usage at JSC[C]//AIAA Space，Long Beach，2016.
[8] SCHREINER S S，EVERLINE C J，BENDIG J，et al.Mission assurance：a model-based approach[C]//2017 AIAA Space and Astronautics Forum and Exposition，Orlando，2017.
[9] CORNFORD S L，FEATHER M S.Model based mission assurance in a model based systems engineering（MBSE） framework：NASA/CR-2016-219272[R].Hampton：NASA，2016.
[10] 胡晓义，王如平，王鑫，等.基于模型的复杂系统安全性和可靠性分析技术发展综述[J].航空学报，2020，41（6）：1-12.
HU X Y，WANG R P，WANG X，et al.Recent development of safety and reliability analysis technology for model based complex system[J].Acta Aeronautica et Astronautica Sinica，2020，41（6）：1-12.
[11] 于国斌.深空探测任务协同的系统工程方法应用及趋势[J].深空探测学报，2021，8（4）：407-415.
YU G B.Application and trend of model based systems engineering methods for deep space exploration mission[J].Journal of Deep Space Exploration，2021，8（4）：407-415.
[12] EVANS J W，GROEN F，WANG L，et al.Towards a framework for reliability and safety analysis of complex space missions[J].International Journal of Human Factors Modelling and Simulation，2018，6（2/3）：203-213.
[13] DEZFULI H，EVERETT C，GROEN F.The evolution of system safety at NASA[C]//International System Safety Training Symposium，St Louis，Aug 6，2014.
[14] NASA.NASA/SP-2014-612.NASA system safety handbook volume 2：system safety concepts，guidelines，and implementation examples[S].Washington DC：Official Full-Text Publication，2014.
[15] GROENF J，EVANS J W，HALL A J.A vision for spaceflight reliability：NASA’s objectives based strategy[C]//2015 Annual Reliability and Maintainability Symposium，Palm Harbor，Jan 26-29，2015：1-6.
[16] U.K.Ministry of Defence.Defence standard 00-56：safety management requirements for defence systems[S].London，2007.
[17] MCDERMID J A.Support for safety cases and safety arguments using SAM[R].London：Reliability Engineering and System Safety，1994.
[18] WEINSTOCK C B，GOODENOUGH J B，HUDAK J J.Dependability cases[R].Maryland：Software Engineering Institute，2004.
[19] JACKSON D，THOMAS M，MILLETT L I.Software for dependable systems：sufficient evidence?[R].[S.l.]：National Academies Press，2007.
[20] NGUYEN E A，ALEX G，ELLIS A G.Experiences with assurance cases for spacecraft safing[C]//22nd International Symposium on Software Reliability Engineering（ISSRE），Hiroshima，November 29-December 2，2011.
[21] RINEHART D J，KNIGHT J C，ROWANHILL J.Current practices in constructing and evaluating assurance cases with applications to aviation[R].Washington：NASA/CR2015-218678，2015.
[22] KELLY T P.Arguing safety-a systematic approach to managing safety cases[D].Heslington：University of York，1998.
[23] GREENWELL W S，KNIGHT J C，HOLLOWAY C M，et al.A taxonomy of fallacies in system safety arguments[C]//24th International System Safety Conference，Albuquerque，2006.
[24] DUAN L，RAYADURGAM S，HEIMDAHL M，et al.Reasoning about confidence and uncertainty in assurance cases：a survey[C]//International Symposium on Foundations of Health Informatics Engineering and Systems，Washington DC，July 17-18，2014.Berlin，Heidelberg：Springer，2014：64-80.
[25] CRESSANT R，DAVID P，IDIASIAK V，et al.Increasing reliability of embedded systems in a SysML centered MBSE process：application to LEA project[C]//M-BED 2010，Dresden，2010.
[26] SCHOLZ S，THRAMBOULIDIS K.Integration of model-based engineering with system safety analysis[J].International Journal of Industrial and Systems Engineering，2003，15（2）：193-215.
[27] MHENNI F，CHOLEY J Y，NGUYEN N.SysML safety profile for mechatronics[C]//IEEE/ASME International Conference on Advanced Intelligent Mechatronics，Tokyo，2014.
[28] IZYGON M，WAGNER H，OKON S，et al.Facilitating R&M in spaceflight systems with MBSE[C]//2016 Reliability and Maintainability Symposium（RAMS），Tucson，Jan 25-28，2016：1-6.
[29] SARGUSINGH M J，OKON S，CALLAHAN M R.Cascade distillation system design for safety and mission assurance[C]//45th International Conference on Environmental Systems，Bellevue，2015.
[30] CASTET J F，BAREH M，NUNES J，et al.Fault management ontology and modeling patterns[C]//AIAA Space，Long Beach，2016.
[31] SCHREINER S S，ROZEK M L，KURUM A，et al.Towards a methodology and tooling for model-based probabilistic risk assessment PRA[C]//AIAA Space，Long Beach，2016.
[32] WIBBEN D R，FURFARO F.Model-based systems engineering approach for the development of the science processing and operations center of the NASA OSIRIS-REx asteroid sample return mission[J].Acta Astronautica，2015，115：147-159.
[33] KARBAN R，ANDOLFATO L，BRISTOW P，et al.Model based systems engineering for astronomical projects[C]//SPIE Astronomical Telescopes Instrumentation，Montréal，2014.
[34] DO Q，COOK S，LAY M.An investigation of MBSE practices across the contractual boundary[C]//CSER 2014，Redondo Beach，2014.
[35] MONTGOMERY P.‘Top-10’ MBSE tool inspections to analyze system design quality[C]//Systems Engineering Conference，Washington D C，2014.
[36] VIPAVETZ K，MURPHY D，INFELD S.Model-based systems engineering pilot program at NASA[C]//AIAA Space 2012 Conference and Exposition，Pasadena，2012.
[37] CRESSENT R，DAVID P，IDASIAK V.Dependability analysis activities merged with system engineering，a real case study feedback[C]//Advances in Safety，Reliability and Risk Management：ESREL，Bourges，2011.
[38] DAVID P，IDASIAK V，KRATZ F.Improving reliability studies with SysML[C]//Annual Reliability and Maintainability Symposium，Fort Worth，2009.
[39] HECHT M，DIMPFL E，PINCHAK J.Automated generation of failure modes and effects analysis from SysML models[C]//2014 IEEE International Symposium onSoftware Reliability Engineering Workshops（ISSREW），Italy，2014.
[40] MHENNI F，NGUYEN N，CHOLEY J Y.Automatic fault tree generation from SysML system models[C]//IEEE/ASME International Conference on Advanced Intelligent Mechatronics，Tokyo，2014.
[41] CRESSENT R，DAVID P，IDASIAK V，et al.Designing the database for a reliability aware model-based system engineering process[J].Reliability Engineering and System Safety，2013，111：171-182.
[42] PETIN J F，EVROT D，MOREL G，et al.Combining SysML and formal models for safety requirements verification[C]//22nd International Conference on Software & Systems Engineering and their Applications，Paris，2010.
[43] RICH K，BLACHARD H，MCCLOSKEY J.The use of goal structuring notation as amethod for ensuring that human factors is represented in a safety case[C]//2nd IET International Conference on System Safety，London，2007.
[44] AUSTIN R A，?MAHADEVAN N，?SIERAWSKI B D，et al.A cubesat payload radiation-reliability assurance case using goal structuring notation[C]//2017 Annual Reliability and Maintainability Symposium（RAMS），Orlando，2017.
[45] WITULSKI A，AUSTIN R，EVANS J，et al.Goal structuring notation in a radiation hardening assurance case for COTS-based spacecraft[C]//GOMAC Tech 2016 Government Microcircuits Applications & Critical Technologies Conference，Orlando，2016.
[46] AUSTIN R.A radiation-reliability assurance case using goal structuring notation for a CubeSat experiment[D].Nashville：Vanderbilt University，2016.
[47] AUSTIN R A，MAHADEVAN N，WITULSKI A F，et al.Radiation assurance of cubesat payloads using Bayesian networks and fault models[C]//2018 Annual Reliability and Maintainability Symposium（RAMS），Reno，Jan 22-25，2018：1-5.
[48] KELLY T，WEAVER R.The goal structuring notation-a safety argument notation[C]//Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases，Florence，2004.
[49] RYDER K L，ALLES R，KARSAI G，et al.Systems engineering and assurance modeling（SEAM）：a web-based solution for integrated mission assurance[J].Facta Universitatis Series Electronics and Energetics，2021，34（1）：1-20.
[50] BAYER T.Is MBSE helping? Measuring value on Europa clipper[C]//2018 IEEE Aerospace Conference，Big Sky，March 3-10，2018：1-13.
[51] JACKSON M，HENRY J.Orion GN&C model based development：experience and lessons learned[C]//AIAA Guidance，Navigation，and Control Conference，Minneapolis，2012.
[52] CICHAN T，NORRIS S D，MARSHALL P.Orion：EFT-1 flight test results and EM-1/2 status[C]//AIAA Space 2015 Conference and Exposition，Pasadena，2015.
[53] HOLLADAY J B，KNIZHNIK J，WEILAND K J，et al.MBSE infusion and modernization initiative（MIAMI）：“Hot” benefits for real NASA applications[C]//2019 IEEE Aerospace Conference，Big Sky，Mar 2-9，2019.
[54] EVANS J，KNIZHNIK J，WEILAND K，et al.Advancing model based mission assurance for complex systems[C]//Model Based System Assurance Workshop，Washington DC，2016.
[55] WALDRAM N，CORNFORD S，PIETTE M，et al.Cross lifecycle modeling in MBSE[C]//2019 IEEE Aerospace Conference，Big Sky，Mar 2-9，2019.
[56] JOHNSTON A H.The influence of VLSI technology evolution on radiation-induced latch up in space system[J].IEEE Transactions on Nuclear Science，1996，43（2）：505-521.
[57] DODD P E，MASSENGILL L W.Basic mechanisms and modeling of single-event upset in digital microelectronics[J].IEEE Transactions on Nuclear Science，2003，50（3）：583-602.
[58] NEKRASOV P V.Investigation of single event functional interrupts in microcontoller with PIC17 architecture[C]//2015 15th European Conference on Radiation and Its Effects on Components and Systems（RADECS），Moscow，Sept 14-18，2015.
[59] SCHWANK J R.Radiation effects in MOS oxides[J].IEEE Transactions on Nuclear Science，2008，55（4）：1833-1853.
[60] SINCLAIR D，DYER J.Radiation effects and COTS parts in small Sats[C]//Proceedings of the AIAA/USU Conference on Small Satellites，Toronto，2013.
[61] LABEL K A.Emerging radiation hardness assurance（RHA） issues：a NASA approach for space flight programs[J].IEEE Transactions on Nuclear Science，1998，45（6）：2727-2736.
[62] LABEL K A，GATES M.Single-event-effect mitigation from a system perspective[J].IEEE Transactions on Nuclear Science，1996，43（2）：654-660.
[63] AUSTIN R A.Modeling radiation risk assessment and mitigation for spacecraft electronics[D].Nashville：Vanderbilt University，2019.
[64] O’CONNER P D T，KLEYNER A.Practical reliability engineering[M].New York，NY，USA：Wiley，2012.
[65] LABEL K A，LADBURY R L，COHN L M，et al.Radiation test challenges for scaled commercial memories[C]//2007 9th European Conference on Radiation and Its Effects on Components and Systems，2007.
[66] AUSTIN R A，SCHRIMPF R D，WITULSKIA F，et al.Capturing and modeling radiation hardness assurance throughout the project lifecycle[C]//Microelectronics Reliability and Qualification Workshop，El Segundo，2019.
[67] WITULSKI A，SIERAWSKI B，AUSTIN R，et al.Model-based assurance for satellites with commercial parts in radiation environments[C]//32nd Annual AIAA/USU Conference on Small Satellites，Nashville，2018.
[68] WITULSKI A，KARSAI G，MAHADEVAN N，et al.Development of a flight-program-ready radiation model-based assurance platform[C]//2020 IEEE Aerospace Conference，Big Sky，2020.
[69] AUSTIN R A，MAHADEVAN N，WITULSKIA F，et al.Automatic fault tree generation from radiation-induced fault models[C]//2020 Annual Reliability and Maintainability Symposium（RAMS），Palm Springs，Jan 27-30，2020.
[70] WALDRAM N，CORNFORD S.Pathfinding model-based mission assurance：S&MA representation & interaction within MBSE[C]//2020 IEEE Aerospace Conference，Big Sky，March 7-14，2020.