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 SumitSandeep KumarLalit Kumar SinghAlok MishraPublished in: Inf. Softw. Technol. (2022)
Keyphrases
- petri net
- nuclear power plant
- safety critical
- safety analysis
- industrial systems
- safe operation
- industrial applications
- petri net model
- fault diagnosis
- nuclear power
- condition monitoring
- fault tolerant
- manufacturing systems
- formal methods
- computational intelligence
- embedded systems
- agent architecture
- fuzzy petri net
- colored petri nets
- service composition
- support systems
- software systems
- fuzzy control
- intelligent systems
- software development
- ims ld
- complex systems
- knowledge base
- neural network
- knowledge acquisition
- source code
- low cost
- expert systems