Approach to the development of a Unified Framework for Safety Critical Software Development.
Andrzej Beniamin BujokSilvana Togneri MacMahonPeadar F. GrantDick WhelanWilliam J. RickardFergal McCafferyPublished in: Comput. Stand. Interfaces (2017)
Keyphrases
- safety critical
- software development
- software engineering
- formal methods
- development process
- fault tolerant
- embedded systems
- software developers
- safety analysis
- nuclear power plant
- agent architecture
- regulatory requirements
- support systems
- adaptive systems
- decision support
- requirements engineering
- case study
- software components
- monitoring system
- knowledge based systems
- e learning
- decision making