High-integrity agile processes for the development of safety critical software.
Richard F. PaigeAndy GallowayRamon CharalambousXiaocheng GePhillip J. BrookePublished in: Int. J. Crit. Comput. Based Syst. (2011)
Keyphrases
- safety critical
- support systems
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- nuclear power plant
- agent architecture
- software development processes
- development process
- development processes
- software engineering
- software development
- case study
- regulatory requirements
- adaptive systems
- software process
- software systems
- real time
- development cycle
- multi agent systems
- learning environment
- decision making
- artificial intelligence
- agile software development