在傳統的嵌入式系統開發流程中，從開發、驗證甚至佈署，容錯性均不高。只要一個環節出錯，後續的更新代價相當昂貴，通常都必須透過USB、JTAG等實體線材重新進行程式碼燒錄，耗費許多時間與人力成本。
本論文利用GRAFCET虛擬機器的特性，用此作為嵌入式軟體架構來設計機器人系統開發平台。並將其實作於ARM Coretex-M4為核心的智慧型IO控制器SIOC上。同時搭配開發Android行動裝置平台上的圖形化GRAFCET編輯程式以產生GPP。以這兩種搭配成為一個具有快速開發、驗證以及主、被動更新能力的機器人開發平台。並且透過實驗驗證，這種開發方式可以突破傳統的嵌入式系統開發思維，使得雲端也可能成為嵌入式系統程式來源的一部分。

It is strict in developing embedded system using ordinary ways. From developing, verifying to deploying, a potential problem could cause a hung problem later. If there are serious bugs in deployed embedded systems, many tools such as USB, JTAG or other fixture, human resources and time are required for flashing the corrected firmware into the embedded system to fix bugs.
This paper applying the schema of embedded GRAFCET virtual machine as embedded robot development platform. We implement the embedded part of this platform on an ARM Coretex-M3 based intelligent I/O controller called SIOC. An GUI based application for Android mobile device platform was also implemented as the development part of this platform. A developer can easily use this platform as a rapid development platform for developing robot applications.
Through the experiments we also notice this development platform is a much more powerful than ordinary embedded development platforms. Integrating the cloud resources as part of embedded system is possible by using our development platform.

[1] Douglas C. Schmidt , Aniruddha Gokhale , Richard E. Schantz , Joseph P. Loyall, “Middleware R&D challenges for distributed real-time and embedded systems”, ACM SIGBED Review, v.1 n.1, p.6-12, April 2004
[2] Jozef Hooman , Teun Hendriks, “Model-Based Run-Time Error Detection”, Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, Springer-Verlag, Berlin, Heidelberg, 2008
[3] ARM Ltd., http://www.arm.com/products/processors/index.php
[4] 柳家瑋, “基於GRAFCET虛擬機器之無線感測制動網路”, 國立中央大學資訊工程研究所碩士論文, 2011
[5] SONY Corp., http://www.sony.net/SonyInfo/News/Press_Archive/199905/99-046/
[6] Innvo Labs Corp., http://www.pleoworld.com/pleo_rb/eng/index.php
[7] LEGO Mindstorms, http://mindstorms.lego.com/en-us/Default.aspx
[8] cubie, “LEGO MINDSTORMS樂高機器人套件簡介”, http://swf.com.tw/?p=62
[9] Wikipedia, http://zh.wikipedia.org/wiki/%E5%8F%AF%E7%A8%8B%E5%BC%8F%E9%82%8F%E8%BC%AF%E6%8E%A7%E5%88%B6%E5%99%A8
[10] Wikipedia, http://en.wikipedia.org/wiki/File:Lego_Mindstorms_Nxt-FLL.jpg
[11] LEGO Mindstorms, http://shop.lego.com/en-US/NXT-Intelligent-Brick-9841
[12] LEGO Mindstorms, LEGO MINDSTORMS NXT Hardware Developer Kit
[13] 劉思廷, “智慧型機器人的嵌入式平台,” 國立中央大學資訊工程研究所碩士論文,2008
[14] Ching-Han Chen, Chia-Ming Kuo, Chen-Yuan Chen and Jia-Hong Dai, “The design and synthesis using hierarchical robotic discrete-event Modeling”. Journal of Vibration and Control, doi:10.1177/1077546312449645., 2012
[15] Petri, C. A., “Kommunikation mit Automaten, Schriften des Rheinisch”, Westfalischen Institutes fur Intrumentelle Mathematik and Der Universitat Bon, 1962, translation bt Greene, C. F. Applied Data Research Inc., Suppl. 1 to Tech Report RADC-TR-65-337, N.Y.,1965.
[16] 謝欣蓓. “整合GRAFCET虛擬機器的智慧型控制器開發平台”, 國立中央大學資訊工程研究所碩士論文, 2011
[17] CHEN, Ching-Han; DAI, Jia_Hong, “Design and high-level synthesis of discrete-event controller”, National Conference of Automatic Control and Mechtronics System, vol.1, pp. 610–615, 2002
[18] 陳慶瀚, “智慧型IO控制器(SIOC)與應用系統開發”, MIAT實驗室講義, 2010
[19] Android SDK, http://developer.android.com/sdk/index.html, Google Inc..