智慧聯網(Internet of Things，IoT)的感測節點通常數量繁多，並且受限於地域的關係，開發者無法快速且即時地開發或更新程式，而且嵌入式系統的開發通常需要掌握多方領域的知識與技術，如各種感測器與致動器的驅動、控制和通訊協定等，因此需要耗費大量的開發時間與成本。
本論文提出一個智慧聯網嵌入式系統的開發平台，以GRAFCET虛擬機器(GRAFCET Virtual Machine，GVM)做為聯網嵌入式系統的微核心，讓使用者能以GRAFCET圖形語言快速建立系統雛形，縮減開發時間。並且設計一個以Web界面的GRAFCET應用程式(GRAFCET Application，GPP)編輯器，使得開發環境不再侷限於電腦上，在手機或平板電腦亦能進行遠端應用系統的開發。藉由此一平台，遠端的開發者只需使用此編輯器將應用系統行為以GRAFCET圖形語言進行描述，並且編碼後傳送至遠端節點中的GRAFCET虛擬機器解譯，執行相對應的系統控制。
考量到目前多核心嵌入式系統開發不易，本論文提出一個分散式多核心嵌入式系統設計方法論，在上述開發平台上，套用分散式運算的概念，將多個微核心以串列通訊並接，透過Modbus協定建立主從式的通訊關係，令系統可達到多核心的效能，開發上更為快速。在論文最後，我們以兩個智慧聯網應用系統的開發實例來證明本論文所提出之智慧聯網嵌入式平台與設計方法論的可行性。

關鍵字：智慧聯網、快速雛型化、GRAFCET虛擬機器

In developing an Internet of Things (IoT) system, developers can hardly modify or develop programs efficiently because of a large number of sensor nodes and limited locations. Multi-domain knowledge and technologies, such as drivers, controls, and protocols of sensors or actuators, are also required in the development of embedded systems. Thus, a big amount of time and cost are needed for development.
This thesis proposes an IoT embedded system development platform using GRAFCET virtual machine (GVM) as a microkernel. It allows users to quickly build the system model with the graphical language, GRAFCET. We also designed a Web GRAFCET Application (GPP) editor, making the development environment is no longer confined to the desktop computer. Application system development can be made remotely by mobile phones or tablets. With GPP, remote developers can simply describe application system behaviors by using GRAFCET. Then, GPP editor will transmit a coded GRAFCET to the GVM in the remote node to execute the corresponding system control.
Taking into consideration that the difficulty of multi-core embedded system development, we propose a distributed multi-core embedded system design methodology, In our IoT embedded system development platform, the concept of distributed computing is applied. Micro-cores can make the connections with others by serial communication. The master-slave communication relationship is also established by the Modbus protocol. Therefore, the system can achieve a multi-core performance and a more efficient development.
Finally, we verified the feasibility of the proposed IoT embedded system development platform and the distributed multi-core embedded system design methodology with two development examples of IoT application system.

Keyword：Internet of Thing(IoT)、rapid prototype、GRAFCET Virtual Machine(GVM)

[1] C. Floerkemeier, M. Langheinrich, and Elgar, The Internet of Things: Springer, 2008.
[2] A. I. D. Giusto, G. Morabito, L. Atzori (Eds.), The Internet of Things: Springer, 2010.
[3] 常賽, "基於專用物聯網的遠端更新技術研究與應用," 蘇州大學, 2011.
[4] M. Barr and A. J. Massa, Progarmming embedded systems:with C and GNU development tools.: O’Reilly., 2006.
[5] W. A. Gaubatz, "Rapid Prototyping," in Aerospace Applications Conference, Aspen, CO 1996, pp. 303 - 311.
[6] 謝欣蓓, "整合GRAFCET虛擬機器的智慧型控制器開發平台," 國立中央大學資訊工程學系碩士論文, 2011.
[7] ITU, "ITU Internet Reports 2005: The Internet of Things," 2005.
[8] T. Y. Wu, G. H. Liaw, S. W. Huang, W. T. Lee, and C. C. Wu, "A GA-based mobile RFID localization scheme for internet of things," Personal and Ubiquitous Computing, vol. 16, pp. 245-258, Mar 2012.
[9] S. Hong, D. Kim, M. Ha, S. Bae, S. J. Park, W. Y. Jung, and J. E. Kim, "Snail: An Ip-Based Wireless Sensor Network Approach to the Internet of Things," IEEE Wireless Communications, vol. 17, pp. 34-42, Dec 2010.
[10] J. O. Hamblen and G. M. E. van Bekkum, "An Embedded Systems Laboratory to Support Rapid Prototyping of Robotics and the Internet of Things," IEEE Transactions on Education, vol. 56, pp. 121-128, Feb 2013.
[11] L. a. W.Royce, "Status Report:Computer-Aided Prototying," IEEE Software, vol. 9, pp. 77-81, Nov. 1992.
[12] F. K. a. Luqi, "An Introduction to Rapid System Prototyping," IEEE Transactions on Software Engineering, vol. 28, pp. 817 - 821, Sep 2002.
[13] Mbed Compiler. Available: http://mbed.org/handbook/mbed-Compiler
[14] Proteus. Available: http://www.labcenter.com/index.cfm
[15] .NET Micro Framework. Available: http://www.pvontek.com/caseinfo,32.html
[16] C.-H. Chen, T.-K. Yao, J.-H. Dai, and C.-Y. Chen, "A pipelined multiprocessor SOC design methodology for streaming signal processing," Journal of Vibration and Control, Oct. 2012.
[17] C.-H. Chen, C.-M. Kuo, S.-H. Hsieh, and C.-Y. Chen, "High efficient VLSI implementation of probabilistic neural network image Interpolator," Journal of Vibration and Control, Oct. 2012.
[18] C.-H. Chen, C.-M. Kuo, C.-Y. Chen, and J.-H. Dai, "The design and synthesis using hierarchical robotic discrete-event modeling," Journal of Vibration and Control, Jun. 2012.
[19] V. Serifi, P. Dasic, R. Jecmenica, and D. Labovic, "Functional and Information Modeling of Production Using IDEF Methods," Strojniski Vestnik-Journal of Mechanical Engineering, vol. 55, pp. 131-140, Feb 2009.
[20] R. David, "Grafcet - a Powerful Tool for Specification of Logic Controllers," IEEE Transactions on Control Systems Technology, vol. 3, pp. 253-268, Sep 1995.
[21] Modbus-IDA. (2006, Dec.). Modbus Application Protocol Specification. Available: http://www.Modbus-IDA.org/