CN117389688A - X language-based system integrated modeling and simulation system - Google Patents

X language-based system integrated modeling and simulation system Download PDF

Info

Publication number
CN117389688A
CN117389688A CN202311430194.4A CN202311430194A CN117389688A CN 117389688 A CN117389688 A CN 117389688A CN 202311430194 A CN202311430194 A CN 202311430194A CN 117389688 A CN117389688 A CN 117389688A
Authority
CN
China
Prior art keywords
language
model
demand
graph
function
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202311430194.4A
Other languages
Chinese (zh)
Inventor
张霖
陈真
章宇腾
古鹏飞
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beihang University
Original Assignee
Beihang University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Beihang University filed Critical Beihang University
Priority to CN202311430194.4A priority Critical patent/CN117389688A/en
Publication of CN117389688A publication Critical patent/CN117389688A/en
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/451Execution arrangements for user interfaces

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Human Computer Interaction (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

The invention discloses a system integrated modeling and simulation system based on an X language, and relates to the field of simulation modeling. Comprising the following steps: a relational model of the X language model; the relation model of the X language model comprises a graph relation model, a demand-demand mapping matrix, a demand-function mapping matrix, a function-subsystem mapping matrix and a graph construction flow model; a graph relationship model for representing a specific model of the relationship of the graph model constructed using the X language; a demand-to-demand mapping matrix representing tools for establishing ties with demand text using an X language demand graph; a demand-function mapping matrix for representing a tool for establishing a relationship with the X-language activity graph using the X-language demand graph; a function-subsystem mapping matrix for representing a tool for establishing a connection with a subsystem represented by the X language activity map and the X language coupling class; and (3) establishing a graph flow model for representing graph construction and deduction flow by using the X language. The invention realizes the cross-level transfer of the model.

Description

X language-based system integrated modeling and simulation system
Technical Field
The invention relates to the technical field related to integrated modeling and simulation of system development, in particular to a system integrated modeling and simulation system based on X language.
Background
Model-based system engineering (MBSE) is an important means to address challenges faced by system engineering. The core idea is to support each stage of the full life cycle of the system from concept design, analysis, verification to development and operation and maintenance through a unified, formalized and normalized model. The essence of the MBSE-based development model is to transition from a traditional document and physical model-based development model to a model-driven development model. MBSE-based development mode emphasizes: engineering system development is also a process for implementing technical communication by means of a system model. In the existing system development practice based on MBSE, demand modeling and architecture design are generally carried out firstly based on system modeling languages (such as SysML, IDEF and the like), and then physical model development and integration are realized based on physical modeling languages (such as Modelica, bond Graph and the like) and in combination with integration standard specifications (FMI, HLA and the like).
However, the system design and simulation integration method adopted at present can realize unified management of different stages of product development, but the essence is realized through mapping conversion among languages. The method for integrating the system design and the simulation aims at a single field and is possibly free, but when modeling and simulation of a complex system are faced, the support of continuous, discrete and intelligent system simulation is difficult to be considered. In general, there are mainly the following two problems: the method comprises the following steps: the system modeling language is disjointed from the physical domain modeling language, and the system modeling language and the physical domain modeling language cannot be completely corresponding to each other, so that the consistency and traceability of the whole system model are poor. And two,: the existing physical modeling language has insufficient support for complex systems, is aimed at a certain link of modeling simulation, and lacks the capacity of full-flow collaborative design (single-field modeling language is dominant, and multi-field modeling language Modelica is not friendly for supporting discrete behavior modeling).
Disclosure of Invention
In view of the above, the present invention provides a system modeling and simulation integrated system based on the X language to solve the problems in the background art.
In order to achieve the above purpose, the present invention adopts the following technical scheme:
an X language based system integrated modeling and simulation system comprising: a relational model of the X language model;
the relation model of the X language model comprises a graph relation model, a demand-demand mapping matrix, a demand-function mapping matrix, a function-subsystem mapping matrix and a graph construction flow model;
the graph relation model is used for representing a specific model of the relation of the graph model built by using the X language; the demand-demand mapping matrix is used for representing a tool for establishing connection with a demand text by utilizing an X language demand graph; the demand-function mapping matrix is used for representing a tool for establishing a connection with an X language demand graph and an X language activity graph by utilizing the X language demand graph; the function-subsystem mapping matrix is used for representing a tool for establishing connection with the subsystem represented by the X language activity diagram and the X language coupling class; the diagramming flow model is used for representing the diagram construction and deduction flow by using the X language.
Optionally, the system further comprises an X-language-based demand analysis flow, an X-language-based system architecture and function design flow, an X-language-based subsystem design flow and an X-language-based integrated verification flow.
Optionally, the graph relation model is used for defining the association relation of graphs used for constructing the model when the X language is used for system modeling and simulation, and the X language model graph is used for defining the requirements, logic and functions of the system.
Optionally, the requirement-requirement mapping matrix is used to describe a mapping relationship from requirements in the system requirement text to requirements using the X language requirement graph.
Optionally, the requirement-function mapping matrix is used to describe a mapping relationship from requirements of the X language requirement graph to function blocks in the X language activity graph.
Optionally, the function-subsystem mapping matrix is used to describe a mapping relationship between the function blocks in the X language activity map and the corresponding subsystems.
Optionally, the mapping process model is divided into: a demand analysis workflow model, a function and architecture design workflow model, and a subsystem design workflow model; the demand analysis workflow model is used for describing a flow of model construction by using the X language graph model in a demand analysis stage; the function and architecture design workflow model is used for describing a flow of model construction by utilizing an X language graph model in a function architecture design stage; the subsystem design workflow model is used for carrying out a model construction process by utilizing the X language graph model in the subsystem design stage.
Optionally, the requirement analysis flow based on the X language is to sort and map the system requirement according to the grammar and the graphic module of the X language.
Optionally, the system architecture and the function design flow based on the X language are architecture construction and function construction of the system according to the grammar, the text and the graphic module of the X language.
Optionally, the subsystem design flow based on the X language is iterative design of the subsystem by using grammar, text, graphic module and iterative flow of the X language.
Compared with the prior art, the invention provides a system modeling and simulation integrated system based on X language, which is embodied by a flow model, a matched relation model and a mapping matrix tool; the process model can be used for capturing requirements, defining system functions and architecture, constructing a one-dimensional physical model of the system, organically combining the system design with the system simulation by utilizing the system simulation auxiliary system design, and realizing the cross-level transfer of the model, thereby supporting the efficient development of design work. The X language unifies system modeling and multi-physical domain modeling at the language level, which allows the system architecture model to seamlessly transition to the multi-physical domain simulation model. The process enables system engineers to perform demand verification and validation in the form of full-flow system simulations.
Drawings
In order to more clearly illustrate the embodiments of the present invention or the technical solutions in the prior art, the drawings that are required to be used in the embodiments or the description of the prior art will be briefly described below, and it is obvious that the drawings in the following description are only embodiments of the present invention, and that other drawings can be obtained according to the provided drawings without inventive effort for a person skilled in the art.
FIG. 1 is a schematic diagram of an integrated system modeling and simulation method based on the X language;
FIG. 2 is a schematic diagram of the relationship of the X language model graph of the present invention;
FIG. 3 is a schematic diagram of an X-based language demand analysis process according to the present invention;
FIG. 4 is a schematic diagram of a demand-to-demand mapping matrix generation scheme in accordance with the present invention;
FIG. 5 is a schematic diagram of the functional and architectural design workflow based on the X language of the present invention;
FIG. 6 is a schematic diagram of a demand-to-function mapping matrix generation scheme in accordance with the present invention;
FIG. 7 is a schematic diagram of a development flow of an X-language based subsystem according to the present invention;
FIG. 8 is a schematic diagram of a subsystem-function mapping matrix generation scheme in accordance with the present invention;
FIG. 9 is a schematic diagram of an integrated test verification workflow based on the X language of the present invention.
Detailed Description
The following description of the embodiments of the present invention will be made clearly and completely with reference to the accompanying drawings, in which it is apparent that the embodiments described are only some embodiments of the present invention, but not all embodiments. All other embodiments, which can be made by those skilled in the art based on the embodiments of the invention without making any inventive effort, are intended to be within the scope of the invention.
The embodiment of the invention discloses an integrated system modeling and simulation system based on X language, which comprises: a relational model of the X language model;
the relation model of the X language model comprises a graph relation model, a demand-demand mapping matrix, a demand-function mapping matrix, a function-subsystem mapping matrix and a graph establishing flow model, wherein the graph establishing flow model is based on an X language demand analysis flow, an X language system architecture and function design flow, an X language subsystem design flow and an X language integration verification flow;
the graph relation model is used for representing a specific model of the relation of the graph model built by using the X language;
the demand-demand mapping matrix is used for representing a tool for establishing connection with a demand text by utilizing an X language demand graph;
the demand-function mapping matrix is used for representing a tool for establishing a connection with an X language demand graph and an X language activity graph by utilizing the X language demand graph;
the function-subsystem mapping matrix is used for representing a tool for establishing connection with the subsystem represented by the X language activity diagram and the X language coupling class;
the diagram building flow model is used for representing a diagram building and deducing flow by using an X language;
the graph relation model, the demand-demand mapping matrix and the demand-function mapping matrix are all realized based on the model, and the function-subsystem mapping matrix and the modeling flow model are all realized based on the model.
It should be noted that, the graph relation model implementation mode: engineers use the integrated "graph relational UML tool" implementation in the X language modeling tool by analyzing the categories of each model in the X language project and correlating the models using the graph relational models shown herein.
Demand-demand mapping matrix: engineers analyze the system demands in the X language project and make normalized representation to arrange into a model created by the X language demand graph and the demand text, and the mapping relation is represented by a matrix, namely a demand-demand mapping matrix. The implementation is realized by using an X language modeling tool xlab 'matrix creation' tool.
Demand-function mapping matrix: engineers create a demand-to-function mapping matrix by analyzing the demand graph in the X language and the correspondence of related functions in the X language activity graph. The implementation is realized by using an X language modeling tool xlab 'matrix creation' tool.
Function-subsystem mapping matrix: the engineer maps the system function partitions to the subsystems by analyzing the X language system activity diagrams and the subsystem partitions to form a function-subsystem mapping matrix, which is embodied by using the X language modeling tool xlab "matrix creation" tool.
And (3) a diagram building flow: the various graph elements in the X language are needed to be comprehensively used for modeling according to the modeling flow model.
Furthermore, the graph relation model is used for defining the association relation of graphs used for constructing the model when the X language is used for carrying out system modeling and simulation, and the X language model graph is used for defining the requirements, logic and functions of the system.
Further, the requirement-requirement mapping matrix is used for describing a mapping relation from requirements in a system requirement text to requirements using an X language requirement graph.
Further, the requirement-function mapping matrix is used for describing a mapping relationship from the requirement of the X language requirement graph to the function blocks in the X language activity graph.
Further, the function-subsystem mapping matrix is used for describing the mapping relation between the function blocks in the X language activity diagram and the corresponding subsystems.
Further, the mapping process model is divided into: a demand analysis workflow model, a function and architecture design workflow model, and a subsystem design workflow model; the demand analysis workflow model is used for describing a flow of model construction by using the X language graph model in a demand analysis stage; the function and architecture design workflow model is used for describing a flow of model construction by utilizing an X language graph model in a function architecture design stage; the subsystem design workflow model is used for carrying out a model construction process by utilizing the X language graph model in the subsystem design stage.
Furthermore, the X-language-based demand analysis flow is to sort and map system demands according to the grammar and the graphic module of the X language.
Furthermore, the system architecture and the function design flow based on the X language are architecture construction and function construction of the system according to the grammar, the text and the graphic module of the X language.
Furthermore, the design flow of the subsystem based on the X language is iterative design of the subsystem by utilizing grammar, text, graphic modules and iterative flow of the X language.
In this embodiment, fig. 1 shows an overall roadmap of an integrated system modeling and simulation method based on the X language. This is a development process conforming to the "V" shape. This is a top-down modeling process, and an optional feedback loop to the previous stage. The process is functional oriented in the system modeling stage and object oriented in the physical stage implementation stage. The left arm of the "V" is a modeling process, and the right arm of the "V" is a simulation-based verification process.
The overall roadmap of the system modeling and simulation integrated method based on the X language is a development process based on the model and simulation, and the X language is used as a modeling simulation language. It enables seamless joining between system functional modeling and multi-physical domain object modeling. In the modeling phase, the process is utilized to identify and assign requirements and functions to design a system architecture. And in the simulation stage, checking and verifying the system architecture by using the executable conceptual model, and completing the full system simulation and finally confirming the system design by using the executable multi-physical domain model. The loop iteration of the design process is quickened through integrated modeling and simulation, so that the rapid and credible system design capability is provided. The process supports the design development of general systems, complex product systems or systems. FIG. 2 shows the type of graph model and the relationships of the X language used in the method.
(1) X language based demand analysis
The main objective of the process is to comb the stakeholder needs and generate use cases to confirm the basic functions of the system. A flow chart of this process is shown in fig. 3. This stage begins with entering a stakeholder's needs. Stakeholder requirements may include functional requirements, non-functional requirements, general requirements, physical requirements, design requirements, and the like. Normalized system requirements resulting from stakeholder requirement analysis. The analysis process is formulated using demand charts, focusing on functional demands. And carrying out demand decomposition, export, refinement and the like on the system demand to obtain more specific and clear system demand.
System engineers refine system requirements through use cases and use case scenarios. The use cases more accurately account for the desire of the system and what they wish to achieve by using the system, i.e., a centralized representation of the system's functionality, than the system's needs. The relationship between use cases is represented by use case diagrams. The use cases may be hierarchically structured. Relationships between common use cases mainly comprise association, inclusion, extension and generalization.
And carrying out demand mapping analysis by a system engineer according to the demand graph to obtain a demand mapping matrix. The demand mapping matrix describes the mapping of stakeholder's demands to system demands, ending the demand analysis process if and only if all stakeholder's demands are considered and reasonably divided into use cases.
After the demand analysis stage, the system engineer obtains a demand graph and a usage graph containing system demands. In this case, the demand graph includes the relationship between the demands and the use cases. The use case diagram reflects the use cases contained in the system and the relationship between the use cases and external participants. FIG. 4 is a diagram showing the requirements of the system and the text requirements according to the requirements of the system in the X language requirements diagram, and the system is used for establishing a requirement-requirement mapping matrix.
(2) X language based system function and architecture design
A flow chart of this process is shown in fig. 5, and fig. 6 illustrates the manner in which the corresponding demand-to-function mapping matrix is derived. The function analysis process is to further refine the analysis and description of the system functions determined by the demand analysis. Each use case needs to build a functional flow model, represented by an activity diagram, that focuses on interactions between the system and external participants and the operational definitions that the system needs to possess for that use case internally. The system engineer extracts a particular use case and its associated participant from the use case diagram as the start of the functional analysis. After this, the interaction flow between the external participant and the use case internal function flow is established according to the use case description. The internal activities and the interactive activities are collated. Next, a state machine diagram is built for use cases, mainly focusing on the state response of the system to external stimuli. At the moment, the constructed model can be subjected to logic simulation test by utilizing the captured scene construction excitation, and the iteration is continuously perfected.
The architecture design of the system is mainly to divide subsystems from the standpoint of the physical domain system implementation. After the verification is finished, integrating the models of the multiple use cases, and dividing subsystems to form a system definition graph. The partitioning process is performed iteratively, and finally a partitioning suitable for the development team of the system and meeting the requirements is found out. And constructing an activity map with the subsystem and the external participants as lanes. A timing diagram divided by subsystems is drawn to confirm the order of interactions between subsystems and to confirm the interfaces and interaction events of the subsystems. And constructing a system connection diagram according to the interaction relation among the subsystems to determine the interfaces and parameters of the interaction. At this time, a state machine diagram can be built according to the subsystems, and logic simulation verification can be performed on interaction and state change between the subsystems.
Another process in parallel with the above is the transfer of requirements and functions. After the use case activity graph construction is completed, the mapping between the requirements and the use case activities is refined. After the subsystem division is completed, the mapping relation between the use case function and the subsystem function is constructed, and the split execution condition of the function is particularly concerned. The subsystem requirements also need to be determined after partitioning, where subsystem requirements are typically functional requirements derived from activity analysis of the subsystem and inheritance of system requirements. And supplementing the subsystem and subsystem requirements based on the requirements obtained by the requirement analysis, thereby obtaining an updated system requirement diagram.
After the functional and architecture design phase, the system engineer gets the confirmed system architecture shown by the definition chart and the functional model of the subsystem shown by the activity chart, the state machine chart and the sequence chart, and meanwhile, the interaction interfaces, events and parameters between the subsystem shown by the connection chart and the participant and between the subsystem and the requirements of the subsystem shown by the requirement chart.
(3) Subsystem design based on X language
This stage focuses mainly on the physical level model implementation of the subsystem. The workflow of which is shown in fig. 7. Fig. 8 illustrates the derivation of the subsystem-function mapping matrix. Subsystem design is primarily accomplished by a system engineer together with a system engineer or domain engineer responsible for the subsystem. The subsystem functions, performance requirements model, subsystem interfaces, interaction parameters model, and logic verification model of the system of the pre-steps are delivered to engineers of the subsystem. Depending on the complexity of the subsystem, the subsystem engineer may take different strategies. For a subsystem which is complex to realize and needs further detailed design, the subsystem can be taken as a system to carry out design development steps of demand analysis, system architecture function design, subsystem design and integration verification in a recursion mode. Before the subsystem does not realize all physical level models, a subsystem engineer can gradually refine the logic verification model of the subsystem and transmit the logic verification model to a system engineer so as to develop cross-level joint simulation verification with other subsystems. A subsystem that is relatively simple to implement at the physical level can be treated as a non-sub-system. The class subsystem can be realized in one-dimensional physical level by directly utilizing a plurality of classes of the X language.
Due to the adoption of unified language specifications and interfaces, the integrated performance test among multiple subsystems is more convenient. Because the X language supports logic and physical level hybrid simulation, simulation verification can be carried out between logic, physical level and cross-level between two subsystems which are intersected with each other in the design realization process of the subsystems, so that the subsystems can be timely verified and confirmed in the design process.
After the subsystem design stage, under the continuous interaction of system engineers and field engineers, a confirmed multi-field X language physical simulation model and a model relation gathered layer by layer from bottom to top through coupling types are formed.
(4) Integrated test verification based on X language
A schematic of this process is shown in fig. 9. In the demand analysis stage, verification work is mainly focused on the satisfaction of use cases on demands. In the functional analysis and architecture design stage, on one hand, logic simulation is needed to be utilized to verify the established activity diagram, state machine diagram and sequence diagram; on the other hand, the requirements, especially the functional requirements, need to be verified by using the mapping table and the requirement graph, and this process needs to pay special attention to the transitivity of a certain function in the decomposition process. In the stage of subsystem design, on one hand, for a subsystem which is complex to realize, multiple rounds of recursion are needed, during which logic simulation and logic and performance hybrid simulation of the subsystem are involved, and verification is needed to be carried out on subsystem performance requirements and other subsystem requirements; on the other hand, for the subsystem which can be realized in a direct physical level, performance simulation experiments are required to be performed for the requirement verification. After the verification work by stages is finished, a confirmed model is formed and is filed.
And in the integrated simulation stage of the system, performing layer-by-layer simulation verification according to the connection relation of each physical level model indicated by the coupling class. And (3) for the model or link of which the simulation result does not meet the index required in the demand graph, after other reasons are eliminated, searching the associated model or module by using a demand tracking algorithm, and checking or design adjustment is performed until the demand is met.
In the present specification, each embodiment is described in a progressive manner, and each embodiment is mainly described in a different point from other embodiments, and identical and similar parts between the embodiments are all enough to refer to each other. For the device disclosed in the embodiment, since it corresponds to the method disclosed in the embodiment, the description is relatively simple, and the relevant points refer to the description of the method section.
The previous description of the disclosed embodiments is provided to enable any person skilled in the art to make or use the present invention. Various modifications to these embodiments will be readily apparent to those skilled in the art, and the generic principles defined herein may be applied to other embodiments without departing from the spirit or scope of the invention. Thus, the present invention is not intended to be limited to the embodiments shown herein but is to be accorded the widest scope consistent with the principles and novel features disclosed herein.

Claims (10)

1. An integrated modeling and simulation system based on an X language, comprising: a relational model of the X language model;
the relation model of the X language model comprises a graph relation model, a demand-demand mapping matrix, a demand-function mapping matrix, a function-subsystem mapping matrix and a graph construction flow model;
the graph relation model is used for representing a specific model of the relation of the graph model built by using the X language; the demand-demand mapping matrix is used for representing a tool for establishing connection with a demand text by utilizing an X language demand graph; the demand-function mapping matrix is used for representing a tool for establishing a connection with an X language demand graph and an X language activity graph by utilizing the X language demand graph; the function-subsystem mapping matrix is used for representing a tool for establishing connection with the subsystem represented by the X language activity diagram and the X language coupling class; the diagramming flow model is used for representing the diagram construction and deduction flow by using the X language.
2. The system integrated modeling and simulation system based on the X language according to claim 1, further comprising a demand analysis flow based on the X language, a system architecture and function design flow based on the X language, a subsystem design flow based on the X language, and an integration verification flow based on the X language.
3. The system integrated modeling and simulation system based on the X language according to claim 1, wherein the graph relation model is used for defining the association relation of graphs used for modeling and constructing the model when the system is modeled and simulated by using the X language, and the X language model graph is used for defining the requirements, logic and functions of the system by using the association relation.
4. The X language based system integration modeling and simulation system of claim 1, wherein the demand-to-demand mapping matrix is used to describe a mapping from demand in system demand text to demand using an X language demand graph.
5. The X-language based system integration modeling and simulation system of claim 1, wherein the demand-to-function mapping matrix is used to describe a mapping relationship from the demand of the X-language demand graph to the function blocks in the X-language activity graph.
6. The X-language based system integration modeling and simulation system of claim 1, wherein the function-subsystem mapping matrix is used to describe the mapping relationship of function blocks in the X-language activity map to corresponding subsystems.
7. The system integrated modeling and simulation system based on the language X of claim 1, wherein the mapping flow model is divided into: a demand analysis workflow model, a function and architecture design workflow model, and a subsystem design workflow model; the demand analysis workflow model is used for describing a flow of model construction by using the X language graph model in a demand analysis stage; the function and architecture design workflow model is used for describing a flow of model construction by utilizing an X language graph model in a function architecture design stage; the subsystem design workflow model is used for carrying out a model construction process by utilizing the X language graph model in the subsystem design stage.
8. The system integrated modeling and simulation system based on the X language according to claim 2, wherein the system demand analysis flow based on the X language is to sort and map system demands according to grammar and graphic modules of the X language.
9. The system integrated modeling and simulation system based on the X language according to claim 2, wherein the system architecture and the function design flow based on the X language are architecture construction and function construction of the system according to grammar, text and graphic modules of the X language.
10. The system integrated modeling and simulation system based on the X language according to claim 2, wherein the subsystem design flow based on the X language is iterative design of the subsystem by using the grammar, the text, the graphic module and the iterative flow of the X language.
CN202311430194.4A 2023-10-31 2023-10-31 X language-based system integrated modeling and simulation system Pending CN117389688A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202311430194.4A CN117389688A (en) 2023-10-31 2023-10-31 X language-based system integrated modeling and simulation system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202311430194.4A CN117389688A (en) 2023-10-31 2023-10-31 X language-based system integrated modeling and simulation system

Publications (1)

Publication Number Publication Date
CN117389688A true CN117389688A (en) 2024-01-12

Family

ID=89437115

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202311430194.4A Pending CN117389688A (en) 2023-10-31 2023-10-31 X language-based system integrated modeling and simulation system

Country Status (1)

Country Link
CN (1) CN117389688A (en)

Similar Documents

Publication Publication Date Title
Dašić et al. Functional and information modeling of production using IDEF methods
Suryadevara et al. Adopting mbse in construction equipment industry: An experience report
CN102012673A (en) Design method of complex reaction type system controller
CN113836754A (en) Multi-agent simulation modeling oriented simulation method, device, equipment and medium
CN102722601B (en) Implementation method of formal semantic integration framework for model transformation of numerical control system
CN109151030A (en) A kind of Internet of Things object distributed interactive system, method
CN115756407A (en) Meta-universe service development method based on scene-behavior fusion and model driving
CN106096145A (en) A kind of complication system mathematics library based on state space and analysis environments
Binder et al. Investigating emergent behavior caused by electric vehicles in the smart grid using co-simulation
Azzouzi et al. A survey on systems engineering methodologies for large multi-energy cyber-physical systems
CN111399829B (en) Waveform modeling method and terminal based on model driving
CN103971225A (en) Workflow dynamic expanding method and system
CN117389688A (en) X language-based system integrated modeling and simulation system
D'Ambrogio et al. A Model Transformation Approach for the Development of HLA-based Distributed Simulation Systems.
Mannari et al. Digitalisation of Agriculture: Development and Evaluation of a Model-based Requirements Engineering Process.
Fu et al. Model-driven prototyping based requirements elicitation
Bondé et al. Traceability and interoperability at different levels of abstraction in model-driven engineering
Pasquinelli et al. Extending the system model
Haidrar et al. On the use of model transformation for requirements trace models generation
CN115081369B (en) Micro-system collaborative design method
CN112817571B (en) Man-machine object fusion application modeling method based on scene storyboard
Okolnishnikov et al. Monitoring system development using simulation
Malavolta Software Architecture Modeling by Reuse, Composition and Customization
Haspl et al. Software toolchain for modeling and transforming robotic workflows into formally verifiable model representations
CN112416397B (en) Software updating method and device driven by position change and readable storage medium

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination