Safety Critical Software Development - Extending Quality Management System Practices to Achieve Compliance with Regulatory Requirements.
Andrzej Beniamin BujokSilvana Togneri MacMahonFergal McCafferyDick WhelanBernard MulcahyWilliam J. RickardPublished in: SPICE (2016)
Keyphrases
- regulatory requirements
- safety critical
- sql server
- management system
- software development
- formal methods
- embedded systems
- fault tolerant
- agent architecture
- case study
- database design
- project management
- business intelligence
- support systems
- real time
- decision support system
- software engineering
- medical devices
- databases
- development process
- software systems
- database applications
- distributed systems
- artificial intelligence
- machine learning
- database management systems
- formal specification
- data warehouse
- data analysis
- data mining