The objective of this chapter is to discuss two approaches for reliability analysis of digital instrumentation and control systems in nuclear power plants taking into account the regulatory side. Dynamic Flowgraph Methodology (DFM) and Markov/Cell-to-Cell Mapping Technique (CCMT) are discussed and case studies developed are presented. These case studies involve simplified control systems for a steam generator and a pressurizer of a Pressurized Water Reactor (PWR) plant for the purpose of evaluating each method. Advantages and limitations of each approach are addressed. For the DFM approach, three concerns in the literature are addressed: modeling of the system itself, incorporation of the methodology results into existing Probabilistic Safety Assessments (PSA), and identification of software failures. The Markov/CCMT, which has been used in dynamic probabilistic safety assessments, is approached by means of a simplified digitally controlled water volume control system. The Markov/CCMT methodology results in detailed data of the system reliability behavior in relation to time. However, it demands a higher computational effort than usual as the complexity (i.e., number of components and failure states) of the system increases. As a regulatory research conclusion, the methodologies presented can be used on PSA risk informed assessment, contributing to the regulatory side.