KR20200131604A - System and method for writing interaction specifiation and for verificating safety of collaborating cyber-physical systems - Google Patents

Abstract

Disclosed are a system for writing interaction specification of cyber-physical systems and for verifying stability of collaboration therebetween, and a method thereof. The system for writing interaction specification of cyber-physical systems and for verifying stability of collaboration therebetween comprises: a threat analysis model input module for receiving failure mode and effect analysis (FMEA) performance results of each cyber-physical system (CPS); a function specification input module for receiving specification related to mission performance of the each cyber-physical system; an integrated specification generation module for generating integrated specification for deriving interaction of a plurality of cyber-physical systems performing collaboration by using the specification input in the function specification input module; a scenario definition module for generating a mission scenario for action specification for common missions between the cyber-physical systems by using the integrated specification generated in the integrated specification generation module; and a scenario execution module for tracking an event based on the integrated specification and the FMEA performance results by executing the mission scenario generated in the scenario definition module step by step. According to the present invention, the system for writing interaction specification of cyber-physical systems and for verifying stability of collaboration therebetween and the method thereof are configured to analyze defects or risk which may occur during performance of collaboration between cyber-physical systems in advance and to determine the same, thereby having an effect of predicting safety of collaboration between cyber-physical systems.

Description

A system and method for creating a cyber-physical system interaction specification and checking the stability between collaborations {SYSTEM AND METHOD FOR WRITING INTERACTION SPECIFIATION AND FOR VERIFICATING SAFETY OF COLLABORATING CYBER-PHYSICAL SYSTEMS}

The present invention relates to collaboration between cyber-physical systems, and specifically, using a language provided by the present invention to specify the interaction of cyber-physical systems, and through this, collaboration between cyber-physical systems. It relates to a system and method for performing a liver stability test.

In future smart cities, most software application systems are expected to exist in the form of Cyber-Physical Systems (CPS).

The cyber-physical system is a new paradigm that pursues the convergence of the physical world and the cyber world, and is configured to collect and process information from the physical world such as a number of sensors and actuators, and then apply it to the physical world again. do.

However, physical-cyber systems not only operate as a single system, but also perform tasks through mutual cooperation between each system in many cases.

If the collaboration between multiple physical-cyber systems is not done according to the original intention, it can lead to great human damage and property damage.

However, until now, there is no such system as well as a language capable of specifying an interaction for performing secure collaboration between multiple physical-cyber systems.

There is a need for a means to predict the risk by analyzing the safety in advance by grasping the interaction between multiple physical-cyber systems in real time.

Registered Patent Publication 10-1645019 Unexamined Patent Publication 10-2017-0140753

An object of the present invention is to provide a system for creating an interaction specification of a cyber-physical system and checking the stability between collaborations.

Another object of the present invention is to provide a method for creating an interaction specification of a cyber-physical system and checking the stability between collaborations.

The above-described cyber-physical system interaction specification creation and collaboration inter-stability inspection system according to the object of the present invention is a result of performing a failure mode and effect analysis (FMEA) of each cyber-physical system (CPS). An input threat analysis model input module; A function specification input module for receiving a specification related to the performance of each cyber-physical system; An integrated specification generation module for generating an integrated specification for deriving an interaction between a plurality of cyber-physical systems performing collaboration by using the specification input from the functional specification input module; A scenario definition module for generating a mission scenario related to an action specification for a common mission between the plurality of cyber-physical systems by using the integrated specification generated by the integrated specification generating module; It may be configured to include a scenario execution module that executes the mission scenario generated by the scenario definition module step by step and tracks an event based on the integrated specification and the FMEA execution result.

Here, the scenario execution module may be configured to check the stability between collaborations by determining whether the mission scenario can reach a final state according to the event tracking result.

In addition, the cyber-physical system may be an intelligent robot system or an autonomous vehicle system.

In the above-described method for creating an interaction specification of a cyber-physical system and checking stability between collaborations according to another object of the present invention, a threat analysis model input module is a failure mode (FMEA) of each cyber-physical system (CPS). and effect analysis) receiving a result of the execution; Receiving, by the functional specification input module, a specification related to the performance of each cyber-physical system; Generating, by an integrated specification generation module, an integrated specification for deriving an interaction between a plurality of cyber-physical systems performing collaboration by using the specification received from the functional specification input module; Generating, by a scenario definition module, a mission scenario related to an action specification for a common mission between the plurality of cyber-physical systems by using the integrated specification generated by the integrated specification generating module; The scenario execution module may be configured to include step-by-step execution of the mission scenario generated by the scenario definition module to track an event based on the integrated specification and the FMEA execution result.

