Building Mathematical Models for Multicriteria and Multiobjective Applications 2020
View this Special IssueResearch Article  Open Access
Xiaofei Wang, Wenhe Liao, Yu Guo, Daoyuan Liu, Weiwei Qian, "A DesignTaskOriented Model Assignment Method in ModelBased System Engineering", Mathematical Problems in Engineering, vol. 2020, Article ID 8595790, 15 pages, 2020. https://doi.org/10.1155/2020/8595790
A DesignTaskOriented Model Assignment Method in ModelBased System Engineering
Abstract
In modelbased system engineering (MBSE), reuse of existing models in the development of a new system can be advantageous. Automatic assignment of existing models to each design task within a design task set has been proven to be feasible. However, while several studies have discussed the significance of models in MBSE and methodologies for models reuse, solving the model reusability problem through a model assignment method has not been discussed. Additionally, a significant challenge in model assignment is to address the conflict between the maximization of the model value summations, which are yielded by assigning the models to a design task set, and the minimization of the execution cycle of the task set. This study (a) proposes a designtaskoriented model assignment method that establishes a multiobjective model, based on a model assignment integration framework, and (b) designs a differentialevolutioncombined adaptive nondominated sorting genetic algorithmII to provide an optimal tradeoff between maximizing the total model values and minimizing the execution cycle of the task set. By comparing the performance of the algorithm in resolving the assignment of models to a design task set with those of two conventional algorithms in a phasedarray radar development project, the algorithm’s performance and promotion of system development are verified to be superior. The new method can be applied for developing model scheduling software for MBSEcompliant product development projects to improve using effects of the models and development cycle.
1. Introduction
Considering the increasingly sophisticated customer demands and the growing requirements for increased product development capabilities—given that products are more integrated and intelligent in various industries, including aviation and space—the traditional product development mode is no longer satisfactory [1]. Modelbased system engineering (MBSE) accomplishes the development of complex products with a new mode and is capable of forecasting product behaviors, thereby improving the productivity of the product development process. Arguably, the developments of aviation and space systems, which are regarded as the most complex cyberphysical systems (CPSs) in the industry [2], have adopted the MBSE approach to facilitate the implementation of all the phases of the product lifecycle [3–8]. The widespread use of MBSE has tended to shift emphasis from data management to model management throughout the entire product’s lifecycle [9].
MBSE is the formalized application of modeling used to support system requirements, design, analysis, and verification and validation activities, beginning with the conceptual design phase and continuing throughout the development and later lifecycle phases [10]. The output of the MBSE activities is a coherent model of the system (i.e., system model), whereby the emphasis is placed on the evolution and the refinement of the model using modelbased methods and tools [11]. Therefore, the model plays the most important role in each stage of the product’s lifecycle.
In the concept and design phases, a shared system model is needed to support the exchange of information across various aspects. Accordingly, this system model serves as the core model of the system to provide information and maintain consistency with domainspecific models. For example, the Space Systems Working Group of International Council on Systems Engineering developed the CubeSat reference model for missionspecific CubeSat teams [6]. The German Aerospace Center presented the conceptual data model as an abstraction of domainspecific models [5]. In the development of mechatronic systems, Barbieri et al. used the conceptual model as the information source for domainspecific models of every functional module [12]. Researchers from nine leading Chinese academic and industrial institutions have gathered to discuss the definition and application of MBSEcompliant product metamodels [9].
MBSE has also found application in the early tender phases of complex CPS development, wherein the complex CPS customer can use the MBSE approach to generate a modelbased request for tenders and pass it on to the supplier who can use the model to perform system development. Australia’s Defense Science and Technology Organization pioneered the adoption of a wholeofsystem analytical framework for information transfer across the contractual interface [8]. The integrated design methodology proposed in [12] also demonstrated that the MBSE approach can be used to fulfill stakeholder requirements by adopting them in the system requirements. In addition to the above stages, MBSE can also be used as an effective method for product manufacturing system planning in the manufacturing phase [13, 14].
At a higher level, a modelbased system analysis framework is needed to provide the capability to access, integrate, and transform disparate data into actionable information for the design and analysis of complex systems. The United States (U.S.) Air Force (AF) established the digital thread initiative [3, 15] that generates an engineering analytical framework based on an authoritative digital surrogate representation throughout the entire product’s lifecycle.
The most commonly used modeling language in MBSE is the system modeling language (SysML), a generalpurpose graphical modeling language that supports analysis, specification, design, verification, and validation of complex systems [11, 16], and has been adopted by many MBSE projects [1, 9, 12, 13, 17]. Despite the fact that it is accepted by the Object Management Organization as a standard modeling language, SysML is not easy to adapt for system engineers who have not been exposed to objectoriented concepts because, like the unified modeling language (UML), it emphasizes familiarity with these concepts. For ease of use, organizations have developed some modeling languages, including the modeling and analysis of realtime embedded (MARTE) systems [18], architecture analysis and design language (AADL) [2], domainspecific modeling language (DSML) [19], and others. Based on these languages, some powerful MBSE platforms and tools have been developed. For example, Thales’ ARCADIA™ and Capella™ workbench [20, 21] support requirement analyses and system design in the areas of transportation, aviation, space, and radars, while Tucson Embedded Systems’ AWESUM™ tool suite supports the U.S. Army’s joint common architecture project [2]. In addition, the U.S. Department of Defense’s highperformance computing modernization program has developed a computational research engineering acquisition tools environment for air vehicles [3] and realized the digital thread of the U.S. AF.
With the increasing application of the MBSE approach in the industry, numerous models built using various modeling languages have been stored by various organizations adopting MBSE. However, the models are often not reused effectively. When faced with a new development project, the development teams often create new models, rather than reusing the existing models available within each discipline. This repetition of work amounts to an unnecessary expenditure of cost and time for the project. To reuse existing models, appropriate models should be identified and assigned to each of the design tasks in the development project. While literature on model reuse has described approaches for applying development environments [22], ontologies [23], and model repositories [24, 25], no previous studies have discussed model assignments. Therefore, this study focuses on the establishment of a designtaskoriented model assignment method to support model reuse in MBSE. The study includes the following main components.(i)An integration framework capable of assigning the models in the repository to the design task set is established. In existing MBSE approaches, simply integrating the tools into the product lifecycle development environment [2, 3] does not enable model reuse because it does not consider how the stored models are assigned to the design tasks of the project. The framework proposes an optimization scheme for matching the models and the design tasks to support the needs of the MBSE platform and tools for models reuse.(ii)The value of each model for a design task is quantified. This captures the suitability of the model for the task. The literature regarding model management in MBSE and software engineering has focused on model management platform [26], model repository building methods [27], and so on, but has not provided a method for the evaluation of model value for the task. This study applies an advantagenumberbased analytical technique to evaluate the models to be assigned from the perspective of value and, accordingly, preferentially filters the models to establish a designtaskoriented preferred model set.(iii)A mathematics model for designtaskoriented model assignment and an optimization algorithm are proposed. This study suggests a multiobjective model of designtaskoriented model assignments to minimize the task set execution cycle and maximize the actual value summation of the models. Additionally, to solve the proposed multiobjective model, the study has designed a differentialevolutioncombined adaptive nondominated sorting genetic algorithmII (DANSGAII). Finally, based on a case study, the new algorithm is proven to have better performance and promotion of system development than the traditional nondominated sorting genetic algorithmII (NSGAII) and particle swarm optimization (PSO).
The rest of this paper is organized as follows. The second section describes a designtaskoriented model assignment integration framework. In the third section, a multiobjective model of model assignment is established according to the quantification of model value. The fourth section proposes an improved NSGAII to solve the multiobjective model. A case study based on a phasedarray radar development project is discussed in the fifth section. Finally, the sixth section focuses on the study’s conclusion and the potential avenues for future work.
2. DesignTaskOriented Model Assignment Integration Framework
In the field of MBSE, model reuse is able to improve the efficiency and reduce the cost of system development. It is a feasible method to assign the existing models to the tasks within a design task set under the condition of discipline matching between the models and the tasks. Using the method, a suitable model is selected for each task according to the model value for a design task and the execution cycle of the task set following the assignment of the models to the task.
Owing to the different properties of the model for different tasks, such as integrality and reliability, the same model would yield different values when applied to various tasks. A model is considered to yield a high value if it can improve the execution effect of a task that it is assigned to. By contrast, the same model is considered to yield low value if it would worsen the execution effect of another task that it is assigned to. In general, model assignment attempts to achieve the highest possible summation of the models’ actual values once the models are assigned to the tasks.
In addition, the execution cycle of a single task is different when different models are applied. For a given task set restricted by the temporal relation of the tasks, the applied model assignment strategy determines the execution cycle of the task set. Thus, to complete the task set as soon as possible, another objective of the model assignment is the minimization of the task set execution cycle.
For a simple system, the existing models can be manually assigned to each task in the design task set with ease. However, when the developed system is relatively complex, the model values for a task cannot be directly measured due to the complex model properties and wide task ranges. Thus, it is difficult to directly compare the values of a set of models for a particular task. Moreover, in the development of a complex system, a single model assignment scheme cannot simultaneously satisfy the requirements of maximizing the total model value and minimizing the task set execution cycle. The model assignment solutions must be optimized to determine the optimum scheme. However, the optimization cannot be performed by a human due to the large number of models and tasks in a complex system.
Consequently, a framework for model assignment integration must be established in the field of MBSE in order to quantitatively evaluate the model values and perform an optimal tradeoff between the maximization of the total model values and the minimization of the execution cycle. By doing so, an optimum solution is obtained allowing the assignment of models to the design task set. The current study establishes a designtaskoriented model assignment integration framework, as presented in Figure 1. The key features of the framework are as follows.(i)A model repository needs to be defined, and the existing models of previous projects should be saved in the repository.(ii)The design task set is derived from task planning.(iii)The values of the models from the model repository, with respect to the design tasks, are evaluated quantitatively. Next, a preferred model set is generated after an optimal selection of models based on the quantitative values of the models.(iv)According to the preferred model set value and cycle matrices concerning the design task set, a multiobjective model that relates the maximization of the models’ actual value summation and the minimization of the task set execution cycle is established.(v)The model assignment scheme is obtained by a multiobjective optimization algorithm.
3. Modeling of DesignTaskOriented Multiobjective Model Assignment
3.1. Calculation of Model’s Actual Value for Task
Based on the model assignment integration framework, models are selected from the model repository. This process involves the calculation of the actual values of different models for each of the specified tasks.
The given development project applies the mode of MBSE assuming that the task set has n models. Additionally, the model repository related to the task set has l models, with as the model set and as set of the models’ attributes.
Definition 1. The value of the model Mi for task Tj is .where , , , is the weight of the model’s attribute, and , which is expressed by the fivedemarcation method as , is the value of the attribute of model Mi after it is assigned to task Tj.
Here, the model’s attribute weight is determined using a method based on the significance of the Pawlak attribute in the decision table according to rough set theory [28]. To list the model values of the decision table, select the original assessment data of l′ models from the model repository as the universe of discourse U, condition attribute set S as the set of model attributes , formulate the decision attribute set D as the set of model values , and assign the field value according to {high, middle, low}. The decision table is thus obtained.
The significance of model attribute in Table 1 varies with decision attribute . In order to determine the significance, we investigate how the decision table classification varies with the removal of the model attribute from the decision table. Generally, if model attribute is deleted from condition attribute set S, then the impact of deleting on the classification ability of S relative to decision attribute increases with the value of , namely, becomes more significant for S relative to decision attribute .

