Patent attributes
A mechanism having an autonomous operation verification device having a function of determining satisfiability of expected operation and safety requirement under a predetermined operation-time precondition and determining occurrence possibility of hazard violating the safety requirement in a predictive manner and achieving operation safety of an autonomous system operating in an open environment is provided. A function for determining whether the expected operation and operation safety are satisfiable or not in a case where operation planning means provides a planned operation and evaluating the operation safety of the planned operation during operation is provided. Further, an autonomous system having a function of calculating an alternative operation by using the predictive determination function and recovering operation safety by avoiding the hazard is provided.
