Automating Verification and Validation Processes Through Model Based Systems Engineering

通过基于模型的系统工程自动化验证和确认过程

• 批准号: 2519217
• 金额: --
• 依托单位: University of Bath
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2020
• 资助国家: 英国
• 起止时间: 2020 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2519217
• 关键词: Automating; Verification; Validation; Processes; Through

This research aims to develop a systematic methodology for Model-Based Systems Engineering (MBSE) driven qualitative and quantitative system verification. MBSE refers to formalised methodology for supporting requirement engineering, system design, analysis and verification and validation through leveraging system models described in languages such as the OMG SysML. SysML is one of system modelling languages that can be used to develop a system architecture making majority of parametric and behavioural specifications of a System Architecture Model (SAM) simulatable and executable. This allows for carrying out trade studies, model-based testing and model checking, automated generation of system interfaces, test cases and other artifacts important for the system verification and validation. Madni and Sievers, 2018 highlight the role of MBSE in reducing the development time and error rates through eliminating design flaws and evaluating design and implementation suitability at early development stages and whether the system can meet stakeholder needs and requirements as discussed by Bachelor et al 2020. Model-based Verification and Validation (V&V) can therefore mitigate several shortcomings of a more traditional document-based systems engineering process. The objectives to deliver this research project are: 1. To review current state-of-the-art MBSE and V&V practices used across different industries as well as at AVL to understand both industry (automotive) wide and AVL's specific requirements2. To develop a systematic approach for a product-description driven system model quality assessment to understand the model's maturity, completeness, and correctness and to identify available artefacts for verification and validation activities 3. To develop a systematic approach for model-based testing including test case generation, export and execution based on the model description and quality gateways 4. To assess the role of a human in the developed automated V&V process to abstract complexity and increase workflow efficiency for end users 5. To identify system and process boundaries of the new methodology developed in obj. 2 - obj. 4 to propose deployment strategy in the organisation for integration of the new methodology within existing toolchain infrastructure The increased adoption of digital-modelling environments has resulted in the increase of adoption of MBSE as means of managing the system complexity of cyber-physical systems. Its promised benefits have however been predominantly explored in academic and research environments and its real-world application is still behind due to its rigorous and labour-intensive nature. The project's potential impacts and applications are therefore identified as follows: Exploit the benefits of an MBSE approach within the constraints of an industrial, real-world environment Provide systematic model assessment approach with respect to completeness, correctness and maturityFrontload V&V activities through MBSE to eliminate issues in early stages of development Provide guideline on managing the complexity and traceability of the development and verification of cyber-physical systems thus improving time to marketThis research is relevant to the UKRI EPSRC's Manufacturing the Future and Engineering Themes as it focuses on applying MBSE to enhance V&V activities potentially resulting in increased product quality, reduced development costs and enhanced traceability for product lifecycle assessment.

本研究的目的是发展一个系统的方法，基于模型的系统工程（MBSE）驱动的定性和定量的系统验证。MBSE是指通过利用OMG SysML等语言描述的系统模型来支持需求工程、系统设计、分析和验证的形式化方法。SysML是一种系统建模语言，可用于开发系统架构，使系统架构模型（SAM）的大部分参数和行为规范可模拟和可执行。这使得可以进行贸易研究，基于模型的测试和模型检查，自动生成系统接口，测试案例和其他对系统验证和确认重要的工件。Madni和Sievers，2018年强调了MBSE在减少开发时间和错误率方面的作用，通过消除设计缺陷，在早期开发阶段评估设计和实施的适用性，以及系统是否可以满足利益相关者的需求和要求，如Bachelor等人2020年所讨论的那样。因此，基于模型的验证和确认（V&V）可以减轻传统的基于文档的系统工程过程的几个缺点。本研究的目的是：1。审查当前最先进的MBSE和V&V实践，用于不同行业以及AVL，以了解行业（汽车）范围和AVL的具体要求2。为产品描述驱动的系统模型质量评估开发一种系统方法，以了解模型的成熟度，完整性和正确性，并识别验证和确认活动的可用工件3。为基于模型的测试开发一个系统化的方法，包括基于模型描述和质量网关的测试用例生成，导出和执行。评估人类在开发的自动化V&V过程中的作用，以抽象复杂性并提高最终用户的工作流程效率5。确定目标2 -目标4中开发的新方法的系统和过程边界，提出组织中的部署策略，以便将新方法集成到现有工具链基础设施中。数字建模环境的采用增加，导致MBSE作为管理网络物理系统的系统复杂性的手段的采用增加。然而，其承诺的好处主要是在学术和研究环境中探索的，由于其严格和劳动密集型的性质，其实际应用仍然落后。因此，该项目的潜在影响和应用确定如下：在工业、现实环境的约束条件下利用MBSE方法的优势提供完整性方面的系统模型评估方法，正确性和成熟度Frontload V&通过MBSE开展V活动，以消除开发早期阶段的问题。提供有关管理开发和验证的复杂性和可追溯性的指南网络物理系统的研究，从而缩短上市时间这项研究与UKRI EPSRC的制造未来和工程主题相关，因为它重点关注应用MBSE来增强V&V活动，从而可能提高产品质量、降低开发成本并增强产品生命周期评估的可追溯性。