A smart home remote control system simulation analysis method and system

Abstract

The present disclosure provides a smart home remote control system simulation analysis method and system, comprising: function module division of the smart home remote control system; constructing an object-oriented PIRES+ network model of the smart home remote control system based on the divided function modules; wherein the construction of the object-oriented PIRES+ network model is specifically: based on the internal data flow information of the instruction data transmission module and the function echo feedback module, constructing an abstract object-oriented PIRES+ network model of the smart home remote control system including the instruction data transmission module object subnetwork, the function echo feedback module object subnetwork and the gateway; refining the abstract object-oriented PIRES+ network model through the pre-constructed object-oriented PIRES+ object subnetwork of the mobile terminal control module, the PC terminal control module and the system function control module to obtain a refined PIRES+ network model; and based on the refined model, simulating and analyzing the smart home remote control system.

Description

Technical Field

[0001] This disclosure belongs to the field of smart home simulation analysis technology, and in particular relates to a simulation analysis method and system for a smart home remote control system. Background Technology

[0002] The statements in this section are merely background information relating to this disclosure and do not necessarily constitute prior art.

[0003] Research on the design and manufacturing of embedded systems has become a cutting-edge international research focus. However, due to the characteristics of real-time operation, concurrency, conflicts, uncertainty, and coupling, embedded systems suffer from low design efficiency and poor reliability, often resulting in wasted hardware and software resources and the inability to bring products to market in a timely manner. After obtaining the system specifications, but before deciding to decompose the system into hardware and software components, determining which formal modeling theory method to use for simulation modeling, and how to effectively analyze and verify the model to intuitively evaluate the rationality of the overall system design, identify potential design flaws as early as possible, and provide theoretical support for further optimization design and manufacturing, is a hot and challenging issue in the field of embedded system design. However, existing modeling theories and methods cannot effectively solve this problem; therefore, a new and standardized formal modeling theory method is urgently needed.

[0004] In embedded system modeling, traditional methods often employ informal approaches, which can generally describe the system's functional attributes but are not easily validated mathematically. Formal modeling methods, on the other hand, describe system properties using symbols and mathematical language, allowing for a systematic characterization and verification of the system. Commonly used formal modeling methods both domestically and internationally include: extended finite state machines, data flow graphs, communication process methods, Petri nets, entity-relationship diagrams, and object-oriented UML. These methods describe the characteristics of embedded systems from different perspectives and have not formed a unified standard. Comparatively, Petri nets, due to their intuitive graphical representation and rigorous mathematical expression, have wide applications in the behavioral analysis of concurrent systems. However, classic Petri nets lack hierarchical structure, cannot fully describe data flow, and lack a temporal concept, thus failing to adequately describe embedded systems.

[0005] To improve the ability of Petri nets to model embedded systems, scholars at home and abroad have improved the classic Petri nets and proposed a variety of extended forms, such as colored Petri nets (CPN), temporal Petri nets, fuzzy Petri nets, logical delay Petri nets, and PRES+ nets. These Petri net extensions are based on different application requirements and improve the ability to model and analyze embedded systems. Among them, PRES+ nets can capture real-time information and describe the hierarchical structure of the system.

[0006] In the field of embedded system modeling and analysis, some achievements have been made in the theoretical and applied research of PRES+ nets. Cortés et al. introduced the concept of PRES+ nets and modeled and analyzed two embedded system PRES+ net models. Karlsson et al. accurately modeled and verified a mobile phone system using PRES+ nets, and represented an embedded system requiring verification as a PRES+ net model, providing a model verification method for analyzing the system's coverability and decidability. Using PRES+ nets and model transformation methods, Bandyopadhyay et al. verified a very large-scale integrated circuit (VLSI) system model. To improve the efficiency of PRES+ net model verification, Xia et al. provided a set of simplification rules, simplified the PRES+ net model of an interference transmitter control system, proposed the concept that two PRES+ nets have the same reachability, functionality, and real-time performance, and also modeled and analyzed a subsystem (resource) sharing system.

[0007] The inventors discovered that although PRES+ nets significantly outperform classic Petri nets in terms of accuracy in embedded system modeling, they still suffer from limitations in describing event priorities and fully expressing complex program control and data flows. Consequently, while PRES+ nets, as a system model, can provide a unified consideration of the system and its behavior, they do not readily reflect the division of functional modules. Furthermore, as the complexity and scale of embedded systems increase, the number of system states grows exponentially, leading to the "state space explosion" problem; consequently, this results in low simulation accuracy and inefficiency in embedded systems. Summary of the Invention

[0008] To address the aforementioned issues, this disclosure provides a simulation analysis method and system for a smart home remote control system. The scheme is based on a self-designed object-oriented PIRES+ network for model construction, enabling rapid and accurate modeling of the smart home remote control system. This modeling approach divides the entire system into several modules, breaking down complex systems into simpler subsystems, thus improving modeling efficiency and facilitating simulation analysis. Furthermore, the proposed gateway refinement strategy for the object-oriented PIRES+ network effectively reduces the modeling difficulty of large-scale complex embedded systems. Moreover, because the object-oriented PIRES+ network gateway refinement operation maintains good preservation of system activity, boundedness, reachability, functionality, and real-time performance, it can significantly alleviate the "state space explosion" problem encountered during the modeling of complex embedded systems.

