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.