Train control demand processing method, device and equipment and storage medium

Abstract

The invention discloses a train control demand processing method, device and equipment and a storage medium, and the method comprises the steps: obtaining a control function needed by a train and a program instruction for triggering the control function based on the demand description data of train control, and creating a logic architecture diagram to describe the relation between the control function and the program instruction; based on the demand description of the control function in the demand description data, obtaining the object state required to be configured by the control object acted by the control function and the corresponding state conversion condition, and based on each object state and the state conversion condition thereof, determining the state of the control object; the mode state machine diagram of the control function is created to describe the state switching logic of the control object in the control function, and finally the train control operation is simulated based on the logic architecture diagram and the mode state machine diagram, so that the train control logic jointly expressed by the logic architecture diagram and the mode state machine diagram can be accurately and efficiently verified. Whether the train control requirements described by the requirement description data are met or not is judged.

Description

Technical Field

[0001] This application relates to the field of rail transit control technology, and in particular to a method, apparatus, equipment and storage medium for processing train control requirements. Background Technology

[0002] In the rail transit sector, the complexity of products such as train control systems is increasing daily, and their control logic directly affects the safe, reliable, and efficient operation of trains. During the development of related control products, train control requirements are typically presented in natural language or unstructured documents. Developers must manually identify the control functions required by the product based on these requirements and ultimately translate them into executable control program instructions. However, manually reading requirement documents can easily lead to misunderstandings among different developers, resulting in errors in function implementation, omissions or redundancies in instruction configuration, and impacting development efficiency and the reliability of the final product. Therefore, there is an urgent need to propose a new technical solution for processing train control requirements, to accurately and efficiently verify whether the train control logic meets the requirements in the early stages of product development, thereby ensuring the reliability and safety of the developed control product when used for train control. Summary of the Invention

[0003] This application provides a train control requirement processing method, related equipment, storage medium, and program product, which can accurately and efficiently verify train control logic, thereby ensuring the reliability and safety of the developed control product when used for train control.

[0004] On the one hand, embodiments of this application provide a train control demand processing method, including: Based on the train control requirements description data, obtain the control functions required by the train and the program instructions used to trigger the control functions, and create a logical architecture diagram to show the relationship between the control functions and the corresponding program instructions. Based on the requirement description of the control function in the requirement description data, obtain one or more object states that the control object to which the control function is applied needs to be configured under the control function, as well as the state transition conditions of each object state. Based on one or more object states corresponding to the controlled object and the state transition conditions of each object state, a mode state machine diagram of the control function is created. The mode state machine diagram is used to show the state switching logic of the controlled object in the control function. The train control operation is simulated based on the logical architecture diagram and the mode state machine diagram to verify whether the train control logic jointly expressed by the logical architecture diagram and the mode state machine diagram meets the train control requirements described by the requirement description data.

[0005] In one implementation, before obtaining the control functions required by the train and the program instructions for triggering the control functions based on the train control demand description data, the method further includes: Obtain at least one requirement description text and the creation objects of each requirement description text; Text analysis is performed on each requirement description text to obtain one or more requirement items, each requirement item being used to represent a control requirement; Each requirement item is standardized based on the preset requirement definition rules, and the standardized requirement items are fed back to the creation object of each requirement description text; If a request confirmation instruction for the standardized requirement item is received from the creation object of each requirement description text, then the standardized requirement item is used as the requirement description data.

[0006] In another implementation, the pattern state machine diagram includes at least one state node, each state node representing an object state; the step of simulating train control operations based on the logic architecture diagram and the pattern state machine diagram to verify whether the train control logic jointly expressed by the logic architecture diagram and the pattern state machine diagram meets the train control requirements described by the requirement description data includes: In response to a simulated control request to perform a target control operation on a target control object, a target control function is determined from the logical architecture diagram. The target control function refers to the control function that needs to be invoked when performing the target control operation on the target control object. Display the mode state machine diagram of the target control function; The displayed state machine diagram shows the state nodes that the target control object hits during the operation of the target control function, so as to verify whether the train control logic meets the train control requirements based on the hit state nodes.

[0007] In another implementation, the step of verifying whether the train control logic meets the train control requirements based on the hit state node includes: The target state node is determined from the displayed pattern state machine diagram. The target state node is used to characterize the object state that is expected to be reached by the target control object through the target control operation. If the hit state node includes the target state node, then the train control logic is determined to meet the train control requirements.

[0008] In another implementation, the step of displaying the state nodes hit by the target controlled object during the operation of the target control function in the displayed mode state machine diagram includes: In the displayed mode state machine diagram, the first display method is used to display the state nodes corresponding to the object states that the target control object has already experienced; The second display method is used to display the state node corresponding to the current state of the target controlled object.

[0009] In yet another embodiment, the method further includes: If the current state node of the target control object is configured with a control function, then the configured control function is invoked; Display the mode state machine diagram of the invoked control function, and show the state nodes hit by the target control object during the operation of the invoked control function in the displayed mode state machine diagram.

[0010] In yet another embodiment, the method further includes: If an update operation to the mode state machine diagram is detected, update information is obtained; The requirement description data is updated based on the updated information, wherein the update operation is used to update one or both of the object states and state transition conditions in the pattern state machine diagram.