[0009] According to a first aspect of the present disclosure, a simulation analysis method for a smart home remote control system is provided, comprising:

[0010] The smart home remote control system is divided into functional modules; wherein, the functional modules include a mobile terminal control module, a PC terminal control module, an instruction data transmission module, a function feedback display module, and a system function control module;

[0011] An object-oriented PIRES+ network model for a smart home remote control system is constructed based on the functional modules. Specifically, the construction of the object-oriented PIRES+ network model involves: constructing an abstract object-oriented PIRES+ network model for the smart home remote control system, including an instruction data transmission module object subnet, a function feedback module object subnet, and a gateway, based on the internal data flow information of the instruction data transmission module and the function feedback module; and further refining the abstract object-oriented PIRES+ network model by using pre-constructed object-oriented PIRES+ object subnets of the mobile terminal control module, PC terminal control module, and system function control module to obtain a refined PIRES+ network model.

[0012] Based on the obtained object-oriented PIRES+ net model, simulation analysis of the smart home remote control system is performed.

[0013] Furthermore, the gateway refinement specifically involves refining the gateway in the abstract object-oriented PIRES+ network model into an object-oriented PIRES+ object subnet and a set of gateways.

[0014] Furthermore, the abstract object-oriented PIRES+ network model of the smart home remote control system includes a first gateway and a second gateway. The first gateway is further refined into an object-oriented PIRES+ object subnet of the system function control module and its corresponding gateway set. The gateway set includes the gateway between the system function control module and the instruction data transmission module, as well as the gateway between the system function control module and the function feedback module.

[0015] Furthermore, the second gateway is further refined into an object-oriented PIRES+ object subnet of the mobile terminal control module and its corresponding gateway set, or an object-oriented PIRES+ object subnet of the PC terminal control module and its corresponding gateway set. Since both the mobile terminal control module and the PC terminal control module are remote control modules, the object-oriented PIRES+ object subnets of the mobile terminal control module and the PC terminal control module are combined through the same gateway set. The gateway set includes the gateway between the remote control module and the instruction data transmission module, and the gateway between the remote control module and the function feedback module.

[0016] Furthermore, in order to ensure the liveness, boundedness, reachability, functionality, and real-time performance of the object-oriented PIRES+ network model of the smart home remote control system, the following constraints must be met: the constructed abstract object-oriented PIRES+ network model of the smart home remote control system, as well as the closed network of the object-oriented PIRES+ object subnets of the constructed mobile terminal control module, PC terminal control module, and system function control module, must satisfy the liveness, boundedness, reachability, functionality, and real-time performance.

[0017] Furthermore, the simulation analysis of the smart home remote control system specifically involves: based on the constructed object-oriented PIRES+ network model, using pre-specified simulation instances as model input, to achieve the simulation analysis of the smart home remote control system.

[0018] According to a second aspect of the present disclosure, a simulation analysis system for a smart home remote control system is provided, comprising:

[0019] A functional division unit is used to divide the smart home remote control system into functional modules; wherein, the functional modules include a mobile terminal control module, a PC terminal control module, an instruction data transmission module, a function feedback display module, and a system function control module;

[0020] The simulation model construction unit is used to construct an object-oriented PIRES+ network model of a smart home remote control system based on the divided functional modules. Specifically, the construction of the object-oriented PIRES+ network model involves: constructing an abstract object-oriented PIRES+ network model of the smart home remote control system, including an instruction data transmission module object subnet, a function feedback module object subnet, and a gateway, based on the internal data flow information of the instruction data transmission module and the function feedback module; and further refining the abstract object-oriented PIRES+ network model by using pre-constructed object-oriented PIRES+ object subnets of the mobile terminal control module, the PC terminal control module, and the system function control module, to obtain a refined PIRES+ network model.

[0021] The simulation analysis unit is used to perform simulation analysis on the smart home remote control system based on the obtained object-oriented PIRES+ network model.

[0022] According to a third aspect of the present invention, a computer-readable storage medium is provided having a program stored thereon, which, when executed by a processor, implements a simulation analysis method for a smart home remote control system as described above.

[0023] According to a fourth aspect of the present invention, an electronic device is provided, including a memory, a processor, and a program stored in the memory and executable on the processor, wherein the processor executes the program to implement a simulation analysis method for a smart home remote control system as described above.

[0024] Compared with the prior art, the beneficial effects of this disclosure are:

[0025] (1) The present disclosure proposes a simulation analysis method for a smart home remote control system. The method is based on the self-designed object-oriented PIRES+ network for model construction, which realizes rapid and accurate modeling of the smart home remote control system. This modeling method can divide the entire system into several modules, that is, divide the complex system into several simple subsystems, which improves the modeling efficiency and facilitates simulation analysis.

