scholarly journals A unifying software architecture for model-based visual tracking

2008 ◽  
Author(s):  
Giorgio Panin ◽  
Claus Lenz ◽  
Martin Wojtczyk ◽  
Suraj Nair ◽  
Erwin Roth ◽  
...  
Keyword(s):  
Software Architecture ◽  
Visual Tracking ◽  
Model Based

scholarly journals Model-Based Engineering for Medical-Device Software

2010 ◽  
Vol 44 (6) ◽  
pp. 507-518 ◽  
Author(s):  
Arnab Ray ◽  
Raoul Jetley ◽  
Paul L. Jones ◽  
Yi Zhang
Keyword(s):  
Software Architecture ◽  
Formal Verification ◽  
Medical Device ◽  
Infusion Pump ◽  
Design Information ◽  
Safety Requirements ◽  
Model Based ◽  
Medical Device Software ◽  
Efficient Construction ◽  
Design Techniques

Abstract This paper demonstrates the benefits of adopting model-based design techniques for engineering medical device software. By using a patient-controlled analgesic (PCA) infusion pump as a candidate medical device, the authors show how using models to capture design information allows for i) fast and efficient construction of executable device prototypes ii) creation of a standard, reusable baseline software architecture for a particular device family, iii) formal verification of the design against safety requirements, and iv) creation of a safety framework that reduces verification costs for future versions of the device software.1

scholarly journals A Software Architecture for Model-Based Programming of Robot Systems

2009 ◽  
pp. 135-146 ◽  
Author(s):  
Michael Geisinger ◽  
Simon Barner ◽  
Martin Wojtczyk ◽  
Alois Knoll
Keyword(s):  
Software Architecture ◽  
Model Based ◽  
Robot Systems

scholarly journals Teaching and implementing autonomous robotic lab walkthroughs in a biotech laboratory through model-based visual tracking

2010 ◽  
Author(s):  
Martin Wojtczyk ◽  
Giorgio Panin ◽  
Thorsten Röder ◽  
Claus Lenz ◽  
Suraj Nair ◽  
...  
Keyword(s):  
Visual Tracking ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document