Predicting reliability of software in industrial systems using a Petri net based approach: A case study on a safety system used in nuclear power plant
Kuldeep Kumar, Sumit, Sandeep Kumar, Lalit Kumar Singh, Alok Mishra
Topics & Concepts
Petri netStochastic Petri netReachabilityMarkov chainReliability engineeringComputer scienceFault tree analysisReliability (semiconductor)Markov modelState spaceReliability block diagramMarkov processTheoretical computer scienceDistributed computingEngineeringPower (physics)MathematicsMachine learningPhysicsStatisticsQuantum mechanicsSoftware Reliability and Analysis ResearchRisk and Safety AnalysisReliability and Maintenance Optimization