|
Guanhong LI
Department Kyoto University of Foreign Studies Department of Global Tourism, Faculty of Global Engagement Position Assistant Professor-lecturer |
|
| Language | English |
| Publication Date | 2022/06 |
| Type | Academic Paper |
| Peer Review | Peer reviewed |
| Title | Formal Verification in Society 5.0. |
| Contribution Type | Multiple author(s) |
| Journal | Proceedings of the 36th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI2022) |
| Journal Type | Japan |
| Volume, Issue, Page | pp.1S4-IS-1-01-1-1S4-IS-1-01-3 |
| Total page number | 3 |
| Author and coauthor | ◎Xiaoyun Guo, Guanhong Li |
| Details | 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. |