[0026] (2) The proposed solution provides a gateway refinement method for object-oriented PIRES+ networks. The gateway refinement method can effectively address the formal modeling and analysis of large-scale complex embedded systems. That is, by pre-constructing an abstract object-oriented PIRES+ network model, the final object-oriented PIRES+ network is obtained by refining the gateway of the abstract model step by step. On the one hand, it can effectively reduce the modeling difficulty of large-scale complex embedded systems. On the other hand, since the gateway refinement operation of object-oriented PIRES+ networks has good preservation of system activity, boundedness, reachability, functionality and real-time performance, it can greatly alleviate the "state space explosion" problem encountered in the modeling process of complex embedded systems.

[0027] Advantages of this disclosure in additional aspects will be set forth in part in the description which follows, and in part will be obvious from the description, or may be learned by practice of this disclosure. Attached Figure Description

[0028] The accompanying drawings, which form part of this disclosure, are used to provide a further understanding of this disclosure. The illustrative embodiments of this disclosure and their descriptions are used to explain this disclosure and do not constitute an undue limitation of this disclosure.

[0029] Figure 1 This is a schematic diagram of the OOPIRES+ object subnet as described in the embodiments of this disclosure;

[0030] Figure 2 This is a detailed schematic diagram of the gateway of the OOPIRES+ network described in the embodiments of this disclosure;

[0031] Figure 3 This is a schematic diagram of the OOPIRES+ network abstract model of the smart home remote control system described in the embodiments of this disclosure;

[0032] Figure 4 This is a schematic diagram of the system functional modules OOPIRES+ object subnet and gateway described in the embodiments of this disclosure;

[0033] Figure 5 This is a schematic diagram of the OOPIRES+ object subnet model and its gateway corresponding to the mobile terminal control module and PC terminal control module described in this embodiment of the disclosure;

[0034] Figure 6 This is a schematic diagram of the OOPIRES+ smart home remote control system network, which is a refined gateway as described in this embodiment of the disclosure.

[0035] Figure 7 This is a schematic diagram of the smart home remote control system module structure described in the embodiments of this disclosure. Detailed Implementation

[0036] The present disclosure will be further described below with reference to the accompanying drawings and embodiments.

[0037] It should be noted that the following detailed descriptions are exemplary and intended to provide further illustration of this disclosure. Unless otherwise specified, all technical and scientific terms used herein have the same meaning as commonly understood by one of ordinary skill in the art to which this disclosure pertains.

[0038] It should be noted that the terminology used herein is for the purpose of describing particular embodiments only and is not intended to limit the exemplary embodiments according to this disclosure. As used herein, the singular form is intended to include the plural form as well, unless the context clearly indicates otherwise. Furthermore, it should be understood that when the terms “comprising” and / or “including” are used in this specification, they indicate the presence of features, steps, operations, devices, components, and / or combinations thereof.

[0039] Where there is no conflict, the embodiments and features described herein can be combined with each other.

[0040] Terminology Explanation:

[0041] PIRES+ net: Petri net with Inhibitor arcs based Representation for Embedded Systems;

[0042] Example 1:

[0043] The purpose of this embodiment is to provide a simulation analysis method for a smart home remote control system.

[0044] A simulation analysis method for a smart home remote control system includes:

[0045] The smart home remote control system is divided into functional modules; wherein, the functional modules include a mobile terminal control module, a PC terminal control module, an instruction data transmission module, a function feedback display module, and a system function control module;

[0046] An object-oriented PIRES+ network model for a smart home remote control system is constructed based on the functional modules. Specifically, the construction of the object-oriented PIRES+ network model involves: constructing an abstract object-oriented PIRES+ network model for the smart home remote control system, including an instruction data transmission module object subnet, a function feedback module object subnet, and a gateway, based on the internal data flow information of the instruction data transmission module and the function feedback module; and further refining the abstract object-oriented PIRES+ network model by using pre-constructed object-oriented PIRES+ object subnets of the mobile terminal control module, PC terminal control module, and system function control module to obtain a refined PIRES+ network model.

[0047] Based on the obtained object-oriented PIRES+ net model, simulation analysis of the smart home remote control system is performed.

[0048] In specific implementation, the gateway refinement is as follows: the gateway in the abstract object-oriented PIRES+ network model is refined into an object-oriented PIRES+ object subnet and a set of gateways.

[0049] The abstract object-oriented PIRES+ network model of the smart home remote control system includes a first gateway and a second gateway. The first gateway is further refined into an object-oriented PIRES+ object subnet of the system function control module and its corresponding gateway set. The gateway set includes the gateway between the system function control module and the instruction data transmission module, and the gateway between the system function control module and the function feedback module.

[0050] The second gateway is further refined into an object-oriented PIRES+ object subnet of the mobile terminal control module and its corresponding gateway set, or an object-oriented PIRES+ object subnet of the PC terminal control module and its corresponding gateway set. Since both the mobile terminal control module and the PC terminal control module are remote control modules, the object-oriented PIRES+ object subnets of the mobile terminal control module and the PC terminal control module are combined through the same gateway set. The gateway set includes the gateway between the remote control module and the instruction data transmission module, and the gateway between the remote control module and the function feedback module.