Definition 2. The significance of the model attribute for the condition attribute set S relative to the decision attribute is formulated aswhere is the approximation quality of by S, is the approximation quality of by S − s_{g}, is the S positive region of , and is the (S − s_{g}) positive region of .
Therefore, the weight of the model attribute is obtained as follows:
3.2. Model Selection Based on Advantage Number Analysis
To improve the development efficiency, an optimal selection must be conducted before the model assignment to filter out parts of the preferred models for specific tasks, given that not all the models would be applied in all the tasks. In this case, the model selection uses an approach based on advantage number analysis.
According to Definition 1, the values of the l models M_{1}, M_{2}, ⋯, M_{l}, for task Tj provide the value vector . Set the highest value component of V_{j} as the ordinal number one, the secondhighest value component as the ordinal number two, and so on. Further, V_{j} can be converted in the ordinal number vector of the values of l models for task Tj, whereby r_{ij} (i = 1, 2, ⋯, l) denotes the order of model Mi in the model value list for task Tj.
Correspondingly, in the task set, n tasks produce n ordinal number vectors, and all the ordinal number vectors would constitute a model value ordinal number matrix with l × n dimensions.
Based on the advantage number analysis method, the respective advantage number of each element in matrix R would be
The ordinal number r_{ij} can be converted to an advantage number a_{ij}. Apparently, a lower ordinal number generates a higher model value on the specific task and a bigger advantage number. Therefore, the model value ordinal number matrix can be converted to a model value advantage number matrix.
By summing up all the advantage numbers on each line in A, the advantage number summation of the specific model corresponding to the line is obtained.
Upon selection of a proper threshold λ, all the A_{i} ≥ λ models are the assignable models selected from the model repository. Assuming that the number of the selected models is m, the value matrix of m selected models for n tasks of the task set can form an m × n dimensional matrix.
3.3. Establishment of a Multiobjective Model of Model Assignment
Without considering possible constraints on resources, the problem associated with the designtaskoriented model assignment in MBSE involves n tasks within a development project that applies an MBSE mode. Precedence relations exist between some of the tasks that prohibit the onset of the task Tj (j = 2, 3, ⋯, n) before all of its precedence tasks T_{h} (h ∈ P_{j}) are completed. Secondly, the model repository involves m selected models for all the specified tasks. Task Tj (j = 1, 2, ⋯, n) has to choose one of the selected models to be performed, and the model cannot be ceased or changed to another model form during the task once the model is assigned selectively. The actual value of model Mi is different after it has been assigned to different tasks. Meanwhile, for task Tj, the cycle varies depending on the application of different models. Thus, the cycle matrix of m selected models for n tasks in the task set can be expressed as
The model assignment must meet the two objectives, namely, the minimization of the task set execution cycle and the maximization of the models’ actual value summation.
A decision variable can be introduced as
Thus, the designtaskoriented model assignment in MBSE is presented as a multiobjective model according tosuch that
Equations (11) and (12) are objective functions that, respectively, denote the minimization of the task set execution cycle and the maximization of the models’ actual value summation (after the models are assigned to the tasks). Equation (13) indicates that each task requires only a single model and can be executed only once. Equation (14) indicates that task Tj can only be started if all the precedence tasks T_{h} are accomplished. Equation (15) defines the range of values of the variable. Correspondingly, a solution of the multiobjective model is achieved after the determination of each model’s assignment manner and each task’s completion time Fj.
4. Algorithm for the Solution of the Multiobjective Model Assignment
The designtaskoriented model assignment problem is a multiobjective optimization problem. Many optimization algorithms have been developed to solve the optimization problem [29, 30], such as NSGAII presented by Deb et al. [31, 32] and PSO developed by Kennedy and Eberhart [33]. The algorithm was proved to be superior to other evolutionary algorithms regarding the overall fitness [34]. In MBSE projects, the algorithm was applied to aviation [15], space [7, 35], software [36], and manufacturing [37]. In these applications, the researchers of NSGAII achieved improvements.
This study introduces the DANSGAII algorithm to solve the proposed designtaskoriented model assignment. The algorithm framework is shown in Figure 2 and the operating procedures are described below: Procedure 1: establishment of the initial population. The codes of the chromosomes are generated based on the different task assignment manners of each selected model. The code length equals the task quantity n, and the code bits denote the corresponding tasks. The value range of each code bit ranges from 1 to m, while the actual value is decided by the model code that is being assigned to the specific task represented by code bits. According to the coding rule, the initial population is obtained to utilize the individuals that are randomly generated according to the population size to meet the constraints. Procedure 2: the first fast nondominated sorting. Upon the calculation of each individual’s execution cycle of the task set and the actual value summation of the models, the fitness values of the individuals are obtained. Each individual’s ordinal number and crowding distance are then obtained by fast sorting the individuals in a nondomination manner based on the fitness value. Procedure 3: crossover and mutation. Consider some of the individuals selected via tournament selection as parents. First, the children with an equal number of the parents are achieved with precedence operation crossover (POX) and neighborhood mutation. To increase the diversity of the children, a differential evolution (DE) algorithm is used on the parents to generate the second batch of children with an equal number of the parents. Procedure 4: the second fast nondominated sorting. The two batches of children obtained based on crossover, mutation, and DE are introduced in the population, and each individual’s ordinal number and crowding distance can then be obtained by executing the second fast nondominated sorting on the new population. Procedure 5: we introduce an adaptive algorithm in the elitereserve solution and reserve the elitist individuals from the lowest ordinal number to the highest one as the next generation until the number of individuals reaches the defined population size. In the cases of individuals with the same ordinal numbers, those with larger crowding distances are preferred to be reserved. The reservation rate is where t indicates the number of iterations. Procedure 6: we output the results once the stop criterion is satisfied, which, in our case, is the maximum number of generations. Alternatively, the execution jumps to Procedure 3.
5. Case Study
5.1. Assignment Solution of Models to the Design Task Set in a PhasedArray Radar Development Project
The MBSE method was applied in a phasedarray radar development project. The project’s task set involved 14 tasks: T_{1} for logical architecture decomposition, T_{2} for the simulations of the main lobe and the sidelobe characteristics of the radar antenna, T_{3} for interference suppression simulations, T_{4} for clutter suppression simulations, T_{5} for the assignment of component functions, T_{6} for component interface definitions, T_{7} for amplitude–phase consistency design, T_{8} for radio frequency (RF) modeling, T_{9} for RF simulations, T_{10} for scan matching simulations, T_{11} for smallscale modeling, T_{12} for smallscale simulations, T_{13} for radar cross section simulations, and T_{14} for virtual system integration analysis. The temporal relations among tasks are precedence restrictions (i.e., start–end relations) (see Figure 3 for the temporal relations).
There are 15 models whose disciplines match the task set. Each model involves five attributes, that is, model integrity (s_{1}), simulation operating efficiency (s_{2}), simulation confidence (s_{3}), model compatibility (s_{4}), and model interoperability (s_{5}). See Table 2 for the execution cycles of each task when separate models are applied.

