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

Ankit Agrawal Jane Cleland-Huang

Published in: CoRR (2023)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
software development
software quality
life cycle
development process
learning systems
artificial intelligence
software architecture
agent architecture
condition monitoring