Meshing agile and plan-driven development in safety-critical software: a case study.
Lise Tordrup HeeagerPeter Axel NielsenPublished in: Empir. Softw. Eng. (2020)
Keyphrases
- safety critical
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- support systems
- nuclear power plant
- agent architecture
- development process
- case study
- software engineering
- software development
- regulatory requirements
- development cycle
- adaptive systems
- project management
- load balancing
- learning systems
- open source
- low cost
- cooperative
- information systems