Toward Integrating a System Theoretic Safety Analysis in an Agile Development Process.
Yang WangStefan WagnerPublished in: Software Engineering (Workshops) (2016)
Keyphrases
- development process
- safety analysis
- software development
- nuclear power plant
- software engineering
- safety critical
- case study
- control system
- fault model
- metamodel
- symbolic model checking
- systems development
- development processes
- software projects
- software development processes
- design process
- software quality
- reliability analysis
- fault tolerant
- decision making
- artificial intelligence
- multi agent systems
- machine learning
- databases