[0011] Furthermore, embodiments of this application provide a train control demand processing device, including: The requirements analysis unit is used to obtain the control functions required by the train and the program instructions for triggering the control functions based on the requirements description data of train control, and to create a logical architecture diagram to show the relationship between the control functions and the corresponding program instructions. The requirement analysis unit is also used to obtain, based on the requirement description of the control function in the requirement description data, one or more object states that the control object to which the control function is applied needs to be configured under the control function, as well as the state transition conditions of each object state. The graph structure creation unit is used to create a mode state machine diagram of the control function based on one or more object states corresponding to the control object and the state transition conditions of each object state. The mode state machine diagram is used to show the state switching logic of the control object in the control function. The simulation control unit is used to simulate train control operations based on the logic architecture diagram and the mode state machine diagram to verify whether the train control logic jointly expressed by the logic architecture diagram and the mode state machine diagram meets the train control requirements described by the requirement description data.

[0012] In another aspect, embodiments of this application provide an electronic device, including: A memory, wherein a computer program is stored; A processor for loading the computer program to implement the method as described in the first aspect.

[0013] In another aspect, embodiments of this application also provide a computer-readable storage medium storing a computer program adapted to be loaded by a processor and executed as described in the first aspect.

[0014] In another aspect, embodiments of this application also provide a computer program product, the computer program product including computer instructions, wherein a processor of an electronic device reads the computer instructions and executes the method as described in the first aspect.

[0015] This application obtains control functions and program instructions based on requirement description data and creates a logical architecture diagram. This visually demonstrates the correspondence between control functions and program instructions, ensuring that functional requirements in the requirement description data are accurately mapped to specific program implementations. This reduces design errors caused by misunderstandings, thereby improving the clarity and structure of requirement analysis. Further extraction of the object states and state transition conditions required by the control objects affected by the control functions from the requirement description data systematically captures all potential states and transition rules. This helps identify omissions or inconsistencies in the requirement description, enhancing its completeness and accuracy. Next, creating a pattern state machine diagram to display the state switching logic of the control objects visualizes the abstract state transition conditions, making the control logic easier to understand and verify. This reduces the probability of design errors in the control logic, improves its reliability and maintainability, and ultimately enhances the safety of the developed train control product. Finally, simulation operations based on the logical architecture diagram and pattern state machine diagram verify whether the jointly expressed train control logic meets the requirement description without relying on actual hardware. This simulation step identifies design flaws early, reduces modification costs in subsequent development stages, and improves the development efficiency and reliability of the train control product. Attached Figure Description

[0016] To more clearly illustrate the technical solutions of the embodiments of this application, the drawings used in the description of the embodiments will be briefly introduced below. Obviously, the drawings described below are some embodiments of this application. For those skilled in the art, other drawings can be obtained based on these drawings without creative effort.

[0017] Figure 1 This is a schematic diagram of a demand processing system provided in an embodiment of this application; Figure 2 This is a schematic flowchart of a train control demand processing method provided in an embodiment of this application; Figure 3 This is a schematic diagram of a logical architecture provided in an embodiment of this application; Figure 4 This is a schematic diagram of a mode state machine diagram provided in an embodiment of this application; Figure 5 This is a schematic diagram of a functional flow diagram provided in an embodiment of this application; Figure 6 This is a schematic diagram illustrating a display method for a status node provided in an embodiment of this application; Figure 7 This is a schematic diagram of the structure of a train control demand processing device provided in an embodiment of this application; Figure 8 This is a schematic diagram of the structure of an electronic device provided in an embodiment of this application. Detailed Implementation

[0018] It should be noted in advance that, in order to enable those skilled in the art to better understand the technical solutions proposed in the embodiments of this application, the embodiments of this application will be described clearly and completely in conjunction with one or more accompanying drawings. Furthermore, the accompanying drawings shown in the embodiments of this application are merely illustrative examples; for instance, the execution order of each step in the drawings can be adaptively adjusted according to the actual application scenario.

[0019] Furthermore, in the embodiments of this application, the block diagrams, modules, and units shown in the accompanying drawings are merely functional entities and do not necessarily correspond to physically independent entities. Each module or unit can be part of a larger module or unit that includes the functionality of that module or unit. That is, the terms "module" or "unit" mentioned in the embodiments of this application refer to a computer program or part of a computer program with a predetermined function, which can work together with other related parts to achieve a predetermined goal. It can be implemented wholly or partially using software, hardware (such as processing circuitry or memory), or a combination thereof, or implemented in different network and / or processor devices and / or microcontroller devices. Similarly, a processor (or multiple processors or memory) can be used to implement one or more modules or units.

[0020] For the train control scenario of electric locomotives, this application provides a technical solution for processing train control requirements. This solution transforms the train control requirements described by the requirement description data into a structured and graphical logical representation during the product development stage, thereby achieving a clear understanding of the control logic. This facilitates the accurate and rapid discovery of errors or inconsistencies in the control logic, ensuring the feasibility of the control logic adopted throughout the entire product development lifecycle, and ultimately improving the reliability of product development.

[0021] Specifically, the technical solution proposed in this application first clarifies the required control functions and their triggering instructions based on the demand description data of the electric locomotive, and constructs a logic architecture diagram to intuitively show the mapping relationship between control functions and triggering instructions. Then, based on the control function analysis, the demand description for the control function in the demand description data is analyzed, defining the object state that the control object needs to be configured under the action of the control function and the transition conditions between different object states. Based on this, a pattern state machine diagram is generated to formally describe the state transition logic under the control function. Finally, the logic architecture diagram and the pattern state machine diagram are combined to simulate train control operations and verify whether the train control logic jointly expressed by the two can completely and accurately meet the train control requirements described in the demand description data. This not only realizes the simulation verification of control logic in the early stage of development, but also improves the traceability from train control requirements to logic design. It is conducive to quickly and accurately identifying logical conflicts, redundancies, omissions or vulnerabilities in the control logic design, thereby significantly reducing the development rework cost caused by logic design defects, and fundamentally improving the reliability, safety and R&D efficiency of train control product development.