[0051] In practical implementation, in order to ensure the liveness, boundedness, reachability, functionality, and real-time performance of the object-oriented PIRES+ network model of the smart home remote control system, the following constraints must be met: The constructed abstract object-oriented PIRES+ network model of the smart home remote control system, as well as the closed network of the constructed object-oriented PIRES+ object subnets of the mobile terminal control module, PC terminal control module, and system function control module, must satisfy the liveness, boundedness, reachability, functionality, and real-time performance.

[0052] In specific implementation, the simulation analysis of the smart home remote control system is as follows: based on the constructed object-oriented PIRES+ network model, a pre-specified simulation instance is used as the model input to realize the simulation analysis of the smart home remote control system.

[0053] (I) Explanation of the relevant concepts of the object-oriented PIRES+ net (hereinafter referred to as OOPIRES+ net for convenience) proposed in this embodiment:

[0054] Definition 1: An OOPIRES+ object subnet is defined as a six-tuple OPSN = (P, T; F, I, Q, W), where P = {p1, p2, ..., p...} m} is a collection of libraries in OPSN, denoted by OPSN(P); T = {t1, t2, ..., t n} is the transition set of OPSN, denoted by OPSN(T); F represents the flow relation in OPSN, including F I and F O , It is the set of input arcs. It is a set of output arcs; It is the set of suppression arcs in OPSN; Q = {q1,q2,...,q} r} is the message library set of OPSN, denoted by OPSN(Q), which includes the input library Q. I and output library Q O .

[0055] For each transition t, there exists an associated transition function f and transition delay d. - and d + Object subnets are connected using a gateway g. Based on the gateway's position relative to the subnet, gateways are categorized as input gateways and output gateways. Since gateways can be used for preprocessing data before it flows into the next object subnet, a gateway function f is also assigned to gateway g. g and gateway latency Attributes.

[0056] like Figure 1 As shown, an example of an OOPIRES+ object subnet is given. Where P = {p1, p2, p3, p4}, T = {t1, t2, t3, t4}; F I ={(q1,t1),(p1,t2),(p2,t3),(p3,t4),(p4,t4)}; F O ={(t1,p1),(t1,p2),(t2,p3),(t3,p4),(t4,q2),}; I ={(p2,t2)}; Q ={q1,q2}, where q1 is the input place and q2 is the output place; g1 and g2 are the input and output gateways of the object subnet OPSN1, respectively; f1, f2, f3, f4 are the transition functions for transitions t1, t2, t3, t4, respectively, with corresponding transition delays of [a1,b1], [a2,b2], [a3,b3], [a4,b4]; f g1 ,f g2 The gateway functions for gateways g1 and g2 are respectively, and their corresponding gateway latencies are [a g1 ,b g1],[a g2 ,b g2 ].

[0057] Definition 2: An OOPIRES+ network system is defined as a quadruple OPN = (OPSN, G, F, M), where OPSN = (OPSN1, OPSN2, ..., OPSN...). s ) is an OOPIRES+ object subnet set; G = {g1, g2, ..., g t} is the set of all gateways; F includes F I and F O ,in M is the system identifier, and the initial identifier is M0.

[0058] Definition 3: Let an OOPIRES+ network system be OPN = (OPSN, G, F, M0), where M0 is the initial identifier, t ∈ OPSN(T), g ∈ G, then:

[0059] (1) If for any M∈R(M0), there exists M'∈R(M) such that M'[t>, then transition t is said to be live; if for any M∈R(M0), there exists M'∈R(M) such that M'[g>, then gateway g is said to be live; where R(M) is the set of reachable identifiers with respect to M; M'[t> indicates that transition t is enabled or triggered by identifier M'.

[0060] (2) If for system OPN, If both t and g are alive, then the OOPIRES+ network system is said to be alive.

[0061] Definition 4: Let an OOPIRES+ network system be OPN = (OPSN, G, F, M0), where M0 is the initial identifier, p ∈ OPSN(P), q ∈ OPSN(Q), then:

[0062] (1) If there exists a positive integer A such that Then the place p is said to be bounded; if there exists a positive integer B such that Then the collection q is said to be bounded;

[0063] (2) If in the system OPN, If both p and q are bounded, then the OOPIRES+ network system OPN is said to be bounded.

[0064] Definition 5: Let OPSN1 and OPSN2 be two OOPIRES+ networks. Then OPSN1 and OPSN2 have the same reachability if and only if:

[0065] (1) The number of front collection sites of the input gateways and the number of back collection sites of the output gateways of OPSN1 and OPSN2 are the same;

[0066] (2) If the number of tokens in the front set of the input gateways of OPSN1 and OPSN2 is the same, then the number of tokens in the back set of the output gateways of OPSN1 and OPSN2 is also the same.

[0067] Definition 6: Let OPSN1 and OPSN2 be two OOPIRES+ nets. Then OPSN1 and OPSN2 have the same functionality if and only if:

[0068] (1) OPSN1 and OPSN2 have the same reachability;

[0069] (2) If the token types in the front set of the input gateways of OPSN1 and OPSN2 are the same, then the token types in the back set of the output gateways of OPSN1 and OPSN2 are also the same.

[0070] Definition 7: Let OPSN1 and OPSN2 be two OOPIRES+ networks. Then OPSN1 and OPSN2 have the same real-time performance if and only if:

[0071] (1) OPSN1 and OPSN2 have the same reachability;

[0072] (2) If the token times of the input gateways of OPSN1 and OPSN2 are the same, then the token times of the output gateways of OPSN1 and OPSN2 are also the same.

[0073] (II) Detailed Operation and Property Analysis of OOPIRES+ Network Gateway

[0074] The following describes the gateway refinement operation method for the OOPIRES+ network, and provides a detailed explanation of how this refinement operation maintains the liveness, boundedness, reachability, functionality, and real-time performance of the original network system.

[0075] like Figure 2 The diagram shown is a detailed operation diagram of the gateway in the OOPIRES+ network system.

[0076] Definition 8: Gateway Refinement Operations of the OOPIRES+ Network System In the OOPIRES+ network system OPN=(OPSN,G,F,M), the gateway g A Refined into a subnet OPSN A and a gateway set i.e., use subnet OPSN A and gateway collection Replace gateway g in OPN A The new OOPIRES+ network system OPN was obtained.B =(OPSN) B G B ,F B M B ),in,

[0077] (1) OPSN B =OPSN∪OPSN A ;

[0078] (2)

[0079] (3) (Here, ° is the function compounding operator), where f gA They represent g A Gateway function, f s :τ(p1)×τ(p2)×…×τ(p n →τ(q), p1,p2,…,p n ∈OPSN A (Q AI ), q∈OPSN A (Q AO );

[0080] (4) in They represent g A Minimum gateway latency, They represent g A Maximum gateway latency, Indicates OPSN A The minimum and maximum transition delays of (T)

[0081] (5)F B Including F BI and F BO ,in

[0082]

[0083]

[0084] (6)

[0085] Definition 9: Define the closed network of OOPIRES + object subnet OPSN = (P,T;F,I,Q,W) as a triple OPN' = (OPSN,G',p'), that is, add the gateway set G' = {g'1,g'2} and the message set p' to OPSN, where g'1 is the input gateway of OPSN, g'2 is the output gateway of OPSN, and p' connects g'1 and g'2.

[0086] Definition 10: Define the extended subnet of gateway g as a triple g” = (g, Q, F), that is, add a message set Q to gateway g, including Q I and Q O And the flow relationship between the message database and the gateway g, F = {(q1,g),(g,q2)|q1∈Q} I ,q2∈Q O}

[0087] The following analysis addresses the issues of maintaining the activity, boundedness, reachability, functionality, and real-time performance of the original network system after gateway refinement operations.

[0088] The following assumes that gateway g in the OOPIRES+ network system OPNB = (OPSN, G, F, M) is... A via object subnet OPSN A and gateway collection After refinement, the resulting OOPIRES+ network system is OPN. B =(OPSN) B G B ,F B M B ).

[0089] Theorem 1: OPN B It is alive if and only if OPN and OPSN A The closed-network system OPN A '=(OPSN A ,G' A ,p' A It is alive.

[0090] Proof: (1) Sufficiency: For the network system OPN, since OPN is active, it can be known from Definition 3 that, and For all systems, there exist M'∈R(M) such that M'[t> and M'[g>), where t and g are live; for the closed network system OPN A ', due to OPN A It is alive, as can be seen from definition 3. and There exist M'∈R(M) such that M'[t> and M'[g>), where t and g are live. Because OPN B From g in OPN A via OPSN A and The details are as follows, therefore OPSN B (T)={OPSN(T),OPSN A (T)},OPN B (G)={ OPN(G),OPN A (G'A)}, according to definition 12, This makes M'[t>, M'[g>], that is, both t and g are alive, hence the network system OPN B It is alive.

[0091] (2) Necessity: Proof by contradiction. Given OPN B It is alive, without loss of generality; assuming OPN is not alive, then... or Make have to or because Therefore or Make or Then OPN B It is not alive, which contradicts the assumption, so the network system OPN and OPN A They are all alive.

[0092] Theorem 2: OPN B It is bounded if and only if OPN and OPSN A The closed-network system OPN A '=(OPSN A ,G' A ,p' A () is bounded.

[0093] Proof: (1) Sufficiency: Since the network system OPN is bounded, it can be known from Definition 4 that... Make M(p)≤k∧M(q)≤k, Due to the closed network system OPN A It is bounded, as can be seen from Definition 5. Make M(p)≤k A ∧M(q)≤k A , Let k B =max{k,k A},but M(p)≤kB ∧M(q)≤k B , Therefore, the OPN system B It is bounded.

[0094] (2) Necessity: Proof by contradiction. Given OPN B It is bounded. Without loss of generality, if we assume OPN is not bounded, then... or for M(p)>k or M(q)>k, because so or M(p)>k B Or M(q)>k B , Then OPN B It is not bounded, which contradicts the assumption, so OPN and OPN A 'They are all bounded.'

[0095] Theorem 3: OPN of a network system B It has the same reachability as OPN.

[0096] Proof: Based on the gateway refinement operation of the OOPIRES+ network system exist In the middle, connection and g A The number of front-end and back-end locations is the same, and the number of tokens in the front-end locations of the input gateway is equal. According to Definition 8, after refinement, the number of tokens in the back-end locations of the output gateway is also equal. Therefore, according to Definition 5, and g″ A They have the same reachability. Because Therefore, the network system OPN B It has the same reachability as OPN.

