SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems.
Alberto D. RodriguezTimothy NewmanKatherine R. DearstyneJane Cleland-HuangPublished in: ASE (2022)
Keyphrases
- software systems
- safety analysis
- software engineering
- source code
- safety critical
- software maintenance
- software architecture
- embedded systems
- software development
- software components
- component based software
- metamodel
- software testing
- fault model
- multi agent systems
- nuclear power plant
- dynamic programming
- control system
- query language
- data model
- program understanding
- case study
- software intensive systems
- artificial intelligence