(A) dependability modeling of software under hardware faults digitized system in nuclear power plants = 하드웨어의 영향을 고려한 소프트웨어의 신뢰성 평가방법에 관한 연구