[0097] Theorem 4: OPN in a network system B It has the same functionality as OPN.

[0098] Proof: By Theorem 3, the network system OPN B It has the same reachability as OPN. and g” A In the middle, connection and g A The preceding set of libraries contains tokens of the same type, as can be seen from Definition 8. Therefore, the output gateway's subsequent set also has the same type of token. Therefore, as can be seen from Definition 6, and g” A They have the same functionality. Because Therefore, the network system OPN B It has the same functionality as OPN.

[0099] Theorem 5: OPN of a network system B It has the same real-time performance as OPN.

[0100] Proof: By Theorem 3, and g” A They have the same reachability. As defined in Definition 10, therefore and g” A The tokens in the subsequent sets of the output gateway have the same token time. Therefore, according to Definition 8, and g” A They have the same real-time performance. Because Therefore, the network system OPN B It has the same real-time performance as OPN.

[0101] The following detailed description of the solution in this embodiment is illustrated with specific examples:

[0102] The solution described in this embodiment applies the proposed gateway refinement method for object-oriented PIRES+ networks (OOPIRES+ networks) to the modeling and analysis of smart home remote control systems.

[0103] This smart home remote control system mainly consists of five functional modules: a mobile control module (in this embodiment, a mobile phone control module), a PC control module, a command data transmission module, a function feedback module, and a system function control module. When a user wants to manage their home, considering the different devices they carry, they can issue commands to each connected home appliance via a mobile phone or PC. The commands are collected by the mobile or PC control module and uploaded to the cloud for storage. The command data transmission module then sends these commands to the system function control module, enabling the management and control of the home, and finally, command feedback is transmitted.

[0104] Among them, such as Figure 7 As shown in the figure, the functions of each module in the smart home remote control system described in this embodiment are as follows:

[0105] Mobile control module: responsible for generating control commands for one or more system function modules on the graphical display interface of the mobile device and uploading them to the cloud.

[0106] PC-side control module: Independent of the mobile-side control module, both can generate control commands and upload them to the cloud.

[0107] Command data transmission module: responsible for sending command data from the cloud to the various system function control modules.

[0108] Function feedback module: responsible for checking the execution status of instructions and feeding back the results to the mobile or PC client.

[0109] System function control module: includes smart home modules such as lighting control module, smart access control module, air monitoring module, etc.

[0110] like Figure 3 As shown, the abstract OOPIRES+ network model of the smart home remote control system, OPN = (OPSN, G, F, M), is first given, which includes the command data transmission module OPSN1, the function feedback module OPSN2, and the gateway g to be refined. A g AA The meanings of the internal transitions of OPSN1 and OPSN2 are as follows: t1 is receiving the current instruction, t2 is remote instruction transmission, t3 is instruction transmission completion, t4 is receiving function feedback, t5 is function feedback transmission, and t6 is the screen display status.

[0111] like Figure 4 As shown, the object subnet OPSN is given. A The model includes the system function control module OPSN3 and the gateway. Based on the received instructions, control of m subsystems is completed. The meaning of the internal transitions of OPSN3 is: t A1 To request control permissions, t A2 To confirm the system status, t A3 To confirm control permissions, t A4 t indicates that the instruction has been executed. A1' ~t Am' It corresponds to m control systems, including lighting control systems, monitoring control systems, electrical control systems, etc., and implements the functions of the corresponding commands.

[0112] like Figure 5 As shown, the subnet OPSN is given. AA The model includes the mobile control module OPSN4, the PC control module OPSN5, and the gateway. Based on the operator's intentions, commands are sent to the functional control terminal via different devices. The meanings of the internal transitions between OPSN4 and OPSN5 are as follows: t AA1 To apply for activation of the mobile device, t AA2 To summarize the current instructions, t AA3 To check network connectivity, t AA4 To upload instructions to the cloud, t AA5 To complete the cloud upload, t AA6To apply for activation of the PC device, t AA7 For PC-side synchronous checks, t AA8 For PC-side confirmation, t AA9 To summarize the current instructions, t AA10 For command synchronization to the cloud, t AA1' ~t AAm' and t AA1” ~t AAm” This is used to collect m system commands from mobile devices and PCs.

[0113] It should be noted that in a smart home control system, the gateway, used to connect various system control modules, is responsible for recognizing commands issued by the command data transmission module. It only identifies commands belonging to the system module it is connected to and transmits the command information to the corresponding system function control module. Gateways used to connect to the cloud and function feedback modules are responsible for the necessary data transmission between the connected modules.

[0114] The following will use OPSN respectively A OPSN AA g in the system abstract model OPN A g AA After detailed operations, the resulting smart home remote control system OPN was obtained. B ,like Figure 6 As shown, control commands for the home appliances are initially sent by OPSN4 or OPSN5. OPSN1 receives the commands and transmits them remotely. OPSN3 receives and executes the commands. Once the system completes the execution, it sends a command receipt. OPSN2 controls the screen to display the status of the furniture, indicating this to the user.

