CAJ | 학술논문

随着信息技术的快速发展，信息和通信技术（ ICT）系统被广泛使用，因而其可靠性非常重要。本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论，主要从3种时序逻辑的语法、语义及它们的异同进行比较分析，为ICT的可靠性检测分析提供了理论借鉴。
수착신식기술적쾌속발전，신식화통신기술（ ICT）계통피엄범사용，인이기가고성비상중요。본문채용시서라집적형식화방법대ICT계통진행가고성검측토론，주요종3충시서라집적어법、어의급타문적이동진행비교분석，위ICT적가고성검측분석제공료이론차감。
With the rapid development of information technology,information and communication technology ( ICT)systems are widely used in kinds of fields. Therefore,its reliability is of great importance. In this paper,the formal method of temporal logic is employed for reliability testing on ICT system. The syntax and semantics of three temporal logics,as well as their similarities and differences are compared and analyzed,to provide a theoretical reference for reliability testing on ICT system.