The objective of the case is to find the optimal solution that assigns the models to the design tasks in the task set based on the proposed method. We first perform an optimal selection of the models. To calculate the model values, the weights of the model attributes have to be determined as a prerequisite. Selecting 12 original data of model value assessment as the universe of discourse U, the conditional attribute set indicates the model attributes , and the decision attribute set indicates the model value , thus establishing the decision table with the model values, as shown in Table 3.

According to (2) and (3), the weights of the model attributes s_{1}, s_{2}, s_{3}, s_{4}, and s_{5} would be
According to Definition 1, model values can be obtained for various tasks. For instance, the 15 model values for task T_{1} are listed in Table 4.

Therefore, the value vector of the 15 models for task T_{1} is , and it would be transformed to the ordinal number vector . According to (4), the ordinal number matrix R composed of the ordinal number vectors of all the tasks from the task set can be formulated. According to (5), the advantage number matrix A can be realized based on the conversion from the ordinal number matrix. Finally, based on (7), the advantage number summations of each model can be achieved, as listed in Table 5.

According to the experience, choosing the threshold λ = 106, the assignable selected model set in the model repository shall be . The value matrix of the 10 models in the selected model set for the 14 tasks in the task set can be expressed as Table 6.

We attempted to solve the assignment of each selected model to the task set by utilizing DANSGAII according to the objective functions of (11) and (12), based on the assumption of the following parameters: 200 for the initial population size, 200 for maximum generations, probability of crossover Pc = 0.9, probability of mutation Pm = 0.1, differential zoom factor F = 0.5, and probability of DE crossover CR = 0.7. A set of Pareto optimal solutions were obtained, and the objective values are presented in Table 7.