[0115] Analysis of system activity and boundedness: From Figure 5 It can be seen that the system OPN is live and bounded. Figure 4 , Figure 5 in OPSN A OPSN AA By adding message libraries to the model, corresponding closed networks can be obtained. As shown in the diagram, these closed network systems are all live and bounded. The system OPN... B It is g in the system OPN A g AA via OPSN A OPSN AA Therefore, according to Theorem 1 and Theorem 2, the system OPN is refined. B It is also alive and bounded.

[0116] Analysis of system reachability, functionality, and real-time performance: Figure 3 , Figure 6 In the middle, gA , The previous set of libraries is q2, g A , The number of subsequent sets of places is q3. The number of subsequent sets of places is equal to the number of preceding sets of places, and the token number of preceding sets of places is the same. Therefore, the token number of subsequent sets of places is also equal. Thus, before and after refinement, g A Extended subnets and OPSN subnets A They have the same reachability; g A , The types of tokens in the previous set of the library are the same, and g A Gateway functions and OPSN A The functions are equal, and the token types in the later set library are also the same, so before and after refinement, g A Extended subnets and OPSN subnets A Having the same functionality; g A Gateway latency equals OPSN A The delay means that the tokens in the output gateways of both systems have the same token time. Therefore, after refining, g A Extended subnets and OPSN subnets A They have the same real-time performance. Similarly, g AA Extended subnets and OPSN subnets AA It also possesses the same accessibility, functionality, and real-time performance. Therefore, according to Theors 3, 4, and 5, OPN... B It has the same reachability, functionality, and real-time performance as OPN.

[0117] Example 2:

[0118] The purpose of this embodiment is to provide a simulation analysis system for a smart home remote control system.

[0119] A simulation and analysis system for a smart home remote control system, comprising:

[0120] A functional division unit is used to divide the smart home remote control system into functional modules; wherein, the functional modules include a mobile terminal control module, a PC terminal control module, an instruction data transmission module, a function feedback display module, and a system function control module;

[0121] The simulation model construction unit is used to construct an object-oriented PIRES+ network model of a smart home remote control system based on the divided functional modules. Specifically, the construction of the object-oriented PIRES+ network model involves: constructing an abstract object-oriented PIRES+ network model of the smart home remote control system, including an instruction data transmission module object subnet, a function feedback module object subnet, and a gateway, based on the internal data flow information of the instruction data transmission module and the function feedback module; and further refining the abstract object-oriented PIRES+ network model by using pre-constructed object-oriented PIRES+ object subnets of the mobile terminal control module, the PC terminal control module, and the system function control module, to obtain a refined PIRES+ network model.

[0122] The simulation analysis unit is used to perform simulation analysis on the smart home remote control system based on the obtained object-oriented PIRES+ network model.

[0123] Furthermore, the system described in this embodiment corresponds to the method described in Embodiment 1, and its technical details have been described in detail in Embodiment 1, so they will not be repeated here.

[0124] In further embodiments, the following is also provided:

[0125] An electronic device includes a memory and a processor, as well as computer instructions stored in the memory and running on the processor. When executed by the processor, the computer instructions perform the method described in Embodiment 1. For brevity, further details are omitted here.

[0126] It should be understood that in this embodiment, the processor can be a central processing unit (CPU), or it can be other general-purpose processors, digital signal processors (DSPs), application-specific integrated circuits (ASICs), programmable gate arrays (FPGAs), or other programmable logic devices, discrete gate or transistor logic devices, discrete hardware components, etc. The general-purpose processor can be a microprocessor or any conventional processor, etc.

[0127] Memory may include read-only memory and random access memory, and provides instructions and data to the processor. A portion of memory may also include non-volatile random access memory. For example, memory may also store information about the device type.

[0128] A computer-readable storage medium for storing computer instructions, which, when executed by a processor, perform the method described in Embodiment 1.

[0129] The method in Embodiment 1 can be directly implemented by a hardware processor, or implemented by a combination of hardware and software modules within the processor. The software modules can reside in readily available storage media in the art, such as random access memory, flash memory, read-only memory, programmable read-only memory, electrically erasable programmable memory, or registers. This storage medium is located in memory; the processor reads information from the memory and, in conjunction with its hardware, completes the steps of the above method. To avoid repetition, a detailed description is not provided here.

[0130] Those skilled in the art will recognize that the units, i.e., algorithm steps, of the various examples described in connection with this embodiment can be implemented in electronic hardware or a combination of computer software and electronic hardware. Whether these functions are implemented in hardware or software depends on the specific application and design constraints of the technical solution. Those skilled in the art can use different methods to implement the described functions for each specific application, but such implementation should not be considered beyond the scope of this application.

[0131] The simulation analysis method and system for a smart home remote control system provided in the above embodiments are feasible and have broad application prospects.

[0132] The above description is merely a preferred embodiment of this disclosure and is not intended to limit this disclosure. Various modifications and variations can be made to this disclosure by those skilled in the art. Any modifications, equivalent substitutions, improvements, etc., made within the spirit and principles of this disclosure should be included within the scope of protection of this disclosure.

Claims

