Case studies for model driven engineering in mobile robotics

Abstract

Case studies for model driven engineering in mobile robotics Page 1 Case studies for model driven engineering in mobile robotics Bruce MacDonald Partha S Roop Tanveer Abbas Chandimal Jayawardena Chandan Datta Jamie Diprose* John Hosking* Zeeshan E Bhatti Robotics Laboratory Department of Electrical and Computer Engineering *Department of Computer Science University of Auckland 9 May 2011 Page 2 Outline • Model driven engineering • Case studies: 1. Customization tools for different human roles 2. Defining interactions 3. Programming by demonstration 4. Visual programming 5. Safety critical robotics Page 3 Model driven engineering Designer provides high level specification • Sound formal model – Ideal case: amenable to formal checking • Visual design tools • Cognitively appropriate for human designer roles eg medication management in healthcare – Developers (software development …