Here, the scenario execution module may be configured to further include the step of determining whether the mission scenario can reach a final state according to the event tracking result and checking the stability between collaborations.

In addition, the cyber-physical system may be an intelligent robot system or an autonomous vehicle system.

According to the above-described cyber-physical system interaction specification preparation and collaboration stability check system and method, it is configured to analyze and determine in advance defects or risks that may occur when performing collaboration between cyber-physical systems. There is an effect of predicting the safety of collaboration between systems in advance.

By ensuring safe collaboration in collaboration between intelligent robots at the disaster relief site, collaboration while driving an autonomous vehicle, and collaboration between patient treatment in hospital treatment, it is effective to prevent damage to people and property due to collaborative accidents in advance. have.

1 is a block diagram of a system for creating an interaction specification and checking stability between collaborations of a cyber-physical system according to an embodiment of the present invention.
2 is a flowchart of a method for creating an interaction specification and checking stability between collaborations of a cyber-physical system according to an embodiment of the present invention.
3 is a detailed flowchart of a procedure for creating an interaction specification of a cyber-physical system and checking stability between collaborations according to an embodiment of the present invention.
4 is an exemplary diagram of an interaction specification language of a cyber-physical system according to an embodiment of the present invention.

In the present invention, various modifications may be made and various embodiments may be provided, and specific embodiments will be illustrated in the drawings and will be described in detail in specific details for carrying out the invention. However, this is not intended to limit the present invention to a specific embodiment, it is to be understood to include all changes, equivalents, and substitutes included in the spirit and scope of the present invention. In describing each drawing, similar reference numerals have been used for similar elements.

Terms such as first, second, A, and B may be used to describe various elements, but the elements should not be limited by the terms. These terms are used only for the purpose of distinguishing one component from another component. For example, without departing from the scope of the present invention, a first element may be referred to as a second element, and similarly, a second element may be referred to as a first element. The term and/or includes a combination of a plurality of related listed items or any of a plurality of related listed items.

When a component is referred to as being "connected" or "connected" to another component, it is understood that it may be directly connected or connected to the other component, but other components may exist in the middle. Should be. On the other hand, when a component is referred to as being "directly connected" or "directly connected" to another component, it should be understood that there is no other component in the middle.

The terms used in the present application are only used to describe specific embodiments, and are not intended to limit the present invention. Singular expressions include plural expressions unless the context clearly indicates otherwise. In the present application, terms such as "comprise" or "have" are intended to designate the presence of features, numbers, steps, actions, components, parts, or combinations thereof described in the specification, but one or more other features. It is to be understood that the presence or addition of elements or numbers, steps, actions, components, parts, or combinations thereof, does not preclude in advance.

Unless otherwise defined, all terms used herein, including technical or scientific terms, have the same meaning as commonly understood by one of ordinary skill in the art to which the present invention belongs. Terms as defined in a commonly used dictionary should be interpreted as having a meaning consistent with the meaning in the context of the related technology, and should not be interpreted as an ideal or excessively formal meaning unless explicitly defined in this application. Does not.

Hereinafter, preferred embodiments of the present invention will be described in detail with reference to the accompanying drawings.

1 is a block diagram of a system for creating an interaction specification and checking stability between collaborations of a cyber-physical system according to an embodiment of the present invention.

Referring to FIG. 1, the cyber-physical system interaction specification creation and collaboration stability inspection system 100 according to an embodiment of the present invention includes a threat analysis model input module 110, a functional specification input module 120, It may be configured to include an integrated specification generation module 130, a scenario definition module 140, and a scenario execution module 150.

The cyber-physical system interaction specification creation and collaboration stability check system 100 newly provides an interaction specification language between cyber-physical systems (CPS) and interaction specifications through these languages. It is composed so that safety can be analyzed in advance during collaboration by writing.

Through this, accidents can be prevented in advance by identifying possible defects in collaboration between intelligent robots at the disaster relief site or during collaboration of autonomous vehicles.

Hereinafter, a detailed configuration will be described.

The threat analysis model input module 110 is a configuration for receiving a threat analysis model of the single physical-cyber system itself, not collaboration between the physical-cyber system.

The threat analysis model input module 110 may be configured to receive a result of performing a failure mode and effect analysis (FMEA) of each cyber-physical system as a threat analysis model.

FMEA is a result of analyzing the types and causes of failures that can occur for each component of the cyber-physical system.

