Optimising Engineering Design, Development and Verification Processes of Spacecraft Functional Avionics with MBSE Techniques

传统上，航天器工程、设计、研制和验证涉及多个领域，包括许多具体的方法和工具以及大量的文件。基于模型的系统工程(MBSE)包括创建跟踪需求的系统模型，并集成其他学科特定的工程模型和模拟。MBSE允许并发建模，实时更新、运行多个测试用例、自动权衡研究和优化关键设计参数。MBSE的应用将研究几种正式描述或指定系统或子系统的方法，并使用适当的工具。关于将MBSE用于航天器的各个方面，已经进行了几项研究。这位博士生将对最先进的技术进行综合，以论证它们对本研究选择的案例的潜在适用性。本研究的目标将是开发新的MBSE方法，以改进空中客车防务和空间业务线空间系统内的功能航空电子工程、设计和验证实践。案例研究将从功能航空电子领域挑选，将包括功能航空电子学科的工程、设计、开发和核查过程的各个方面。最后，研究人员将尝试定量评估这一方法的潜在好处。

Traditionally spacecraft engineering, design, development and verification involves multipledomain specific methods and tools and a large amount of documentation. Model-BasedSystems Engineering (MBSE) consists of creating a system model which tracksrequirements and integrates other discipline-specific engineering models and simulations.MBSE allows concurrent modelling with real-time updates, running of multiple test cases,automated trade off studies and optimisation of key design parameters.This application of MBSE will investigate several methodologies to formally describe orspecify systems or subsystems and use the appropriate tools. Several studies on usingMBSE for aspects of spacecraft have already been performed. The PhD student will performa synthesis of the state-of the art techniques to argue their potential applicability to the casestudies selected for this study.The goal of this research will be to develop new MBSE methodologies to improve thefunctional avionics engineering, design and verification practices within the Space SystemsBusiness Line of Airbus Defence and Space, Stevenage. Case studies will be selected fromthe functional avionics area and will include aspects of the engineering, design,development and verification process of the functional avionics disciplines. Finally, theresearch will attempt to quantitatively assess the potential benefits of this approach.