リ カンコウ   Guanhong LI   李　冠宏    所属   京都外国語大学  国際貢献学部 グローバル観光学科    職種   講師
言語種別	英語
発行・発表の年月	2022/06
形態種別	論文
査読	査読あり
標題	Formal Verification in Society 5.0.
執筆形態	共著
掲載誌名	Proceedings of the 36th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI2022)
掲載区分	国内
巻・号・頁	pp.1S4-IS-1-01-1-1S4-IS-1-01-3
総ページ数	3
著者・共著者	◎Xiaoyun Guo, Guanhong Li
概要	With the accelerating development of AI technology, society has stepped into the 5.0 era and the level of digitization of society has been improved like never before. IoT systems have become the infrastructure of society, and their defects may have a huge impact on property and lives. High requirements for the safety, reliability, and security of IoT systems can be fulfilled by applying formal verification during the system design phase. However, the application prospects and potential problems of this approach in the Social 5.0 era are not clear. This work discusses the prospect of the application of formal verification by analyzing its applicability and the way it would be applied in IoT systems. We conclude that the safety, reliability, and security of IoT systems can be improved by the large-scale application of formal verification, in which case the security and privacy issues need to be considered.