[0022] In one embodiment, the technical solution provided in this application can be executed by an electronic device, which may include one or both of a terminal device and a server, and the number of each type of device is not limited. Specifically, the terminal device may be such as a smartphone, tablet computer, laptop computer, desktop computer, vehicle terminal, smart home appliance, etc., and the server may be such as a physical server (or cluster) or a cloud server (or cluster) providing cloud services. This application embodiment does not impose specific limitations on this.

[0023] As an exemplary implementation, in the actual application scenarios of the above-described embodiments, such as... can be deployed in electronic devices. Figure 1 The illustrated demand processing system demonstrates how the technical solution provided in this application is achieved through the coordinated operation of its various modules. Figure 1 As shown, the requirements processing system can include a requirements analysis module, a data storage module, a logic design module, and a logic verification module, and these modules can be connected via wired or wireless data connections. It should be noted that... Figure 1 The modules shown are merely an exemplary logical partitioning result and do not represent a limitation on the number or type of hardware. Modules can be further split or merged, and the data connections between modules can be flexibly adjusted according to actual needs; there are no restrictions here. The following... Figure 1 The main functions of each module are explained below: The requirements analysis module can be used to acquire requirement description text from one or more sources and generate requirement description data accordingly. Optionally, the acquired requirement description text can be summarized, and the summarized document can be standardized to obtain structured requirement description data, ensuring that the train control requirements expressed are unambiguous. For example, the requirement description data can also be further passed to the data storage module and / or the logic design module for storage or application.

[0024] The data storage module can be used to store the requirement description data processed by the requirement analysis module. It can also store the original requirement description text or summarized documents for easy requirement verification and traceability.

[0025] The logic design module can be used to design control logic based on received requirement description data, thereby obtaining logic description data. Optionally, the logic description data can include a logic architecture diagram and a pattern state machine diagram, and the logic description data can be passed from the logic design module to the logic verification module.

[0026] The logic verification module can be used to simulate train control operations based on the logic architecture diagram and the mode state machine diagram, thereby verifying the feasibility of the train control logic described by the logic description data. Optionally, if the verification result of the logic verification module shows that the train control logic is not feasible, it can also pass feedback information to the logic design module to instruct the logic design module to optimize the train control logic.

[0027] Based on the technical principles shown in the foregoing technical solution, this application also provides a train control demand processing method, the schematic flowchart of which can be found in [reference needed]. Figure 2 Furthermore, this method can still be executed by the aforementioned electronic devices. For example... Figure 2 The method may include steps S201-S204, wherein: S201. Based on the train control requirements description data, obtain the control functions required by the train and the program instructions used to trigger the control functions, and create a logical architecture diagram to show the relationship between the control functions and the corresponding program instructions.

[0028] In a specific embodiment, the requirement description data refers to the specific requirements for the functions, performance, or behavior of the train control product (such as the train control system) recorded in the early stages of the development of the electric locomotive control product in the form of text, structured documents, or data. It is usually described in the form of natural language text, such as the text description of "the train should have automatic cruise function and emergency braking function".

[0029] In one feasible implementation, requirement description data can be obtained by aggregating requirement description texts from different sources and then standardizing the aggregated documents. Specifically, when an electronic device needs to obtain requirement description data, it can first acquire one or more requirement description texts, determine the creation object of each requirement description text, and then perform text analysis on each requirement description text to obtain one or more requirement items, each requirement item representing a control requirement. Then, based on preset requirement definition rules, each requirement item is standardized, and the standardized requirement item is fed back to the creation object of each requirement description text so that the creation object can confirm whether the control requirement expressed by the standardized requirement item is the control requirement intended to be expressed by the corresponding requirement description text. Optionally, if the creation object determines that the control requirement expressed by the requirement item is accurate, it can send a requirement confirmation instruction to the electronic device to indicate that the requirement item can be used to express the corresponding control requirement. If the electronic device receives requirement confirmation instructions from the creation objects of all requirement description texts for the standardized requirement items, it generates requirement description data based on these standardized requirement items, and then develops relevant train control products based on the train control requirements described by the requirement description data.

[0030] By aggregating and analyzing requirement descriptions from various sources, multiple requirement items are automatically generated. Each requirement item represents a control requirement, ensuring the comprehensiveness and detail of the acquired train control requirements. Furthermore, standardizing these requirement items using pre-defined requirement definition rules effectively unifies the requirement expression format, reducing ambiguity caused by differences in terminology or formatting, and improving consistency in understanding train control requirements throughout the product development lifecycle. Simultaneously, the standardized requirement items are fed back to the creation object for confirmation. Only after receiving confirmation from the creation object are the requirement items considered as train control requirements, significantly enhancing the reliability of requirement verification and avoiding requirement misunderstandings or omissions caused by standardization.

[0031] Semantic parsing and keyword recognition of the requirements description data can yield one or more control functions required by the train (or train control product). Each control function is used to fulfill one or more control requirements. It should be noted that in practical applications, the method of dividing control functions is not limited, and the requirements description document can be used not only to describe the control functions required by the train, but also to describe control performance (such as maximum cruising speed, longest emergency braking time) and the required control environment (such as driving environments with obstacles, driving environments without obstacles), etc. There are no restrictions on this.

