嵌入式控制系統(embedded control system)係指具有特定控制功能，被內嵌在某個大系統中的控制系統。由於系統功能迴異，配合輸出入週邊及人機操作界面的不同需求，嵌入式控制系統的設計常採用隨性的方式(ad hoc)進行。本論文針對嵌入控制系統提出系統化的設計方法，包含三個探討重點：(1) 從需求到規格，利用視覺狀態圖(Statechart)針對嵌入式系統與外界互動之塑模：將口語化的需求轉為具體且直觀的規格；(2) 根據規格的軟硬體模組設計與實現：包括系統所需的人機操作界面設計、控制演算法、感測器及輸出驅動電路等；以及 (3) 實現後的功能驗證：包括基本的功能測試及產品化考量的電氣測試等。在探討設計方法過程中，本論文並以大樓空調(HVAC)系統使用的智慧型恆溫控制器為例，對上述嵌入式控制系統產品研發的三個設計策略做詳細地說明。

An embedded control system (ECS) is a delicated system that provides specific control function to a larger system where the ECS is embedded. With the general variety of control objectives, design of embedded control systems can be very different, and generally resulting in ad hoc design. This paper proposes a systematic approach for embedded control systems; in particular, this paper addresses the threee most important issues: (1) functional specification and modeling by Statecharts, (2) modular design and implementation of software and hardware for: sensor, control algorithm, actuator and user interface, and (3) verification of the final implementation. For illustration, this thesis takes an intelligent temperature controller of HVAC system to highlight the three design stages of product development for embedded control systems.