In the phasedarray radar development project, we can select one of the solutions from the Pareto optimal solution set by considering the practical constraint of the execution cycle and the expectation of the of the model value summation to determine the eventual model assignment scheme. For example, the assignment scheme demonstrated by solution 10 is listed in Table 8.

5.2. Algorithms Comparison
5.2.1. Performances Comparison
The traditional NSGAII and PSO have also been used to solve the model assignment model to verify the performance of the proposed algorithm. The same parameters are preset in both NSGAII and DANSGAII. The initial population size and maximum generations of PSO are equal to those of DANSGAII, with the remaining PSO parameters set as follows: acceleration constants c_{1} = 0.8 and c_{2} = 0.8; inertia weight ω_{max} = 1.2 and ω_{min} = 0.1. The comparison diagram of the Pareto fronts generated by the three algorithms is shown in Figure 4.
From Figure 4, we can always find superior solutions in the Pareto front of DANSGAII by comparing to the Pareto front of the traditional NSGAII and PSO. This proves that the convergence of DANSGAII is superior to that of NSGAII and PSO.
To conduct a quantitative evaluation on the performance of DANSGAII, the study applied the S and Mmeasures as the evaluating indicators. Based on the solutions of the model assignment with DANSGAII, NSGAII, and PSO, Table 9 presents a comparison of S and Mmeasures of the three Pareto optimal solutions achieved by executing separately the three algorithms 10 different times.