[0032] As one alternative implementation, control functions can be divided according to coarse-grained criteria. For example, multiple control requirements for the same train component can be integrated into a single control function, resulting in functions such as braking, cruise, and horn. Alternatively, control functions can be divided according to fine-grained criteria. For instance, a single control requirement for a train component can be integrated into a single control function, resulting in functions such as "speed setting," "speed acquisition," and "traction / braking command calculation."

[0033] After determining the control functions, one or more program instructions (hereinafter referred to as trigger instructions) can be set for each control function to trigger it. Of course, a single program instruction can also trigger multiple control functions. For example, in practical applications, a train start instruction can be used to trigger direction control, speed control, driver's cab occupancy, etc. To make the mapping relationship between each control function and its trigger instructions clear, this application constructs a logical architecture blueprint (LAB). A logical architecture blueprint is a graphical representation tool mainly used to hierarchically and structurally display the calling, inclusion, or implementation relationships between control functions and the program instructions that trigger them. In the embodiments of this application, the logical architecture blueprint mainly describes the functional decomposition, functional interaction, and data flow (such as trigger instructions) of the train control product, and is not used to describe specific technical implementation or physical deployment details. By extracting control functions from the requirements description document based on train control and configuring program instructions to trigger each control function, the control functions and their corresponding trigger instructions are obtained. Based on this, a logical architecture diagram is constructed, which realizes the transformation of the textual requirements description into a machine-readable "function-instruction" mapping relationship. This effectively solves the ambiguity problem of natural language description and ensures the integrity of the functional design and the clarity of the instruction triggering logic.