1. A simulation analysis method for a smart home remote control system, characterized in that, include: The smart home remote control system is divided into functional modules; wherein, the functional modules include a mobile terminal control module, a PC terminal control module, an instruction data transmission module, a function feedback display module, and a system function control module; An object-oriented PIRES+ network model for a smart home remote control system is constructed based on the functional modules. Specifically, the construction of the object-oriented PIRES+ network model involves: constructing an abstract object-oriented PIRES+ network model for the smart home remote control system, including an instruction data transmission module object subnet, a function feedback module object subnet, and a gateway, based on the internal data flow information of the instruction data transmission module and the function feedback module; and further refining the abstract object-oriented PIRES+ network model by using pre-constructed object-oriented PIRES+ object subnets of the mobile terminal control module, PC terminal control module, and system function control module to obtain a refined PIRES+ network model. Based on the obtained object-oriented PIRES+ net model, the simulation analysis of the smart home remote control system is realized. The gateway refinement specifically refers to refining the gateway in the abstract object-oriented PIRES+ network model into an object-oriented PIRES+ object subnet and a set of gateways. The abstract object-oriented PIRES+ network model of the smart home remote control system includes a first gateway and a second gateway. The first gateway is further refined into an object-oriented PIRES+ object subnet of the system function control module and its corresponding gateway set. The gateway set includes the gateway between the system function control module and the instruction data transmission module, and the gateway between the system function control module and the function feedback module. The second gateway is further refined into an object-oriented PIRES+ object subnet of the mobile terminal control module and its corresponding gateway set, or an object-oriented PIRES+ object subnet of the PC terminal control module and its corresponding gateway set. Since both the mobile terminal control module and the PC terminal control module are remote control modules, the object-oriented PIRES+ object subnets of the mobile terminal control module and the PC terminal control module are combined through the same gateway set. The gateway set includes the gateway between the remote control module and the instruction data transmission module, and the gateway between the remote control module and the function feedback module. OOPIRES+ object subnet is defined as a six-tuple. ,in yes The library collection, used express; yes The set of transitions, using express; It indicates The flow relationship in the middle, including and , It is the set of input arcs. It is a set of output arcs; yes Inhibition arc set; yes The message database is collected and used This indicates that, including the input database and output library For each change All of them have associated transition functions. and transition delay and Gateways are used between object subnets. Based on the gateway's position relative to the subnet, gateways are categorized as input gateways and output gateways. Since gateways can be used for preprocessing data before it flows into the next object subnet, [the following applies to gateways]. Assign gateway function and gateway latency and Attributes; Gateway The extended subnet is defined as a triple. That is, at the gateway Add a message database collection on top of that. ,include and and the gateway connecting the message database. flow relationship .

2. The simulation analysis method for a smart home remote control system as described in claim 1, characterized in that, To ensure the liveness, boundedness, reachability, functionality, and real-time performance of the object-oriented PIRES+ network model of the smart home remote control system, the following constraints must be met: The abstract object-oriented PIRES+ network model of the constructed smart home remote control system, as well as the closed network of the object-oriented PIRES+ object subnets of the constructed mobile terminal control module, PC terminal control module, and system function control module, must satisfy the liveness, boundedness, reachability, functionality, and real-time performance.

3. The simulation analysis method for a smart home remote control system as described in claim 1, characterized in that, The simulation analysis of the smart home remote control system specifically involves: based on the constructed object-oriented PIRES+ network model, using pre-specified simulation instances as model input, to achieve the simulation analysis of the smart home remote control system.

4. A simulation analysis system for a smart home remote control system, employing the simulation analysis method for a smart home remote control system as described in any one of claims 1-3, characterized in that, include: A functional division unit is used to divide the smart home remote control system into functional modules; wherein, the functional modules include a mobile terminal control module, a PC terminal control module, an instruction data transmission module, a function feedback display module, and a system function control module; The simulation model construction unit is used to construct an object-oriented PIRES+ network model of a smart home remote control system based on the divided functional modules. Specifically, the construction of the object-oriented PIRES+ network model involves: constructing an abstract object-oriented PIRES+ network model of the smart home remote control system, including an instruction data transmission module object subnet, a function feedback module object subnet, and a gateway, based on the internal data flow information of the instruction data transmission module and the function feedback module; and further refining the abstract object-oriented PIRES+ network model by using pre-constructed object-oriented PIRES+ object subnets of the mobile terminal control module, the PC terminal control module, and the system function control module, to obtain a refined PIRES+ network model. The simulation analysis unit is used to perform simulation analysis on the smart home remote control system based on the obtained object-oriented PIRES+ network model.

5. The simulation analysis system for a smart home remote control system as described in claim 4, characterized in that, The gateway refinement specifically refers to refining the gateway in the abstract object-oriented PIRES+ network model into an object-oriented PIRES+ object subnet and a set of gateways.

6. A computer-readable storage medium having a program stored thereon, characterized in that, When executed by the processor, the program implements a simulation analysis method for a smart home remote control system as described in any one of claims 1-3.

7. An electronic device comprising a memory, a processor, and a program stored in the memory and executable on the processor, characterized in that, When the processor executes the program, it implements a simulation analysis method for a smart home remote control system as described in any one of claims 1-3.

Images