Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing.
Hafiza Maria MaqsoodEduardo Martins GuerraXiaofeng WangAndrea BondavalliPublished in: EuroPLoP (2020)
Keyphrases
- safety critical
- safety analysis
- formal methods
- regulatory requirements
- fault tolerant
- support systems
- embedded systems
- agent architecture
- nuclear power plant
- software intensive systems
- adaptive systems
- real time
- software engineering
- machine learning
- design patterns
- semi automatic
- knowledge based systems
- requirements engineering
- low cost