Integrating Existing Safety Analyses into SysML.

Kester Dean Clegg Mole Li David Stamp Alan Grigg John McDermid

Published in: IMBSA (2019)

Keyphrases

safety analysis
safety critical
formal methods
nuclear power plant
modeling language
control system
database
genetic algorithm
statistical analysis
error analysis
fault model
neural network
information systems
symbolic representation
symbolic model checking