隨著科技的發展，數十年內我們可以看到愈來愈多的以人為中心所設計的設備和服務出現在我們的日常生活當中。要如何順利並節省成本的開發出這類兼具使用彈性和安全性的設備成為開發者的一大難題。因此，我們設計了一套開發方法來幫助開發者開發及測試，這套方法包含了UCADS模型和USE模擬環境。UCADS模型結合了工作流和GOMS模型，使開發者可以很輕易且準確地描述機器和使用者的行為和互動，除此之外我們還設計了一套URDL語言用來描述機器所需要的資源。
UCADS模型最重要的優點是其本身是可執行的。因此，我們開發出以UCADS為輸入的USE模擬環境。此模擬環境幫助開法者去提早發現其所設計的設備或服務是否有設計缺陷，並測試是否有會造成設備或服務錯誤的仁機互動流程，USE模擬環境還能提供開發者使用者效能等重要資訊。除此之外USE模擬環境提供了許多可重複性使用元件，方便開發者建立UCADS模型並且實作。

This thesis presents a model-based approach to developing easily configurable, customizable and safe to use UCADS. The acronym UCADS stands for user-centric automation devices and systems/services, which include automation tools used by individuals and care-providing institutions for purposes of improving their quality of life and quality of care.
The two most important features in this model-based approach are UCADS model and UCADS simulation environment (USE). The UCADS model enables the device behavior, user actions and user-device interactions to be specified in terms of a model for requirement capture and design assessment purposes early in the development process.
UCADS simulation environment (USE) is designed for helping developers of UCADS to discover and fix design and implementation flaws that allow incorrect user-device interactions, in addition to assessing the performance of devices. USE as a development environment provides reusable models, resource components, tools and runtime environment needed to support this model-based development process.

