公开(公告)号：KR1020160103395A

公开(公告)日：2016-09-01

申请号：KR1020150025838

申请日：2015-02-24

Applicant: 한국과학기술원

Inventor： 백종문 ,  배두환 ,  지은경 ,  홍광의 ,  임유진 ,  신동환 ,  채철우

IPC: G06F11/30 ,  G06F15/16

CPC classification number: G06F11/3013 ,  G06F15/16

Abstract: 지능을가진스마트기기들이자율협업을통하여임무를수행하는과정에서변화하는상황에적절하게대응하지못할경우, 성공적인임무수행에문제가발생하거나, 안전필수시스템의경우생명에위협을주는행위로이어질수 있다. 따라서자율협업에대한검증을통해협업이무결하고안전하게수행되고있는지지속적으로확인하는것이필요하다. 본논문은모델체킹을이용하여스마트기기자율협업을검증할수 있는프레임워크를제안하고관련된이슈를정리한다.

Abstract translation: 当聪明的智能设备智能设备在智能设备通过自主协作来执行任务时，不能正确应对变化的情况，在成功的任务执行或行动中可能会出现问题，在发生基本安全系统的情况下威胁生命。 因此，有必要通过对自主协作的验证来持续检查协作是否完全安全地执行。 本论文提出了一种框架，能够通过使用模型检查来验证智能设备的自主协作，并总结相关问题。