Research On The Application Of Harmony-SE In The Design And Analysis Of All-electric Braking System

With the increasingly mature technology background of the current multi-electric/allelectric aircraft distributed open system architecture,the electronic,control,and mechanical technical fields of civil aircraft systems have gradually penetrated and merged,and the distributed all-electric brake system for multi-electric/all-electric aircrafts It is the mainstream design trend of aircraft brake systems in the future.The design of all-electric brake systems is accompanied by complex development at multiple levels such as functions and architectures.Conventional document-based design methods cannot be adapted to the multi-field collaborative design of all-electric brake systems.In response to the above problems,this paper introduces model-based system engineering design theory and conducts research on the application of the Harmony-SE method in the design and analysis of all-electric brake systems.The main research contents are as follows:The first stage is the architecture design stage of the all-electric brake system.First,use the model as a data carrier to expand the Harmony-SE demand analysis workflow,build a system security configuration extension model for the full electric brake system demand capture process,and output the full electric brake system requirements and top-level use case model;secondly,through the system requirements At the stage of analysis,system function analysis,and system architecture design synthesis,output the top-level architecture model of the allelectric brake system from top to bottom;finally,on the basis of system expansion modeling,expand the trade-off analysis of the system architecture,and output the DIMA architecture The architecture design scheme of the all-electric brake system.The second stage is the analysis and optimization stage of the all-electric brake system architecture.According to the system architecture scheme output in the first stage,the failure behavior analysis of the all-electric brake system is carried out,the system layered model is constructed in combination with the architecture characteristics of the all-electric brake system,and Floyd is introduced to carry out the system coupling correlation analysis to construct the fault propagation structure model of the all-electric brake system.Comprehensively consider the propagation probability of the fault path and the marginal betweenness of the system,construct the fault propagation intensity model of the all-electric brake system to identify the critical path of the system fault propagation,and output the improved architecture of the allelectric brake system based on this.Finally,in the design verification phase of the all-electric brake system,two methods are introduced to verify the above-mentioned improved architecture,mainly around the top-level requirements of the system.First,based on the theory of model checking,the formal verification of the requirements of the all-electric brake system under the DIMA framework is carried out,and the formal model of the all-electric brake system and the formal specification of the system requirements are used as input to verify whether the system requirements are met;the second is to consider All-electric brake systems have high safety requirements,and a safety analysis method oriented to the Sys ML structural model of all-electric brake systems is proposed to verify the system safety requirements and compare with the results of formal verification.The overall verification results show that the improved architecture scheme of the all-electric brake system meets the system’s top-level demand set,which verifies the correctness of the architecture design scheme.