How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study.
Paolo ArcainiSilvia BonfantiAngelo GargantiniElvinia RiccobenePublished in: ABZ (2016)
Keyphrases
- case study
- software development
- computer systems
- safety critical
- software design
- software maintenance
- learning algorithm
- software tools
- development process
- software architecture
- software systems
- real world
- user interface
- business process
- source code
- safety analysis
- hardware design
- medical domain
- software package
- website
- human resources
- medical diagnosis
- open source
- quality assessment
- medical images
- lessons learned
- medical imaging