The functional specification input module 120 is a configuration for receiving a structured functional specification for each task performance of each physical-cyber system.

That is, the function specification input module 120 may be configured to receive specifications related to the performance of each cyber-physical system. A single CPS specification can be written in Formula, a formal specification language.

The functional specification input module 120 may be configured to define representative elements such as each component constituting the cyber-physical system and a connector of the component. Here, the component can be divided into a functional component and a safety component, and the connector is a data connector representing information flow between functions and a physical connector representing interaction with the external environment. It can be classified as (physical connector).

In this case, the physical connector may include data on all information and resources that one cyber-physical system interacts with the outside. For example, information and resources may include image information of a camera, temperature information or humidity information of a sensor, and the like.

The integrated specification generation module 130 is a component for generating an integrated specification for a cooperative function between a plurality of physical-cyber systems.

That is, the integrated specification generation module 130 is configured to generate an integrated specification for deriving an interaction of a plurality of cyber-physical systems performing collaboration using the specification input from the functional specification input module 120 Can be.

The integrated specification generation module 130 first identifies components and connectors that exist in common in the functional specifications created for each cyber-physical system, and sets the identified components and connectors as candidates for interaction to create an integrated specification. Can be configured to generate Here, the integration specification is defined as CPSIMS (Cyber-Physical System Integration Model Specification).

The scenario definition module 140 is a configuration for expressing an integrated specification on collaboration between a plurality of cyber-physical systems in a scenario form.

That is, the scenario definition module 140 may be configured to generate a mission scenario related to an action specification for a common mission between a plurality of cyber-physical systems by using the integrated specification generated by the integrated specification generation module.

These mission scenarios are a series of processes that start with the initial state for mission execution, go through intermediate events, and reach the final state of the mission end state. Intermediate events are events or unit functions.

The scenario execution module 150 is a configuration for checking the stability of cooperation by executing the above mission scenario step by step.

First, the scenario execution module 150 may be configured to execute the mission scenario generated by the scenario definition module 140 step by step to track an event based on an integrated specification and an FMEA performance result.

The scenario execution module 150 may perform tracking by connecting a common component and a connector based on the integrated specification CPSIMS and FMEA data for each unit cyber-physical system.

Here, when the scenario execution module 150 performs event tracking while executing the integrated specification in the form of a scenario, when a result corresponding to the result of performing the FMEA comes out, it can be considered that an accident or failure may occur during collaboration.

In addition, the scenario execution module 150 may be configured to check the stability between collaborations by determining whether the mission scenario can reach a final state according to the event tracking result. That is, when the final state of the scenario is reached, it can be determined that there is stability between collaborations, and if the final state of the scenario is not reached, it can be determined that the stability between collaborations is not guaranteed.

Through the execution of these scenarios, the safety of cyber-physical system collaboration can be identified in advance.

2 is a flowchart of a method for creating an interaction specification and checking stability between collaborations of a cyber-physical system according to an embodiment of the present invention.

Referring to FIG. 2, the threat analysis model input module 110 receives a result of performing a failure mode and effect analysis (FMEA) of each cyber-physical system (CPS) (S101).

Here, the cyber-physical system may be an intelligent robot system or an autonomous vehicle system.

Next, the functional specification input module 120 receives specifications related to the performance of each cyber-physical system (S102).

Next, the integrated specification generation module 130 generates an integrated specification for deriving the interaction of a plurality of cyber-physical systems performing collaboration by using the specification input from the functional specification input module 120 (S103). .

Next, the scenario definition module 140 generates a mission scenario related to an action specification for a common mission between a plurality of cyber-physical systems by using the integrated specification generated by the integrated specification generation module 130 (S104).

Next, the scenario execution module 150 executes the mission scenario generated by the scenario definition module 140 step by step to track an event based on the integrated specification and the FMEA performance result (S105).

Next, the scenario execution module 150 determines whether the mission scenario can reach the final state according to the event tracking result, and checks the stability between collaborations (S106).

3 is a detailed flowchart of a procedure for creating an interaction specification of a cyber-physical system and checking stability between collaborations according to an embodiment of the present invention.

Referring to FIG. 3, first, when cooperation for the mission performance of two single cyber-physical systems CPS_1 and CPS_2 is required, the integrated specification generation module 130 is common in two functional specifications specifying the functions of each CPS. It may be configured to generate a connector list (CR_List) including a component list of CC_List and a common information resource (S201).

Here, CC_List, which is a common component list, may be defined as {identifier, component type, component name, {connected connector}}.