[1] F. Vahid and T. Givargis, Embedded System Design-A Unified Hardware/Software Introduction, John Wiley & Sons, Inc. 2002, ISBN 0-471-38678-2.
[2] J.M. Bakhashwain, M.H. Shewhdi, M.M.M. Negm, and S. Mohseni, “Design and development of an embedded controller for robotic manipulator,” in Porceedings of the Thirty-Third IAS Annual Meeting. 1998 IEEE Conference on Industry Applications, vol. 3, pp. 1721-1724, 12-15 Oct. 1998.
[3] 馮育新, 〈整合USB之嵌入式系統設計〉, 國立中正大學電機工程所碩士論文, 2003.
[4] S. Spiteri, ”Embedded fuzzy control for reefer refrigeration systems,” in Porceedings of the 10th IEEE International Conference on Fuzzy Systems, vol. 3, pp. 1088-1091, 2-5 Dec. 2001.
[5] M.K. Oolun, M.I. Jahmeerbacus, K.M.S. Soyjaudah, and C. Bhurtun, “A micro-controller based intelligent controller for a composting plant,” in Porceedings of the 6th IEEE Africon Conference in Africa (AFRICON), vol. 1, pp. 101-104, 2-4 Oct. 2002.
[6] RS. Mitra, M. Kumar, and A. Basu, “Design of microprocessor-based systems: a knowledge-based approach,” IEEE Transactions on Industrial Electronics, vol. 41, no. 3, pp. 352-360, June 1994.
[7] Y.G. Piao, H.G. Zhang, and B. Zeungnam, “A simple fuzzy adaptive control method and application in HVAC,” in Proceedings of the IEEE International Conference on Fuzzy Systems Proceedings, vol. 1, pp. 528-532, 4-9 May 1998.
[8] Y.G. Wang, Z.G. Shi, and W.J. Cai, “PID autotuner and its application in HVAC systems,” in Proceedings of the IEEE Conference on American Control, vol. 3, pp. 2192-2196, 25-27 June 2001.
[9] A, Rahmati, F. Rashidi, and M. Rashidi, “A hybrid fuzzy logic and PID controller for control of nonlinear HVAC systems,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, vol. 3, pp. 2249-2254, 5-8 Oct. 2003.
[10] H. Zhang and C. Lilong, “Decentralized nonlinear adaptive control of an HVAC system,” IEEE Transactions on Systems, Man and Cybernetics, Part C, vol. 32, no. 4, pp. 493-498, Nov. 2002.
[11] T. Schattkowsky and W. Muller, “Model-based design of embedded systems,” in Proceedings of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 113-128, 12-14 May 2004.
[12] S. Schulz, T.C. Ewing, and J.W. Rozenblit, “Discrete event system specification (DEVS) and Statemate Statecharts equivalence for embedded systems Modeling,“ in Proceedings of the Seventh IEEE International Conference and Workshopon on Engineering of Computer Based Systems (ECBS 2000), pp. 308-316, 3-7 Apr. 2000.
[13] S. Schulz, J.W. Rozenblit, M. Mrva, and K. Buchenriede, “Model-based codesign,” IEEE Transaction on Computer, vol. 31, no. 8, pp. 60-67 Aug. 1998.
[14] Y.S. Huang, S.L. Chung, M.D. Jeng, and J.H. Lin, “Design and implementation of a discrete event system using statecharts,” in Porceedings of the IEEE International Conference on Systems, Man and Cybernetics, vol. 2, pp. 1147-152, 5-8 Oct. 2003.
[15] K. Watanuki and T. Murata, “Fuzzy-timing Petri Net model of temperature control for car air conditioning system,“ in Porceedings of the IEEE International Conference on Systems, Man, and Cybernetics, vol.4, pp. 618-622, 12-15 Oct. 1999.
[16] C.G. Cassandras and S. Lafortune, Introduction to Discrete Event System, Kluwer Academic Publishers, 1999, ISBN: 0-7923-8609-4.
[17] 陳朝順, 柯裕隆, 〈應用派翠網路於配電系統開關操作策略制定之研究〉, 國立中山大學電機工程系, 2001.
[18] D. Harel and Michal Politi, Modeling Reactive Systems with Statechart – The STATEMATE Approach, McGraw-Hill, 1998, ISBN 0-07-026205-5.
[19] D. Harel, “On visual formalisms,” IEEE Transaction on Communications of the ACM, vol. 31, no. 5, pp. 514-530, 12-15 May 1988.
[20] D. Harel, “Statechart: A visual formalism for complex systems,” IEEE Transaction on Science of computer Programming, vol. 8, no. 3, pp. 231-274, 1987.
[21] K.C. Kang and K.I. Ko, “Formalization and verification of safety properties of Statechart specifications,” in Proceedings of the 1996 IEEE Asia-Pacific Conference on Software Engineering, pp. 16-27, 4-7 Dec. 1996.
[22] L. Gomes and A. Costa, “From use cases to system implementation: statechart based co-design,” in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE '03), pp. 24-33, 24-26 June 2003.
[23] Y. Ledru, “Hierarchical specification of reactive systems: a case study,” in Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, pp. 109-116, 8-10 May 1990.
[24] I.D. Bates, E.G. Chester and D.J. Kinniment, “A statechart based HW/SW codesign system,” in Proceedings of the Seventh IEEE International Workshop on Hardware/Software Codesign (CODES '99), pp. 162-166, 3-5 May 1999.
[25] H. Hseih, L. Lavagno, C. Passerone, C. Sansoe, and A. Sangiovanni-Vincentelli, “Modeling micro-controller peripherals for high-level co-simulation and synthesis,” in Proceedings of the Fifth IEEE International Workshop on Hardware/Software Codesign (CODES/CASHE '97), pp. 127-130, 24-26 March 1997.
[26] C. J.N. Coelho, D.C.D. Silva, and A. O. Fernandes, “Hardware-software codesign of embedded systems,” in Proceedings of the IEEE XI Brazilian Symposium on Integrated Circuit Design, pp. 2-8, 30 Sept.-3 Oct. 1998.
[27] S.J. Cunning, T.C. Ewing, J.T. Olson, J.W. Rozenblit, and S. Schulz, “Towards an integrated, model-based codesign environment,” in Proceedings of the IEEE Conference and Workshop on Engineering of Computer-Based Systems (ECBS '99), pp. 136-143, 7-12 March 1999.
[28] 陳湘華, 〈視訊傳輸系統之數位訊號處理技術〉, 國立台灣科技大學電機工程系, 2000.
[29] M.V. Harrold and D.M. Lush, “Automatic controls in building services,” IEE Proceedings B on Electric Power Applications, vol. 135, no. 3, pp. 105-133, May 1988.
[30] 黎安華, 〈Fuzzy PID控制器於小型柴油燃燒機之應用〉, 中原大學機械工程系, 2004.
[31] Holtek, HT46R24 – 8-Bit A/D Type MCU, Copyright 2004 by HOLTEK SEMICONDUCTOR INC, 2004.
[32] Holtek, HT1621 – RAM Mapping 32x4 LCD Controller for I/O M, Copyright 2004 by HOLTEK SEMICONDUCTOR INC, 2004.
[33] A.R. Boucher, C.S. Cox, and A. Doonan, “Sampling time selection and its effect on direct digital and adattive control algorithm implementation,” IEE Colloquium on Implementation Problems in Digital Control, pp. 5/1-5/8, May 1989.
[34] 胡瑞霞, 《智慧化檢測與自動控制系統》, 儒林出版社, 1993.
[35] Holtek, 《八位元微控制器概論及應用程式設計》, Copyright 2004 by HOLTEK SEMICONDUCTOR INC, 2004.
[36] 林逸群, 〈應用專家系統於中央空調系統之故障診斷〉, 台北國立科技大學電機工程系, 2002.
[37] S.V. Jr. Bell, T.M. Jr. Murray, and K.T. Duncan, “Design of direct digital control systems for building control and facilities management,” in Proceedings of the IEEE Southeastcon '91, vol. 2, pp. 674-676, 7-10 April 1991.
[38] 田有松, 金井一郎, 狩野一男原著, 《智慧型大樓-建築設備的自動控制》, 中華水電空調雜誌社, 1991.
[39] http://www.scillc.com/products.htm