Model-driven development of high-assurance active medical devices.
Atif MashkoorPublished in: Softw. Qual. J. (2016)
Keyphrases
- model driven development
- medical devices
- high assurance
- model driven
- software systems
- software development
- software design
- fault tolerant
- service oriented
- access control
- distributed systems
- service oriented architecture
- business processes
- modeling language
- software engineering
- operating system
- web services
- databases
- real world
- data mining
- relational databases
- data analysis
- modeling framework
- platform independent
- information systems
- operating room
- commercial software
- location aware
- data collection
- x ray
- database