Safety-assured development of the GPCA infusion pump software.
BaekGyu KimAnaheed AyoubOleg SokolskyInsup LeePaul L. JonesYi ZhangRaoul Praful JetleyPublished in: EMSOFT (2011)
Keyphrases
- safety critical
- development cycle
- development process
- software design
- software development
- software developers
- product line
- technical issues
- design tools
- software systems
- principal component analysis
- software engineering
- software projects
- software testing
- formal methods
- software application
- computer systems
- case study
- development lifecycle
- commercial off the shelf
- safety analysis
- cross platform
- development environment
- optimal design
- software tools