1. J. Grudin, “Three faces of human-computer interaction,” IEEE Annals of the History of Computing, vol. 27, no. 4, pp. 46-62, 2005.
2. C. F. Hsu, Y. H. Liao, P. C. Hsiu, Y. S. Lin, C. S. Shih, T. W. Kuo, and J. W. S. Liu, “Smart pantries for homes,” in Proceedings of IEEE SMC, October 2006.
3. P. H. Tsai, T. Y. Chen, C. Y. Yu, C. S. Shih and J. W. S. Liu, "Smart medication dispenser: Design, architecture and implementation," IEEE Systems Journal, Issue 5.1, March, 2011.
4. Y. Hsu, C. E. Chiang, Y. H. Chien, H. W. Tseng, A. C. Pang, T. W. Kuo, and K. H. Chiang, “Walker’s buddy: an ultrasonic dangerous terrain detection system,” in Proceedings of IEEE SMC, October 2006.
5. T. S. Chou and J. W. S. Liu, “Design and Implementation of RFID-Based Object Locators,” in Proceedings of IEEE International Conference on RFID Technology, March 2007.
6. iRobot Home Robots. Available: http://www.irobot.com/
7. Forizzi, J. and C. DiSalvo, “Service robots in domestic environment: a study of Roomba vacuum in the home,” in Proceedings of ACM/IEEE International Conference on HRI, March 2006.
8. Kulyukin, V. A. and C. Gharpure, “Ergonomics-for-one in a robot shopping cart for the blind,” in Proceedings of ACM/IEEE International Conference on HRI, March 2006
9. Kaneshige, Y., M. Nihei, and M. G. Fujie, “Development of new mobility assistive robot for elderly people with body functional control,” in Proceedings of IEEE/RAS-EMBS, February 2006.
10. Lin, C. H., Y. Q. Wang and K. T. Song, “Personal assistant robot,” in Proceedings of IEEE International Conference on Mechatronics, July 2005.
11. Mataric, M. J., J. Eriksson, D. J. Feil-Seifer, C. J. Winstein, “Socially assistive robotics for post-stroke rehabilitation,” in Journal of Neuroengineering and Rehabilitation, Vol. 4, No. 5, 2007
12. Gockley R., and M. J. Mataric, “Encouraging physical therapy compliance with hand-off mobile robot,” in Proceedings of ACM/IEEE International Conference on HRI, March 2006.
13. Thrun, S., “Toward a framework for human-robot interaction,” in Human-Computer Interaction, Vol. 19, 2004.
14. Fong, T., I. Nourbakhsh, and K. Dautenhahn, “A survey of socially interactive robots,” in Robotics and Autonomous Systems, Vol. 42, 2003.
15. P. H. Tsai, Y. T. Chuang, T. S. Chou, C. S. Shih and J. W. S. Liu, "iNuC: An Intelligent Mobile Medication Cart," in Proceedings of the 2nd International Conference on Biomedical Engineering and Informatics, October 2009.
16. J. W. S. Liu, C. S. Shih, C. T. Tan and V. J. S. Wu, "MeMDAS: Medication Management, Dispensing and Administration Systems," Journal of eHealth Technology and Application, to be published.
17. WfMC: Workflow Management Coalition. Available: http://www.wfmc.org/
18. B. Bukovics, Pro WF: Windows Workflow in .NET 4. Apress, 2010.
19. B. E. John and D. E. Kieras, "The GOMS family of user interface analysis techniques: Comparison and contrast," ACM Trans. On Computer-Human Interaction, vol. 3, pp. 320-351, 1996.
20. S. K. Card, T. P. Moran and A. P. Newell, The Psychology of Human-Computer Interaction, Lawrence Erlbaum Associates, 1983.
21. D. Gay, P. Levis, R. v. Behren, M. Welsh, E. Brewer and D. Culler, "The nesC language: A holistic approach to networked embedded systems," in Proceedings of ACM SIGPLAN, San Diego, California, USA, 2003.
22. nesC: A Programming Language for Deeply Networked Systems. Available: http://nescc.sourceforge.net/
23. Windows Workflow Foundation. Available: http://msdn.microsoft.com/en-us/netframework/aa663328.aspx
24. Bonita. Available: http://java-source.net/open-source/workflow-engines
25. T. S. Chou, et al., "EMWF: A middleware for flexible automation and assistive devices," in Proceedings of Software Technologies for Embedded and Ubiquitous Systems, vol. 6399, 2011, pp. 191-203.
26. Component Based Development (CBD). Available: http://en.wikipedia.org/wiki/Component-based_software_engineering
27. M. Torngren, C. DeJiu and I. Crnkovic, "Component-based vs. model-based development: a comparison in the context of vehicular embedded systems," in Proceedings of 31st EUROMICRO Conf. Software Engineering and Advanced Applications, 2005.
28. J. Fredriksson, et al., "Component based software engineering for embedded systems - A literature survey," Mälardalen Real-Time Research Centre, Mälardalen University, MRTC Rep. ISSN 1404-3041 ISRN MDH-MRTC-102/2003-1-SE, 2003.
29. I. Crnkovic, "Component-based software engineering for embedded systems," in Proceedings of 27th International Conf. Software Engineering, 2005.
30. I. Crnkovic, et al., "COTS: Component-based embedded systems – A dream or reality?," in Proceedings of Int. Conf. COTS-Based Software Systems, vol. 3412, 2005.
31. TinyOS. Available: http://www.tinyos.net/
32. T. Wisspeintner, W. Nowak and A. Bredenfeld, "VolksBot - A flexible component-based mobile robot system," in Robocup 2005: Robot Soccer World Cup IX, vol. 4020, 2006, pp. 716-723.
33. R. Passama, D. Andreu, C. Dony and T. Libourel Rouge, "Overview of a new robot controller development methodology," presented at CAR'06: Control Architectures of Robots: Software Approaches and Issues, 2006.
34. Orca: Components for Robotics. Available: http://orca-robotics.sourceforge.net/
35. J. Muskens, M. R. V. Chaudron and J. J. Lukkien, "A component framework for consumer electronics middleware," Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends, vol. 3778, pp. 164-184, 2005.
36. Architecture Analysis and Design Language. Available: http://www.sei.cmu.edu/dependability/tools/aadl/
37. Acme. Available: http://www.cs.cmu.edu/~acme/
38. Rapide. Available: http://complexevents.com/stanford/rapide
39. Introduction to Microsoft Robotic Studio. Available: http://msdn2.microsoft.com/enus/library/bb483024.aspx.
40. Baum, D., M. Gasperi, R. Hempel and L. Villa, Extreme MINDSTORMS, APRESSTM publication. 2009.
41. Montemerlo, M., N. Roy and S. Thrun., “Perspectives on standardization in mobile robot programming: the CARMEN toolkit,” in Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 2003.
42. Issa A. D. Nesnas , Anne Wright , Max Bajracharya , Reid Simmons and Tara Estlin, “CLARAty and challenges in developing interoperable robotic software,” in Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 2003.
43. Makarenko, A., A. Brooks and T. Kaupp., “ORCA: components for robotics,” in Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006.
44. Bruyninckx, H., “Open robot control software: the OROCOS project,” in Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001.
45. Simulink. Available: http://www.mathworks.com/products/simulink/
46. Modelica. Available: https://www.modelica.org/
47. Pajunen, L. and S. Chande, “Developing workflow engine for mobile devices,” in Proceedings of IEEE International Enterprise Distributed Object Computing Conference, 2007.
48. Hackmann, G., M. Haitjema, C. Gill, and G. C. Roman, “Silver: A BPEL workflow process execution engine for mobile devices,” in Proceedings of Conference on Service Oriented Computing, 2006.
49. B. Bukovics, Pro WF: Windows Workflow in .NET 4. Apress, 2010.
50. XPDL (XML Process Definition Language). Available: http://www.wfmc.org/xpdl.html
51. BPEL (Business Process Execution Language). Available: http://en.wikipedia.org/wiki/BPEL
52. TWE: Together XPDL and BPMN Workflow Editor. Available: http://www.together.at/prod/workflow/twe
53. BPMN (Business Process Modeling Notation). Available: http://www.bpmn.org/
54. BPEL4People. Available: http://en.wikipedia.org/wiki/BPEL4People
55. Pajunen, L.a.S.C., “Developing workflow engine for mobile devices,” in Proceedings of IEEE International Enterprise Distributed Object Computing Conference, 2007.
56. Web Services Description Language. Available: http://www.w3.org/TR/wsdl
57. Sen, R., Roman, G.C., Gill, C.D., “CiAN: A workflow engine for MANETs,” in Proceedings of the 10th international conference on Coordination models and languages, 2008.
58. John, B. E. (1995) Why GOMS? Interactions, vol. 2, no. 4. pp. 80-89.
59. John, B. E. and Kieras, D. E., “Using GOMS for User Interface Design and Evaluation: Which Technique?” in ACM Transactions on Computer-Human Interaction, Volume 3, Issue 4, December 1996.
60. Lu Luo, and Bonnie E. John, “Predicting task execution time on handheld devices using the keystroke-level model,” in Conference on Human Factors in Computing Systems (CHI '05), Portland, OR, April 2005.
61. John, B. E. and Suzuki, S., “Toward Cognitive Modeling for Predicting Usability,” in Proceedings of HCI, 2009 (19-24 July 09, San Diego, CA).
62. J. L. Drury, J. Scholtz, and D. Kieras, “Adapting GOMS to model human-robot interaction,” in Proceedings of the ACM/IEEE international conference on Human-robot interaction, Arlington, Virginia, March USA , 2007.
63. S. K. Card, T. P. Moran, and A. Newell, “The keystroke-level model for user performance time with interactive systems,” in Communications of the ACM, 23(7), 396-410, 1980.
64. Kieras, D. E. (1997). A guide to GOMS model usability evaluation using NGOMSL. M. Helander, T. Landauer, and P. Prabhu (Eds.), Handbook of human-computer interaction. (Second Edition). Amsterdam: North-Holland.
65. Bonnie E. John, “Extension of GOMS analyses to expert performance requiring perception of dynamic visual and auditory information,” in Proceedings of the 1990 Conference on Human Factors in Computing Systems, Seattle, April, 1990.
66. J. L. Drury, J. Scholtz, and D. Kieras, “Adapting GOMS to model human-robot interaction,” in Proceedings of the ACM/IEEE international conference on Human-robot interaction, Arlington, Virginia, March USA , 2007.
67. Beard, David V., Smith, Dana K. & Denelsbeck, Kevin M., “Quick and Dirty GOMS: A Case Study of Computed Tomography,” Human-Computer Interaction, 11 (2) p.157-180.
68. Williams, K. E., “Computer-aided GOMS: A description and evaluation of a tool that integrates existing research for modeling human-computer interaction,” International Journal of Human-Computer Interaction, 18, 39–58.
69. Kieras, D.E., Wood, S.D., Abotel K. and Hornof, A., “GLEAN: a computer-based tool for rapid GOMS model usability evaluation of user interface designs,” in Proceedings of the 8th annual ACM symposium on User interface and software technology 1995.
70. Baumeister, L., John, B. E. and Byrne, M., “A Comparison of Tools for Building GOMS Models. CHI 2000,” in Proceedings of ACM Conference on Human Factors in Computing Systems, CHI Letters 2(1), 502-509.
71. Kirwan, B., & Ainsworth, L. K. (1992). A Guide to Task Analysis. London: Taylor and Francis.
72. Hudson, S. E., John, B. E., Knudsen, K., and Byrne, M. D., “A tool for creating predictive performance models from user interface demonstrations,” in Proceedings of the ACM Symposium on User Interface Software and Technology, 1999, CHI Letters 1(1), 93-102.
73. Hudson, S., and Stasko, J., “Animation Support in User Interface Toolkits: Flexible, Robust, and Reusable Abstractions,” in Proceedings of the ACM Symposium on User Interface Software and Technology, 1995.
74. John, B., Vera, A., Matessa, M., Freed, M., and Remington, R., “Automating CPM-GOMS,” in Proceedings of ACM Conference on Human Factors in Computing Systems, 2002, CHI Letters 4(1), 147-154.
75. Freed, M., “Managing multiple tasks in complex, dynamic environments,” in Proceedings of the 1998 National Conference on Artificial Intelligence, Cambridge, MA.
76. Patton, E. W., Gray, W. D., & Schoelles, M. J., “SANLab-CM - The Stochastic Activity Networking Laboratory for Cognitive Modeling,” in Proceedings of the 53rd Human Factors and Ergonomics Society Conference, 2009.
77. Preferred walking speed. Available http://en.wikipedia.org/wiki/Preferred_walking_speed
78. CogTool. Available: http://cogtool.hcii.cs.cmu.edu/
79. Lin, J., Newman, M. W., Hong, J., and Landay, J. A., “Denim: An Informal Tool for Early Stage Web Site Design,” in Extended Abstracts on ACM Human Factors in Computing Systems (CHI 2001), pp. 205--206, New York.
80. Hartmann, B., Klemmer, S.R., Bernstein, M., Abdulla, L., Burr, B., Robinson-Mosher, A., Gee, J., “Reflective physical prototyping through integrated design, test, and analysis,” in Proceedings of UIST 2006, October 2006.
81. Harel, D., “Statecharts: A visual formalism for complex systems,” Science of Computer Programming 8(3). pp. 231-74, 1987.
82. Barboni, E., Ladry, J., Navarre, D., Palanque, P., and Winckler, M., “Beyond modeling: an integrated environment supporting co-execution of tasks and systems models,” in Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive Computing Systems (Berlin, Germany, June 19 - 23, 2010). EICS '10. ACM, New York, NY, 165-174.
83. Tsun S. Chow, “Testing Software Designed Modeled by Finite-State Machines”, IEEE Transaction on Software Engineering, vol. 4, pp.178-187, 1978.
84. E. Farchi, A. Hartman, and S.S. Pinter, “Using a Model-Based Test Generator to Test for Standard Conformance,” IBM Systems Journal, vol. 41, no. 1, pp. 89-110, 2002.
85. L. Lucio, L. Pedro, and D. Buchs, “A Methodology and a Framework for Model-Based Testing,” Rapid Integration of Software Engineering Techniques, N. Guelfi, ed., pp. 57-70, Springer, 2005.
86. J.A. Whittaker, “Stochastic Software Testing,” Annals of Software Engineering, vol. 4, pp. 115-131, 1997.
87. L. White and H. Almezen, “Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences,” in Proceedings of 11th International Symposium on Software Reliability Engineering, p. 110, 2000.
88. F. Belli, “Finite-State Testing and Analysis of Graphical User Interfaces,” in Proceedings of 12th International Symposium on Software Reliability Engineering, pp. 34-43, 2001.
89. F. Belli and C.J. Budnik, “Test Minimization for Human-Computer Interaction,” Applied Intelligence, vol. 26, no. 2, pp. 161-174, 2007.
90. Xun Yuan, Myra B. Cohen, Atif M. Memon: GUI Interaction Testing: Incorporating Event Context. IEEE Transaction on Software Engineering 37(4): 559-574 (2011)
91. J. Liberty, Programming in C#, O’Reilly, 2001.
92. XAML (Extensible Application Markup Language), Available: http://en.wikipedia.org/wiki/Extensible_Application_Markup_Language
93. Paul M. Fitts. The information capacity of the human motor system in controlling the amplitude of movement. Journal of Experimental Psychology, volume 47, number 6, June 1954, pp. 381-391.
94. The ns-3 Network Simulator. Available: http://www.nsnam.org/
95. SENSE: Sensor Network Simulator and Emulator. Available: http://www.ita.cs.rpi.edu/sense/index.html
96. SkyEye. Available: http://skyeye.sourceforge.net/index.shtml
97. MobileSim. Available: http://robots.mobilerobots.com/wiki/MobileSim
98. Webots. Available: http://www.cyberbotics.com/
99. SIMILE Widgets, Free, Open-Source Data Visualization Web Widgets, and More. Available: http://www.simile-widgets.org/
100. Tsai, P. H., C. S. Shih, and J. W. S. Liu, “Algorithms for scheduling multiple interacting medications,” Foundations of Computing and Decision Sciences, Vol. 34, No. 4, 2009.
101. Zipf’s law. Available: http://en.wikipedia.org/wiki/Zipf's_law
102. P. H. Tsai, C. Y. Yu, W. Y. Wang, J. K. Zao, H. C. Yeh, C. S. Shih, and J. W. S. Liu, "iMAT: Intelligent Medication Administration Tools," in Proceedings of IEEE Healthcom, July 2010.
103. E. G. Poon, et.al, "Effect of Bar-Code Technology on the Safety of Medication Administration," N. England Journal Medicine, 2010.
104. Rx Showcase. Available: http://www.rxinsider.com/prescription_dispensing_automation.htm
105. InfoLogix Ultra Rx Medication Cart. Available: http://www.infologix.com/pdf/infologix-mobile-workstation-ultra-rx.pdf