Model-Driven Development of High-Assurance Active Medical Devices.
Atif MashkoorPublished in: CoRR (2017)
Keyphrases
- model driven development
- medical devices
- high assurance
- model driven
- software systems
- software design
- software development
- fault tolerant
- operating system
- business processes
- access control
- distributed systems
- modeling language
- service oriented
- databases
- business process
- commercial software
- database
- development process
- model checking
- finite state machines
- context aware
- location aware
- operating room
- case study
- information systems