A VERIFICATION FRAMEWORK FOR AUTONOMOUS COLLABORATION OF SMART DEVICES

摘要

When smart devices having intelligence do not properly cope with a changing situation while the smart devices perform tasks through autonomous collaboration, a problem can occur in successful task performance or an action, threatening life in case of an essential safety system, can occur. Therefore, it is necessary to continuously check whether collaboration is being perfectly and safely performed through verification with respect to the autonomous collaboration. The present thesis suggests a framework capable of verifying the autonomous collaboration of the smart devices by using model checking and summarizes related issues.