[0034] For example, the logical architecture diagram constructed in the embodiments of this application can be as follows: Figure 3 As shown. In Figure 3 In the logical architecture diagram shown, the graph nodes (i.e. Figure 3 The rectangles in the graph (i.e., the connecting lines between graph nodes) are used to represent control functions. Figure 3 Directed connectors (in the diagram) are used to represent the functional decomposition between corresponding control functions. The data displayed on the connectors represents the data flow required for functional interaction between the corresponding control functions. For example, Figure 3The two rectangles, "Main Circuit Breaker Control" and "Main Circuit Breaker Disconnect," represent the main circuit breaker control function and the main circuit breaker disconnect function, respectively. There is a directed connection line between these two rectangles, pointing from "Main Circuit Breaker Control" to "Main Circuit Breaker Disconnect." This indicates that the main circuit breaker disconnect function is a sub-function of the main circuit breaker control function. The directed connection line displays the data "Main Circuit Breaker Disconnect Command," indicating that the main circuit breaker disconnect function needs to be executed within the main circuit breaker control function, and a "Main Circuit Breaker Disconnect Command" needs to be sent.

[0035] S202. Based on the requirement description of the control function in the requirement description data, obtain one or more object states that the control object to which the control function is applied needs to be configured under the control function, as well as the state transition conditions of each object state.

[0036] In a specific embodiment, the requirement description of a control function refers to a detailed description of the requirements for that control function in the requirement description data. For example, "the automatic cruise function needs to automatically adjust the traction force according to the deviation between the actual speed and the set value" is a requirement description for the automatic cruise function. In practical applications, the requirement descriptions of each control function can be obtained by using a natural language processing model to perform text understanding on the requirement description data. Alternatively, the requirement descriptions of each control function can also be obtained by manually analyzing the requirement description data; this is not a limitation.

[0037] In this system, a control function acts on at least one object, which can be exemplarily referred to as a control object. That is, a control object refers to a physical or logical entity directly acted upon or managed by the control function, such as a "traction motor," a "brake valve," or a "vehicle power system," etc. It can be understood that a control object may undergo changes in its state under the influence of the control function, and the object state refers to the possible operating mode or state of the control object under the control function. For example, a traction motor under automatic cruise control may have object states such as "start," "accelerate," "constant speed," and "stop." In practical applications, all possible states that the control object needs to be configured with under the control function can be enumerated based on the requirements description regarding the behavior of the control object.

[0038] Furthermore, the same controlled object can switch between different object states, and the conditions that trigger the switching can be called state transition conditions. That is, state transition conditions refer to specific events, conditions, or logical judgments that trigger the controlled object to switch from one state to another, such as "when the actual speed reaches the set value, the traction motor switches from the acceleration state to the constant speed state".

[0039] As one exemplary implementation, state transition conditions can be specified by presenting the requirement descriptions of each control function to relevant analysts after obtaining them, allowing the analysts to gain a deeper understanding of the requirements before specifying them. Another exemplary implementation involves constructing training data and using it to train a large language model, enabling the model to learn the ability to generate state transition conditions. The trained large language model can then automatically generate object states and state transition conditions based on the requirement descriptions of each control function. Analysts only need to review and optimize the generated results, greatly reducing human intervention, saving human resources, and improving R&D efficiency.

[0040] S203. Based on the states of one or more objects corresponding to the controlled object and the state transition conditions of each object state, create a pattern state machine diagram of the control function. The pattern state machine diagram is used to show the state switching logic of the controlled object in the control function.

[0041] In a specific embodiment, a Meta State Machine (MSM) diagram is a graph structure used to illustrate the sequence of states a controlled object experiences during its lifecycle, the conditions for transitions between states, and the state-related actions. Furthermore, the generation of the MSM diagram requires reference to the logical architecture diagram created in step S201. Specifically, the state-related actions in the MSM diagram are determined based on the functional interactions presented in the logical architecture diagram.

[0042] In one implementation, when creating the pattern state machine diagram, a state node can be created for each object state of the controlled object, and the control behavior to be executed in that object state can be defined. Then, based on the state transition conditions between object states, directed paths are established between the corresponding state nodes, and trigger conditions (i.e., conditions that trigger state transitions) are labeled for each directed path. By analyzing the possible states of the controlled object under the control function and the transition conditions between different states, and constructing the pattern state machine diagram accordingly, complex state transition logic can be presented graphically, greatly improving the intuitiveness and understandability of the design scheme. Moreover, it provides an accurate basic model for subsequent model simulation and testing, enabling the discovery and correction of design defects in the early stages of development.

[0043] As an example, Figure 3 The mode state machine diagram for the "driver's cab occupancy" control function can be shown as follows: Figure 4 As shown. In Figure 4 There are five state nodes: unoccupied, occupied by A, occupied by B, operation conflict detection, and operation conflict. Directed connections can exist between different state nodes to represent the state transition relationships between the corresponding object states, for example... Figure 4This indicates that under the driver's cab occupancy function, the driver's cab can switch from an unoccupied state to an A-end occupancy state, and the state transition condition is that the A-end occupancy signal is valid; the driver's cab can also switch from the A-end occupancy state to an operation conflict state, and the state transition condition is that a B-end occupancy signal is detected.

[0044] Optionally, one or more control behaviors and their execution conditions can be configured for a state node to indicate the control behaviors that need to be executed when the controlled object is in that state. Figure 4 For example, Figure 4 The system configures the "A-end Occupied" state node with "Entry: A-end Control" and "Do: Valid Control Component Check". "Entry" indicates the execution condition is "execute immediately upon entering this object's state", while "Do" indicates the execution condition is "continue to execute during the state's duration". In other words, when the driver's cab is in the "A-end Occupied" state, the "A-end Control" action must be executed immediately, and the "Valid Control Component Check" must be continuously executed during the "A-end Occupied" period.

[0045] It should be further noted that, in the practical application of this application's embodiments, data interaction may exist between different mode state machine diagrams. The specific interaction principles or methods can be determined by referring to the functional interaction between corresponding control functions. For example, when there is functional interaction between control function 1 and control function 2, data interaction may exist between the mode state machine diagram of control function 1 and the mode state machine diagram of control function 2. Furthermore, it is worth mentioning that a control action can be implemented by calling one or more control functions. In this case, these one or more control functions can be described using a Logical Function Flow Diagram (LFFD), thereby describing the corresponding control action. For example, Figure 5 This is a schematic diagram of a function flow diagram provided in an embodiment of this application. The function flow diagram describes the controlled object whose control function is activated by the driver's cab, when it is in... Figure 4 When the "operational conflict" state is shown, the control behavior to be executed is called "train operator conflict".

[0046] S204. Simulate train control operations based on the logic architecture diagram and the mode state machine diagram to verify whether the train control logic jointly expressed by the logic architecture diagram and the mode state machine diagram meets the train control requirements.

[0047] In a specific embodiment, the logic architecture diagram and the pattern state machine diagram can be integrated into the simulation environment. By inputting various trigger commands (such as train start commands) defined in the logic architecture diagram, the train control operation can be simulated. The state transitions and functional interactions generated in the process of responding to the train start command can be observed in real time. Finally, by comparing the simulation results with the required indicators (such as the correctness of state transitions and response time), it can be verified whether the jointly expressed train control logic meets the corresponding train control requirements.

[0048] In one implementation, relevant personnel can first identify the control function or control object that needs to be verified, and then trigger the simulation of train control operations by sending a simulation control request. The simulation control request is used to request a simulation of a specific train control scenario, and typically includes target program instructions that instruct the triggering of a target control operation on the target control object. The target control operation refers to the control operation to be triggered (such as performing emergency braking, controlling a change in direction, etc.).

[0049] As an example, after receiving the simulated control request, the electronic device can first parse the request to obtain the target program instruction. Then, based on the relationship between the control function and the program instruction expressed in the logic architecture diagram, it can locate the target control function that needs to be called to perform the target control operation on the target controlled object. This completes the determination of the target control function from the logic architecture diagram. Next, a mode state machine diagram of the target control function can be displayed on the electronic device's interactive interface. The displayed mode state machine diagram shows the state nodes hit by the target controlled object during the operation of the target control function. Based on the hit state nodes, it can verify whether the train control logic jointly expressed by the logic architecture diagram and the mode state machine diagram meets the train control requirements described in the requirement description data.

[0050] As a feasible implementation, when an electronic device displays the state nodes encountered by the target controlled object during the operation of the target control function, it can specifically display the state nodes corresponding to the object states already experienced by the target controlled object in the displayed state machine diagram using a first display method, and then display the state nodes corresponding to the current object state of the target controlled object using a second display method. The first display method is usually different from the second display method. For example, the first display method can be a highlighted display, while the second display method can be an animated display; another example is that the first display method can be a display with thickened lines, while the second display method can be a display with filled color (e.g.,...). Figure 6 (As shown).

[0051] By graphically displaying the current state nodes of the target controlled object in real time during the operation of the target control function (such as highlighting, color changes, or animation), the execution path of the control logic is clearly presented. This allows developers to clearly and intuitively trace and review the logic execution process, greatly improving the efficiency and accuracy of verification. Moreover, if the control logic does not execute as expected or violates requirements, developers can quickly locate the precise point of the problem (e.g., no state transition, incorrect transition conditions, or timing anomalies) through the sequence of hit state nodes, significantly shortening the debugging and troubleshooting cycle.

[0052] It is worth mentioning that, as mentioned above, a state node in the mode state machine diagram can be configured with one or more control functions. The configured control function is the control function that the controlled object needs to invoke when it hits that state node. In this case, the electronic device can invoke the control function configured in the state node currently hit by the target controlled object, and display the mode state machine diagram of the invoked control function. This allows the electronic device to show the state nodes hit by the target controlled object during the operation of the invoked control function. For example, during the simulation verification of control function 1, the electronic device will display the mode state machine diagram corresponding to control function 1. If control function 2 is triggered during the verification process due to the switching of the object's state, the electronic device can also display the mode state machine diagram of control function 2 and continue to show the state change path of the controlled object affected by control function 2. This ensures that even in complex train control operation simulation scenarios (such as simulation scenarios with multiple control function interactions), the operation execution can be fully presented.

[0053] As a feasible implementation, when verifying whether the train control logic meets the train control requirements, the electronic device can first determine the target state node from the displayed mode state machine diagram. The target state node is used to characterize the object state that the target control object is expected to reach through the target control operation. Then, if the hit state node includes the target state node, it is considered that the aforementioned train control logic meets the corresponding train control requirements.

[0054] As another feasible implementation, the electronic equipment can also compare and analyze the state transition paths and condition judgment results generated during the operation of the target control function with the train control requirements specified in the requirement description data to complete the verification. For example, the requirement description data may specify that "the motor must enter the excitation state within 2 seconds after the pre-charging is completed." In this case, the electronic equipment can record the time interval experienced by the motor from hitting the "pre-charging" state to hitting the "motor excitation" state during the simulation of the train control operation. If the interval is less than or equal to 2 seconds, the verification is considered to be successful (that is, the train control logic related to motor start-up meets the train control requirements related to motor start-up). Otherwise, it indicates that there is a design defect in the logic architecture diagram or mode state machine diagram, and the corresponding train control requirements are not met.

[0055] In practical applications, updating train control requirements can be achieved by updating the pattern state machine diagram. In other words, when electronic equipment detects an update operation on the pattern state machine diagram, it obtains the update information and then updates the requirement description data accordingly, thereby quickly optimizing unreasonable requirements. Specifically, the update operation can be used to update one or both of the object states and state transition conditions in the pattern state machine diagram.

[0056] It is understandable that by simulating train control operations using a joint logic architecture diagram and a pattern state machine diagram, cross-verification of functional static logic and dynamic state behavior can be achieved. Based on this, it is possible to detect whether functional instructions and state transitions are coordinated and matched, accurately identify design deviations, form a quantitative assessment of the compliance of train control requirements, and significantly reduce rework costs in the later development stages.

[0057] Figure 3The train control requirement processing method illustrated here visually demonstrates the relationship between control functions and corresponding program instructions by creating a logical architecture diagram. This helps developers accurately understand the dependencies for function implementation and avoids errors or omissions in instruction configuration. Simultaneously, based on the requirement description data, it extracts the object states and state transition conditions required for the control objects affected by each control function and constructs a pattern state machine diagram. This clearly demonstrates the state switching logic within the control functions, thereby enhancing the consistency and completeness of the train control logic. Furthermore, by combining the logical architecture diagram and the pattern state machine diagram for simulation operations, developers can verify whether the train control logic meets the train control requirements in the early stages. Overall, this method strengthens the traceability from requirement to implementation, reduces development risks, and ensures the standardization and stability of train control products. "Traceability from requirement to implementation" refers to the ability to clearly trace how an original control requirement is decomposed, designed, and ultimately implemented through specific control logic during the development process. This allows for quick and accurate identification of which requirement was misunderstood or which logic design stage contained an oversight when the train control product malfunctions.

[0058] Based on the aforementioned method embodiments, this application also proposes a train control demand processing device, which can be mounted on electronic equipment and used to implement the above-mentioned... Figure 3 The described method embodiments include some or all of the functionalities. Specifically, a schematic structure of the device can be found in [reference needed]. Figure 7 .like Figure 7 The device may include: The requirements analysis unit 701 is used to obtain the control functions required by the train and the program instructions for triggering the control functions based on the requirements description data of train control, and to create a logical architecture diagram to show the relationship between the control functions and the corresponding program instructions. The requirement analysis unit 701 is also used to obtain, based on the requirement description of the control function in the requirement description data, one or more object states that the control object to which the control function is applied needs to be configured under the control function, and the state transition conditions of each object state. The diagram structure creation unit 702 is used to create a mode state machine diagram of the control function based on one or more object states corresponding to the control object and the state transition conditions of each object state. The mode state machine diagram is used to show the state switching logic of the control object in the control function. The simulation control unit 703 is used to simulate train control operations based on the logic architecture diagram and the mode state machine diagram to verify whether the train control logic jointly expressed by the logic architecture diagram and the mode state machine diagram meets the train control requirements described by the requirement description data.

[0059] In one implementation, before obtaining the control functions required by the train and the program instructions for triggering the control functions based on the train control demand description data, the demand analysis unit 701 can also be used for: Obtain at least one requirement description text and the creation objects of each requirement description text; Text analysis is performed on each requirement description text to obtain one or more requirement items, each requirement item being used to represent a control requirement; Each requirement item is standardized based on the preset requirement definition rules, and the standardized requirement items are fed back to the creation object of each requirement description text; If a request confirmation instruction for the standardized requirement item is received from the creation object of each requirement description text, then the standardized requirement item is used as the requirement description data.

[0060] In another embodiment, the mode state machine diagram includes at least one state node, each state node representing an object state; the simulation control unit 703, when simulating train control operations based on the logic architecture diagram and the mode state machine diagram to verify whether the train control logic jointly expressed by the logic architecture diagram and the mode state machine diagram meets the train control requirements described by the requirement description data, can specifically be used for: In response to a simulated control request to perform a target control operation on a target control object, a target control function is determined from the logical architecture diagram. The target control function refers to the control function that needs to be invoked when performing the target control operation on the target control object. Display the mode state machine diagram of the target control function; The displayed state machine diagram shows the state nodes that the target control object hits during the operation of the target control function, so as to verify whether the train control logic meets the train control requirements based on the hit state nodes.

[0061] In another embodiment, when the simulation control unit 703 verifies whether the train control logic meets the train control requirements based on the hit state node, it can specifically be used to: The target state node is determined from the displayed pattern state machine diagram. The target state node is used to characterize the object state that is expected to be reached by the target control object through the target control operation. If the hit state node includes the target state node, then the train control logic is determined to meet the train control requirements.

[0062] In another embodiment, when the analog control unit 703 displays the state nodes hit by the target controlled object during the operation of the target control function in the displayed mode state machine diagram, it can be specifically used for: In the displayed mode state machine diagram, the first display method is used to display the state nodes corresponding to the object states that the target control object has already experienced; The second display method is used to display the state node corresponding to the current state of the target controlled object.

[0063] In yet another embodiment, the analog control unit 703 can also be used for: If the current state node of the target control object is configured with a control function, then the configured control function is invoked; Display the mode state machine diagram of the invoked control function, and show the state nodes hit by the target control object during the operation of the invoked control function in the displayed mode state machine diagram.

[0064] In another embodiment, the train control demand processing device may further include a data update unit 704, which is used for: If an update operation to the mode state machine diagram is detected, update information is obtained; The requirement description data is updated based on the updated information, wherein the update operation is used to update one or both of the object states and state transition conditions in the pattern state machine diagram.

[0065] In one embodiment, Figure 7 Each unit in the illustrated device can be individually or entirely combined into one or more other units, or some of the units can be further divided into multiple functionally smaller units. This achieves the same operation without affecting the technical effects of the embodiments of this application. In other words, the above units are based on logical function division. In practical applications, the function of one unit can be implemented by multiple units, or the function of multiple units can be implemented by one unit. In other embodiments of this application, Figure 7 The device shown may also include other units, and in practical applications, these functions may also be implemented with the assistance of other units, and may be implemented by multiple units working together.

[0066] According to another embodiment of this application, the following can be executed by running on a computing device including processing elements and storage elements such as a central processing unit (CPU), random access memory (RAM), and read-only memory (ROM). Figure 3The computer program (including program code) involved in each step of the corresponding method shown, to construct such... Figure 7 The apparatus shown. A computer program may be recorded on, for example, a computer-readable storage medium, loaded onto the apparatus via the computer-readable storage medium, and executed therein.

[0067] Based on the descriptions of the above method and device embodiments, this application also provides an electronic device. Specifically, please refer to... Figure 8 , Figure 8 This is a schematic diagram of the structure of an electronic device provided in an embodiment of this application, such as... Figure 8 As shown, the electronic device may include a processor 801, a memory 802, and a communication interface 803, and the processor 801, the memory 802, and the communication interface 803 may be connected by a bus or other means.

[0068] The processor 801 (or Central Processing Unit, CPU) is the computing and control core of electronic devices. It can parse various instructions and process various data within electronic devices.

[0069] Memory 802 is a storage device in an electronic device used to store programs and data. It is understood that memory 802 here can include both the built-in memory of the electronic device and extended memory supported by the electronic device.

[0070] The communication interface 803 may optionally include a standard wired interface or a wireless interface (such as Wi-Fi, mobile communication interface, etc.), and can be used to send and receive data under the control of the processor 801; the communication interface 803 can also be used for the transmission and interaction of data within the electronic device.

[0071] In a specific embodiment, the processor 801 may load and execute one or more computer programs stored in the memory 802 to implement the steps in the method described in the above embodiments.

[0072] This application embodiment also provides a computer-readable storage medium (Memory), which is a memory device in an electronic device for storing programs and data. It is understood that the computer-readable storage medium here can include both built-in storage media in the electronic device and extended storage media supported by the electronic device. The computer-readable storage medium provides storage space that stores the processing system of the electronic device. Furthermore, the storage space also stores one or more instructions suitable for loading and execution by the processor 801, which may be one or more computer programs (including program code). It should be noted that the computer-readable storage medium here can be high-speed RAM memory or non-volatile memory, such as at least one disk storage device; optionally, it can also be at least one readable storage medium located remotely from the aforementioned processor.

[0073] This application also provides a computer program product, which includes computer instructions, and the processor of an electronic device can execute the above-described method embodiments by loading the computer instructions.

[0074] Based on the same inventive concept, the principles and beneficial effects of the devices, electronic devices, computer-readable storage media and computer program products provided in the embodiments of this application are similar to those described in the foregoing corresponding method embodiments. Therefore, the corresponding method implementation principles and beneficial effects can be referred to, which will not be repeated here for the sake of brevity.

[0075] It should be further noted that the steps in the methods of this application embodiment can be adjusted, combined, or deleted according to actual needs, and the modules in the device of this application embodiment can be combined, divided, or deleted according to actual needs. Furthermore, those skilled in the art will understand that all or part of the steps in the various methods of the above embodiments can be implemented by a program instructing related hardware.

[0076] It should also be emphasized that when the above embodiments of this application are applied to specific products or technologies, the acquisition of data involved in each specific implementation of this application requires the permission or consent of the relevant parties, and the collection, use and processing of related data must comply with the relevant laws, regulations and standards of the relevant countries and regions.

[0077] The above-disclosed embodiments are merely preferred embodiments of this application and should not be construed as limiting the scope of this application. Those skilled in the art will understand that all or part of the processes for implementing the above embodiments and equivalent variations made in accordance with the claims of this application are still within the scope of this application.

Claims

1. A train control demand processing method characterized by, The method comprises: obtaining control functions required by a train and program instructions for triggering the control functions based on requirement description data of train control, and creating a logical architecture diagram for showing the relationship between the control functions and the corresponding program instructions; obtaining one or more object states required by a control object of the control functions under the control functions and state transition conditions of each object state based on the requirement description of the control functions in the requirement description data; creating a mode state machine diagram of the control functions based on the one or more object states and the state transition conditions of each object state corresponding to the control object, the mode state machine diagram being used to show the state switching logic of the control object in the control functions; simulating train control operations based on the logical architecture diagram and the mode state machine diagram to verify whether the train control logic expressed by the logical architecture diagram and the mode state machine diagram jointly meets the train control requirements described in the requirement description data.

2. The method of claim 1, wherein, Before obtaining the control functions required by the train and the program instructions for triggering the control functions based on the requirement description data of train control, the method further comprises: obtaining at least one requirement description text and a creating object of each requirement description text; performing text analysis on each requirement description text to obtain one or more requirement entries, each requirement entry being used to represent a control requirement; normalizing each requirement entry based on a preset requirement definition rule, and feeding back the normalized requirement entry to the creating object of each requirement description text; if a requirement confirmation instruction of the normalized requirement entry is received from the creating object of each requirement description text, taking the normalized requirement entry as the requirement description data.

3. The method of claim 1, wherein, The mode state machine diagram comprises at least one state node, each state node being used to represent an object state; and the simulation of train control operations based on the logical architecture diagram and the mode state machine diagram to verify whether the train control logic expressed by the logical architecture diagram and the mode state machine diagram jointly meets the train control requirements described in the requirement description data comprises: determining a target control function from the logical architecture diagram in response to a simulation control request of performing a target control operation on a target control object, the target control function being a control function required to be called when performing the target control operation on the target control object; displaying a mode state machine diagram of the target control function; in the displayed mode state machine diagram, showing a state node hit by the target control object in the running process of the target control function, so as to verify whether the train control logic meets the train control requirements based on the hit state node.

4. The method of claim 3, wherein, The verification of whether the train control logic meets the train control requirements based on the hit state node comprises: determining a target state node from the displayed mode state machine diagram, the target state node being used to represent an object state expected to be reached by the target control object through the target control operation. If the hit state node contains the target state node, it is determined that the train control logic satisfies the train control requirement.

5. The method according to claim 3 or 4, characterized in that, The hit state node of the target control object in the running process of the target control function is displayed in the displayed mode state machine graph, including: In the displayed mode state machine graph, the state node corresponding to the object state experienced by the target control object is displayed in a first display mode; The state node corresponding to the object state in which the target control object is currently located is displayed in a second display mode.

6. The method according to claim 3 or 4, characterized in that, The method further comprises: If the current hit state node of the target control object is configured with a control function, the configured control function is called; The mode state machine graph of the called control function is displayed, and the hit state node of the target control object in the running process of the called control function is displayed in the displayed mode state machine graph.

7. The method of claim 1, wherein, The method further comprises: If an update operation on the mode state machine graph is detected, update information is obtained; The requirement description data is updated based on the update information, wherein the update operation is used to update one or both of the object state and the state transition condition in the mode state machine graph.

8. A train control demand processing device characterized by comprising: Comprise: A requirement analysis unit is configured to obtain control functions required by a train and program instructions for triggering the control functions based on requirement description data of train control, and create a logical architecture graph for displaying the relationship between the control functions and the corresponding program instructions; The requirement analysis unit is further configured to obtain one or more object states required to be configured for a control object acted on by the control function and state transition conditions of each object state under the control function based on the requirement description of the control function in the requirement description data; A graph structure creation unit is configured to create a mode state machine graph of the control function based on one or more object states corresponding to the control object and state transition conditions of each object state, wherein the mode state machine graph is used to display the state switching logic of the control object in the control function; An analog control unit is configured to simulate train control operations based on the logical architecture graph and the mode state machine graph to verify whether the train control logic expressed jointly by the logical architecture graph and the mode state machine graph satisfies the train control requirement described in the requirement description data.

9. An electronic device, comprising: Comprise: A memory in which a computer program is stored; A processor configured to load the computer program to implement the method of any one of claims 1-7.

10. A computer-readable storage medium, characterized in that, The computer readable storage medium stores a computer program, and the computer program is adapted to be loaded by the processor and execute the method of any one of claims 1-7. The computer readable storage medium stores a computer program, and the computer program is adapted to be loaded by the processor and execute the method of any one of claims 1-7.

Images