Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process.

Ankit Agrawal Jane Cleland-Huang

Published in: REW (2023)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
development process
software quality
software development
life cycle
software architecture
knowledge based systems
reliability analysis
case study
real valued