Table 9 demonstrates that the mean value of the Smeasure in the DANSGAII case is lower than those associated with NSGAII and PSO, and the mean value of the Mmeasure in the DANSGAII case is higher than those obtained from the execution of NSGAII and PSO. It also shows that the standard deviations of the S and Mmeasures in the DANSGAII case are lower than those in the NSGAII and PSO cases. These results indicate that the distribution uniformity and the range of the solution outcomes generated by the DANSGAII algorithm are superior to those of the NSGAII and PSO algorithmsbased solutions, and the outputs of DANSGAII are more stable than those of NSGAII and PSO.
Figure 5 compares the execution cycles and model value summations outputted by DANSGAII, NSGAII, and PSO from generations 1 to 200. The value of each execution cycle is the minimum execution cycle in the Pareto solution set outputted by the algorithms at each generation (Figure 5(a)). Each model value summation is the maximum summation of the model values in the Pareto solution set outputted by the algorithms at each generation (Figure 5(b)). The execution cycle and model value summations achieved by DANSGAII begin to converge before generation 20, while those of DANSGAII begin to converge at generations 21 and 37, respectively. PSO is not able to attain the optimal values until generations 101 and 135, respectively. These results indicate the faster convergence rate of DANSGAII compared to those of NSGAII and PSO.
(a)
(b)
5.2.2. Optimizing Effects Comparison
In this section, we compare the optimizing effects via DANSGAII, NSGAII, and PSO. First, the execution cycles of the task set corresponding to the model assignment schemes optimized by the three algorithms are compared. The comparison is performed between solutions with equal model value summations. However, from DANSGAII Pareto optimal solution set, we cannot determine a solution with model value summation exactly equal to that of the Pareto optimal solution from NSGAII or PSO. Therefore, solution sets A and B in the Pareto front generated by DANSGAII are calculated via interpolation. The model value summations corresponding to the solutions in solution set A (B) are equal to those of the Pareto optimal solutions based on NSGAII (PSO). We denote the execution cycle of the task set related to the Pareto optimal solution from NSGAII, set A, PSO, and set B as EC_{1}, EC_{2}, EC_{3}, and EC_{4}, respectively. Figure 6 presents the comparison between EC_{1} and EC_{2} and between EC_{3} and EC_{4}, under the condition that the corresponding summations of the model values are equal.
(a)
(b)
The bar chart in Figure 6(a) compares EC_{1} and EC_{2} with equal model value summations from the Pareto optimal solution sets generated by DANSGAII and NSGAII, respectively, while the line graph presents the percentage decrease of EC_{2} compared to EC_{1}. EC_{2} is 2.8–9.2% lower than EC_{1}. Similarly, the bar chart in Figure 6(b) compares EC_{3} and EC_{4} with equal model value summations from the Pareto optimal solution sets generated by DANSGAII and PSO, respectively, while the line graph presents the percentage decrease of EC_{4} compared to EC_{3}. EC_{4} is 6.1–18.7% lower than EC_{3}. Thus, the design efficiency of the model assignment solution optimized by DANSGAII is higher than those optimized by NSGAII and by PSO. The efficiency improved on average by 4.2% and 11.0%, respectively.
Second, the model value summations corresponding to the model assignment solutions optimized by the three algorithms are compared. We define the model value summation of the Pareto optimal solution generated by NSGAII, PSO, and DANSGAII as SV_{1}, SV_{2} and SV_{3}, respectively. Figure 7 compares SV_{1}, SV_{2}, and SV_{3} under the condition of equal task set execution cycles.
The bar chart in Figure 7 compares SV_{1}, SV_{2}, and SV_{3} for equal task set execution cycles from the Pareto optimal solution sets obtained by the three algorithms, while the line graph presents the percentage increase of SV_{3} compared to SV_{1} and that of SV_{3} compared to SV_{2}. SV_{3} is 1.1–5.7% greater than SV_{1}, with an average increase of 3.2%, while SV_{3} is 4.4–11.1% greater than SV_{2}, with an average increase of 6.8%. Therefore, the model assignment solution optimized by DANSGAII promotes the design task set to a greater extent compared with those optimized by NSGAII and PSO.
6. Conclusions
The proposed designtaskoriented model assignment framework that involves model value selection, multiobjective model establishment, and the multiobjective optimization algorithm provides a solution for the problem of model assignment in the model repository to the design tasks in MBSE.
In MBSE, designtaskoriented model assignment based on model value quantification involves the use of multiobjective optimization. This study applies an advantagenumberbased analytical technique to quantify the models’ values and consequently obtains the value matrix of the models. The goals of the multiobjective model of model assignment, which is established based on the models’ cycle and value matrices on the specified tasks, are the minimization of the task set execution cycle and the maximization of the models’ actual value summation.
The proposed DANSGAII algorithm increases the diversity of the population and reserves more elite solutions based on the introduction of the DE algorithm and the adaptive elitereserve solution. The convergence, distribution uniformity, and ranges of the solution outcomes of the algorithm are superior to those of the traditional NSGAII and PSO. Moreover, the algorithm is more conducive to improving the design efficiency and effect than NSGAII and PSO. The algorithm is therefore favorable for the solution of problems that involve designtaskoriented model assignments.
Further research should focus on the following two additional perspectives. (1) In the current study, the establishment of a multiobjective model assumed a precondition of unlimited resources. However, resources that include human resources, cash, cost, and other factors are constrained in a realistic product development project. Future research should execute the model establishment over resourceconstrained conditions to further enhance and broaden the applicability of the algorithm. (2) For an MBSEcompliant product development project, model scheduling software is capable of improving the usage effects of the models and the development cycles. According to the findings of this study, one can develop a model scheduling software based on the proposed multiobjective model and DANSGAII algorithm.
Data Availability
The data used to support the findings of this study are available from the corresponding author upon request.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
Acknowledgments
This work was supported by National Natural Science Foundation of China (grant no. 51575274).
References
 K. Bhasin, P. Barnes, J. Reinert, and B. Golden, “Applying model based systems engineering to NASA’s space communications networks,” in Proceedings of the 7th Annual IEEE International Systems Conference, pp. 325–330, Orlando, FL, USA, April 2013. View at: Google Scholar
 S. M. Simi, S. P. Mulholland, and W. G. Tanner, “TESSAVi AWESUM modelbased systems engineering (MBSE) for FACE applications,” in Proceedings of the 2014 IEEE Aerospace Conference, p. 17, Big Sky, MT, USA, March 2014. View at: Google Scholar
 E. M. Kraft, “HPCMP CREATE™AV and the air force digital thread,” in Proceedings of the 53rd AIAA Aerospace Sciences Meeting, p. 13, Kissimmee, FL, USA, January 2015. View at: Google Scholar
 J. J. Zhang, Z. Liu, F. Li et al., “Employing modelbased systems engineering (MBSE) on a civil aircraft research project: a case study,” in Proceedings of the 2018 AsiaPacific International Symposium on Aerospace Technology, pp. 2178–2186, Chengdu, China, October 2018. View at: Google Scholar
 P. M. Fischer, D. Lüdtke, C. Lange, F.C. Roshani, F. Dannemann, and A. Gerndt, “Implementing modelbased system engineering for the whole lifecycle of a spacecraft,” CEAS Space Journal, vol. 9, no. 3, pp. 351–365, 2017. View at: Publisher Site  Google Scholar
 D. Kaslow and A. M. Madni, in Disciplinary Convergence in Systems Engineering Research, A. M. Madni, B. Boehm, R. G. Ghanem et al., Eds., pp. 381–393, Springer, Cham, Switzerland, 2018.
 J. Stern, S. Wachtel, J. Colombi, D. Meyer, and R. Cobb, “Multiobjective optimization of geosynchronous earth orbit space situational awareness systems via parallel executable architectures,” in Proceedings of the Conference on Systems Engineering Research (CSER 2017), pp. 599–615, Redondo Beach, CA, USA, March 2017. View at: Google Scholar
 Q. Do, S. Cook, and M. Lay, “An investigation of MBSE practices across the contractual boundary,” Procedia Computer Science, vol. 28, pp. 692–701, 2014. View at: Publisher Site  Google Scholar
 C. Wang, “MBSEcompliant product lifecycle model management,” in Proceedings of the 14th Annual Conference System of Systems Engineering, pp. 248–253, Anchorage, AK, USA, 2019. View at: Google Scholar
 International Council on Systems Engineering (INCOSE), Systems Engineering Vision 2020, Version 2.03, INCOSE, San Diego, CA, USA, 2007.
 S. Friedenthal, A. Moore, and R. Steiner, A Practical Guide to SysML: The Systems Modeling Language, Morgan Kaufmann Publishers, Waltham, MA, USA, 2012.
 G. Barbieri, C. Fantuzzi, and R. Borsari, “A modelbased design methodology for the development of mechatronic systems,” Mechatronics, vol. 24, no. 7, pp. 833–843, 2014. View at: Publisher Site  Google Scholar
 C. Steimera, J. Fischerb, and J. C. Aurich, “Modelbased design process for the early phases of manufacturing system planning using SysML,” in Proceedings of the 27th CIRP Design Conference, pp. 163–168, Cranfield, UK, May 2017. View at: Google Scholar
 K. Kübler, S. Scheifele, C. Scheifele, and O. Riedel, “Modelbased systems engineering for machine tools and production systems (modelbased production engineering),” Procedia Manufacturing, vol. 24, pp. 216–221, 2018. View at: Publisher Site  Google Scholar
 D. J. L. Siedlak, O. J. Pinon, P. R. Schlais, T. M. Schmidt, and D. N. Mavris, “A digital thread approach to support manufacturinginfluenced conceptual aircraft design,” Research in Engineering Design, vol. 29, no. 2, pp. 285–308, 2018. View at: Publisher Site  Google Scholar
 K. Hampson, “Technical evaluation of the systems modeling language (SysML),” Procedia Computer Science, vol. 44, pp. 403–412, 2015. View at: Publisher Site  Google Scholar
 S. Gao, W. Cao, L. Fan, and J. Liu, “MBSE for satellite communication system Architecting,” IEEE Access, vol. 7, pp. 164051–164067, 2019. View at: Publisher Site  Google Scholar
 H. Xia, J. Jiao, and J. Dong, “Extend UML based timeliness modeling approach for complex system,” in Proceedings of the 2018 International Conference on Mathematics, Modeling, Simulation and Statistics Application, p. 6, Shanghai, China, December 2018. View at: Google Scholar
 M. Challenger, G. Kardas, and B. Tekinerdogan, “A systematic approach to evaluating domainspecific modeling language environments for multiagent systems,” Software Quality Journal, vol. 24, no. 3, pp. 775–795, 2016. View at: Publisher Site  Google Scholar
 P. Roques, “MBSE with the ARCADIA method and the capella tool,” in Proceedings of the 8th European Congress on Embedded Real Time Software and Systems, p. 10, Toulouse, France, January 2016. View at: Google Scholar
 A. Soltan, S. Addouche, M. Zolghadri, M. Barkallah, and M. Haddar, “System Engineering for dependency analysis  a Bayesian approach: application to obsolescence study,” Procedia CIRP, vol. 84, pp. 774–782, 2018. View at: Publisher Site  Google Scholar
 Y. Ye and G. Fischer, “Reuseconducive development environments,” Automated Software Engineering, vol. 12, no. 2, pp. 199–235, 2005. View at: Publisher Site  Google Scholar
 U. Shani, “Can ontologies prevent MBSE models from becoming obsolete?” in Proceedings of the 2017 Annual IEEE International Systems Conference, p. 8, Montreal, Canada, April 2017. View at: Google Scholar
 H. Zhao, J. Liang, X. Yin et al., “Domainspecific ModelWare: to make the machine learning model reusable and reproducible,” in Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, p. 2, Oulu, Finland, October 2018. View at: Google Scholar
 B. Hamid, “Assessment of the SEMCO modelbased repository approach for software system engineering,” in Proceedings of the 7th International Conference on Model and Data Engineering, pp. 111–125, Barcelona, Spain, October 2017. View at: Google Scholar
 C. Ponsard, R. Darimont, and M. Touzani, “Robust design of a collaborative platform for modelbased system engineering: experience from an industrial deployment,” in Proceedings of the 9th International Conference on Model and Data Engineering, pp. 333–347, Toulouse, France, October 2019. View at: Google Scholar
 B. Hamid, “A model repository description language–MRDL,” in Proceedings of the 15th International Conference on Software Reuse, pp. 350–367, Limassol, Cyprus, June 2016. View at: Google Scholar
 Z. Pawlak, “Rough sets and decision tables,” in Proceedings of the 5th Symposium on Computation Theory, pp. 187–196, Zaborόw, Poland, December 1984. View at: Google Scholar
 F. P. Mahdi, P. Vasant, V. Kallimani, J. Watada, P. Y. S. Fai, and M. AbdullahAlWadud, “A holistic review on optimization strategies for combined economic emission dispatch problem,” Renewable and Sustainable Energy Reviews, vol. 81, no. 2, pp. 3006–3020, 2018. View at: Publisher Site  Google Scholar
 J. M. GranadoCriado, S. SantanderJiménez, M. A. VegaRodríguez, and Á. RubioLargo, “A multiobjective optimization procedure for solving the highorder epistasis detection problem,” Expert Systems with Applications, vol. 142, Article ID 113000, 2020. View at: Publisher Site  Google Scholar
 K. Deb, S. Agrawal, A. Pratap, and T. Meyarivan, “A fast elitist nondominated sorting genetic algorithm for multiobjective optimization: NSGAII,” in Proceedings of the 6th International Conference on Parallel Problem Solving from Nature, pp. 849–858, Paris, France, September 2000. View at: Google Scholar
 K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, “A fast and elitist multiobjective genetic algorithm: NSGAII,” IEEE Transactions on Evolutionary Computation, vol. 6, no. 2, pp. 182–197, 2002. View at: Publisher Site  Google Scholar
 J. Kennedy and R. Eberhart, “Particle swarm optimization,” in Proceedings of the IEEE International Conference on Neural Network, pp. 1942–1948, Perth, Australia, November 1995. View at: Google Scholar
 Y. Li, T. Yue, S. Ali, and L. Zhang, “ZenReqOptimizer: a searchbased approach for requirements assignment optimization,” Empirical Software Engineering, vol. 22, no. 1, pp. 175–234, 2017. View at: Publisher Site  Google Scholar
 C. J. Lowe and M. Macdonald, “Rapid modelbased interdisciplinary design of a CubeSat mission,” Acta Astronautica, vol. 105, no. 1, pp. 321–332, 2014. View at: Publisher Site  Google Scholar
 S. Rahmoun, A. MehiaouiHamitou, E. Borde, L. Pautet, and E. Soubiran, “Multiobjective exploration of architectural designs by composition of model transformations,” Software & Systems Modeling, vol. 18, no. 1, pp. 107–127, 2019. View at: Publisher Site  Google Scholar
 R. Wang and C. H. Dagli, “Computational system architecture development using a holistic modeling approach,” Procedia Computer Science, vol. 12, pp. 13–20, 2012. View at: Publisher Site  Google Scholar
Copyright
Copyright © 2020 Xiaofei Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.