SvsML-based Researches On Systems Architecture Modeling And Verification Of Multi-domain Mechatronic Products

With the increases of product complexity,systems design is becoming more and more important.The traditional File-based Systems Engineering cannot satisfy the requirements in complex product design,therefore,Model-based Systems Engineering(MBSE)is becoming the mainstream design method.As the core of systems design,systems architecture is the intermediary between systems requirement and detailed design.In addition,systems architecture supports the systems simulation and analysis.Therefore,the accurate and clear description of systems architecture is extremely important for effective communication between different designers.With the development of personalized customization,how to facilitate designers in designing the most suitable logical architecture according to specific systems requirement is still an open problem.Moreover,in order to avoid expensive rework,ensuring that the systems requirement has been accomplished completely and correctly before detailed design is essential.Currently,research on systems architecture modeling and design verification is still imperfect.Therefore,in this study,we focused on solving the above problems to facilitate the communication between designers,to assist the decisionmaking in early design and to improve design efficiency.The main researches in this study include:(1)Researches on the modeling of systems architecture based on Systems Modeling Language(SysML).The accurate and consistent representation of knowledge in different design stages and different domains is the base of automated design.In this study,the essential elements of systems architecture are analysed to ensure that all kinds of knowledge in systems design are contained.The Systems Modeling Language is extended and the Architecture Modeling Extension(ArchME)is proposed in order to realize the efficient,clear and complete modeling of systems architecture,and to support systems simulation and the following detailed design.(2)The integrated method for logical architecture generation andmulti-criteria evaluation.Under specific requirements,how to find a most suitable logical architecture efficiently is still an open problem.In this study,the case-based,flow-based and functional basis-based function-component mapping methods are proposed to ensure all feasible components are obtained.The dynamic programming-based component combination method is studied to exclude the infeasible component combinations and lessen the combination explosion problem.The classical multi-criteria evaluation method "TOPSIS" is extended to assist designers to make decisions in early design stages.(3)The static structure verification method based on ontology reasoning.The lack of components and the inconsistency of parameters may result in the abnormality of systems behavior and finally result in the violation of requirements.Therefore.the rewriting of static structure requirement isresearched;and the rule templates are proposed to avoid the ambiguity of natural language.The automated parsing method is studied,and the automated transformation method from static structure models contained in SysML to ontology models is proposed.Finallyr,the verification method of static structure requirement based on ontology reasoning is proposed to locate the design problems efficiently and to avoid the long-term high-cost rework.(4)The dynamic behavior verification method based on ontology reasoning.Most researches on early design verification are focused on structure,the studies on dynamic behavior verification in early design stage are not sufficient.In this study,the abnormal behavior of product is analyzed,and the abnormal behavior rewriting method is proposed to support the efficient location of design problem.The automated parsing method is studied and the automated transformation method from dynamic behavior models contained in SysML to rules is proposed.Finally,with the support of structure ontology models and rules,the behavior verification method is proposed.The dynamic behavior is simulated based on ontology reasoning to support the rapid location of design problems,and further to avoid the high-cost rework.Finally,a prototype system based on Cameo Systems Modeler is developed to implement the above-mentioned efforts.An airport coffee machine is taken as an example to verify the effectiveness of the proposed methods.