EXECUTION PROCEDURE SEARCHING DEVICE, METHOD, AND PROGRAM

    公开(公告)号:EP4141678A1

    公开(公告)日:2023-03-01

    申请号:EP20932280.9

    申请日:2020-04-21

    IPC分类号: G06F11/26

    摘要: An object of the present disclosure is to search for a command sequence, while preventing overlooking as much as possible, in a shorter period of time than that of searching using only an actual system is used.
    The present disclosure provides an execution procedure searching device that searches for a command sequence to be set for a plurality of devices constituting a system. The execution procedure searching device performs a first step for determining whether a simulator of the system having executed a temporary update command sequence satisfies a predetermined policy, and executes, until satisfaction for the predetermined policy of the simulator, processing for: performing a second step for determining whether the simulator approaches a state where the predetermined policy is satisfied, with addition of one new candidate command of one or more new candidate commands to the temporary update command sequence on condition that the simulator does not satisfy the predetermined policy; and deleting a command at the end of the temporary update command sequence on condition that the simulator does not approach the state where the predetermined policy is satisfied, with addition of any one of the new candidate commands; and then returning to the first step.

    NETWORK SETTING DEVICE, METHOD AND PROGRAM
    2.
    发明公开

    公开(公告)号:EP4142226A1

    公开(公告)日:2023-03-01

    申请号:EP20931737.9

    申请日:2020-04-21

    IPC分类号: H04L12/703

    摘要: An object of the present disclosure is to perform automatic restoration from network failures even when complicated operations for executing a plurality of commands are required. The present disclosure relates to a network setting device that is communicatively connected to a plurality of network devices and performs a setting of the plurality of network devices. The network setting device performs a first step for determining whether a network including the plurality of network devices satisfies a predetermined operational policy. When the predetermined operational policy is not satisfied, the network setting device executes processing for: performing a second step for determining whether a reachable range of a packet expands with addition of one of one or more new candidate commands to a temporary update command sequence; deleting a command at an end of the temporary update command sequence on condition that the reachable range does not expand with addition of any one of the new commands; and then returning to the first step, until the predetermined operational policy is satisfied.