ABSTRACT
There are several unpredictable and unknown parameters which affect the smart grid efficiency in comparison with a conventional power grid. A comprehensive dependability analysis is a key activity that assures the safety of the smart grid system. Depending on such study, the smart grid systems are planned and included with adequate Advanced Metering Infrastructure (AMI). Traditionally, the reliability study of smart grids is performed using arithmetic methods and techniques focussed on quantitative intelligence, but none of the techniques guarantee about absolute accuracy. As a better alternative, model checker is used for formal modelling of smart grid infrastructure. PRISM model checker on the basis of probability conducts reliability analysis of principle element of an AMI. AMI supports bidirectional communication between customer and the utility domain. This chapter gives the various issues, functionality, and reliability analysis of AMI on smart grid.
