Situational Factors in Safety Critical Software Development.
Risto NevalainenPaul M. ClarkeFergal McCafferyRory V. O'ConnorTimo VarkoiPublished in: EuroSPI (2016)
Keyphrases
- safety critical
- software development
- fault tolerant
- formal methods
- embedded systems
- safety analysis
- agent architecture
- nuclear power plant
- software systems
- software engineering
- support systems
- development process
- regulatory requirements
- case study
- adaptive systems
- software components
- real time
- knowledge acquisition
- low cost