SysML-based and Prolog-supported FMEA.
Fabio ScippacercolaRoberto PietrantuonoStefano RussoNuno Pedro SilvaPublished in: ISSRE Workshops (2015)
Keyphrases
- safety analysis
- nuclear power plant
- control system
- expert systems
- logic programming
- fault model
- safety critical
- symbolic model checking
- programming language
- formal methods
- knowledge representation
- failure modes
- model checking
- modeling language
- prolog programs
- knowledge base
- programming paradigms
- neural network
- abstract machine
- logic programming language
- decision trees
- artificial intelligence
- genetic algorithm