In addition, the connector list CR_List may be defined as an identifier, a connector name, a resource name, and a classification.

In addition, the integrated specification generation module 130 may be configured to generate a CPSIMS specification for interactions that may occur in the collaboration process using the above two lists (S202).

In addition, the integrated specification generation module 130 may be configured to identify a CPSIMS component and an FMEA item corresponding to the initial state of the mission scenario (S203). That is, starting with the identified component, the mission execution process can be tracked based on the interconnection information between CPSIMS and FMEA using a series of events presented in the scenario (S207, S208).

In this tracking process, when a random event of the mission scenario is mapped with the FMEA defect mode (S209), the mission scenario may not be normally completed and a defect may occur (S210). However, if the mission scenario is not mapped to the fault state of FMEA and reaches the final state of the scenario based on the CPSIMS specification, it may be determined that the mission execution can be normally terminated (S206).

If it is determined whether a defect has occurred due to an interaction failure (S210) or whether the interaction task has been normally performed (S206), the cooperative mission scenario of CPS_1 and CPS_2 ends.

4 is an exemplary diagram of an interaction specification language of a cyber-physical system according to an embodiment of the present invention.

The interaction of multiple cyber-physical systems for the cooperative mission is structured to describe between COLLABORATION and COMPLEDTED in FIG. 4.

In FIG. 4, the PARTICIPANT clause includes a list of CPS systems participating in the collaboration, and the COMMON COMPONENT clause and the COMMON RESOURCE clause represent the specifications of common components and information resources shown in each CPS function specification.

And the CONSTRAINT clause expresses constraints given on the mission scenario, and the STATE clause means the scenario initial state and the final state.

In the TIME clause, it expresses whether the time constraints for resource access occurring using the connector can be allowed up to the maximum and milli-seconds.

The COMPUTATION clause defines the ordered actions from activation to termination of a specific interface.

The CONFIGURATION clause defines the physical connection between cyber-physical systems participating in the collaboration.

Although described with reference to the above embodiments, those skilled in the art can understand that various modifications and changes can be made to the present invention without departing from the spirit and scope of the present invention described in the following claims. There will be.

110: Threat analysis model input module
120: function specification input module
130: integrated specification generation module
140: Scenario definition module
150: scenario execution module

Claims (6)

A threat analysis model input module receiving a result of performing a failure mode and effect analysis (FMEA) of each cyber-physical system (CPS);
A function specification input module for receiving a specification related to the performance of each cyber-physical system;
An integrated specification generation module for generating an integrated specification for deriving an interaction between a plurality of cyber-physical systems performing collaboration by using the specification input from the functional specification input module;
A scenario definition module for generating a mission scenario related to an action specification for a common mission between the plurality of cyber-physical systems by using the integrated specification generated by the integrated specification generating module;
A cyber-physical system interaction specification creation and collaboration stability inspection system including a scenario execution module that tracks an event based on the integrated specification and the FMEA execution result by executing the mission scenario generated in the scenario definition module step by step .
The method of claim 1, wherein the scenario execution module,
It is configured to check the stability between collaborations by determining whether the mission scenario can reach a final state according to the event tracking result.
The method of claim 1, wherein the cyber-physical system,
An intelligent robot system or an autonomous vehicle system, characterized in that the cyber-physical system interaction specification creation and collaboration stability inspection system.
Receiving, by the threat analysis model input module, a result of performing a failure mode and effect analysis (FMEA) of each cyber-physical system (CPS);
Receiving, by the functional specification input module, a specification related to the performance of each cyber-physical system;
Generating, by an integrated specification generation module, an integrated specification for deriving an interaction between a plurality of cyber-physical systems performing collaboration by using the specification received from the functional specification input module;
Generating, by a scenario definition module, a mission scenario related to an action specification for a common mission between the plurality of cyber-physical systems by using the integrated specification generated by the integrated specification generating module;
Creating an interaction specification and collaboration between the cyber-physical system including the step of a scenario execution module executing the mission scenario generated in the scenario definition module step by step to track an event based on the integrated specification and the FMEA execution result method of inspection.
The method of claim 4,
The scenario execution module is configured to further include the step of determining whether the mission scenario can reach a final state according to the event tracking result and checking the stability between collaborations. How to write specifications and check stability between collaborations.
The method of claim 4, wherein the cyber-physical system,
An intelligent robot system or an autonomous vehicle system, characterized in that the cyber-physical system interaction specification creation and collaboration stability test method.

Images