逆向工程係，給定一個系統實體，在不知原始設計方式，而只有有限的技術性文件的支援前提下，經由嘗試測試、反推出原設計規格，以便當作後續如維護或是改良設計的依據。本論文針對汽車用之恆溫空調系統 (ATC) 進行回逆工程的探討，四項主要課題包括：(1)車房熱模型的建立：車房同時受外在環境以及車內內建HVAC系統之熱負載之熱模型推導，以及汽車恆溫控制器與當作受控替的的車房互動作；(2)互動式控制器的規格回逆分析：根據現有ATC控制器實體，按輸入、顯示、控制以及輸出等四個模組，利用statechart塑模出彼此間相互動作的設計規格；(3) 模型的實現：在Matlab /simulink/ stateflow的模擬環境中，實現包含離散事件以及連續型變數兩特性的整個汽車恆溫控制迴授系統。(4) 系統之改良：由反推出的功能規格與領域知識了解，重新設計出相同功能的車用恆溫控制器。經由針對ATC實體為例，本論文所提的上述四個步驟，可當作其他內嵌式系統回逆與改良設計的參考。

Reverse engineering refers to the process of inferring system specification and design of an existing system without complete original specification. Reverse engineering is especially important when it comes to maintenance and design improvement constrained by the lack of original design. This paper investigates the reverse engineering process of an automobile automatic climate controller in four steps. First, thermal model of passenger compartment, which involves the interaction of environmental condition as well as built-in HVAC system; Second, reversing specification, in Statechart, of the interactive control panel, which is comprised of four interacting modules of input, display, control and output. Next, software simulation of the resultant statechart models in Matlab/simulink/stateflow. Finally, an improved design, which is implemented in a different hardware platform but with similar functional specification. Specialized to an automatic climate controller target, the reversing engineering techniques presented in this paper can also be applied to similar embedded control systems.

[1] P. Setlur, J. Wagner, D. Dawson, and J. Chen, ”Nonlinear Controller for Automotive Thermal Management Systems,” in Proceedings of the American Control Conference, vol. 6, pp. 4699-4704, 4-6 June 2003.
[2] M. Ueda and Y. Yaniquchi, ”The Prediction of the Passenger’s Thermal Sensation Level Using a Neural Network and Its Application to the Automobile HVAC control,” in Proceedings of the System, Man, and Cybernetics, vol. 4, 12-15 Oct. 1999.
[3] B. Rasmussen, A. Alleyne, C. Bullard, P. Hmjak, and N. Miller, ”Control –Oriented Modeling and Analysis of Automotive Transcritical AC System,” in Prediction of the American Control, vol. 4, 8-10 May 2002.
[4] T. Tabe, K. Matsui, T. Kakehi, and M. Ohba, ”Automotive Climate control”, IEEE Transactions on Control Systems Magazine, vol. 6, no.5, pp. 20-24, Oct. 1986.
[5] 傅成龍, 〈離散事件動態系統之線上偵錯〉, 國立臺灣科技大學電機工程系, 2002.
[6] P.J. Feenstra, E.-J. Manders, P.J. Mosterman, G. Biswas, and R.J. Barnett, “Modeling and Instrumentation for fault Detection and Isolation of a Cooling System,” in Proceedings of the Southeastcon, pp. 365-372, 7-9 April 2000.
[7] L. Benasser, G. Dauphin-Tanguy, and J.-C. Riat, ”Modelling and simplification of a human thermoregulation model for thermal comfort regulation in a car interior”, in Proceedings of the Advanced Intelligent Mechatronics, pp.830-835, 19-23 Sept. 1999.
[8] A. Zouari, M. Tollenaere, and S. Menand, ”Application of a multi-actors design model to the car air-conditioning system functional design”, in Proceedings of the Systems, Man and Cybernetics, vol. 4, pp. 6, 6-9 Oct. 2002.
[9] D. Harel, “Statechart: A visual formalism for complex systems,” IEEE Transaction on Science of computer Programming, vol. 8, no. 3, pp. 231-274, 1987.
[10] A. Agrawal, G. Simon, and G. Karsai ,”Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations,” Transaction on Theoretical Computer Science, vol. 109, no 1-4, pp. 43-56, 14 Dec. 2004.
[11] 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 Engineering of the Computer Based Systems, pp. 308-316, 3-7 April 2000.
[12] J.-C. Gregoire, J.A. Makowsky, and S.E. Levin ,”Programming Reactive Systems with Statecharts,” in Proceedings of the Computer Systems and Software Enginering, pp. 87-103, 28-29 May 1991.
[13] 朱晟瑋, 〈嵌入式控制系統設計與實霧-以智慧型FCU恆溫控制器為例〉, 國立臺灣科技大學自動化及控制研究所, 2005.
[14] Y.S. Huang, S.L. Chung, M. Jeng, and J.H. Lin ”Design and Implementation of a Discrete Event System Using Statecharts,” in Proceedings of the Systems, Man and Cybernetics, vol. 2, pp.1147-1152, 5-8 Oct. 2003.
[15] 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.
[16] C. Reichmann, M. Kiihl, P. Graf, and K.D. Muller-Glaser ,”GeneralStore – A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic Systems,” in Proceedings of the Engineering of Computer-Based Systems, pp. 225-232, 24-27 May 2004.
[17] 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.
[18] D. Michalek, C. Gehsat, R. Trapp, and T. Bertram, “Hardware-in-the-loop-simulation of a vehicle climate controller with a combined HVAC and passenger compartment model,” in Proceedings of the Advanced Intelligent Mechatronics, pp.1065-1070, 2005.
[19] NISSAN, 《N16 SENTRA車系 使用及服務保證手冊》, Copyright 2002 by 裕隆汽車製造股份有限公司, 2002.
[20] カーエアコン研究会, 《カーエアコン》, 株式会社山海堂, 2004.
[21] MathWorks, 《STATEFLOW for Use with Simulink》, Copyright 1997 by The MathWorks INC, 1997.
[22] A.S. Betzaida and V. R. Miguel, ”Nonlinear control of a heating, ventilating, and air conditioning system with thermal load estimation,” Transactions on Control Systems Technology, vol. 7, no. 1, pp. 56-63, Jan. 1999.
[23] 張宗逸, 〈汽車用恆溫空調系統中車房熱模型的塑模與模擬〉, 國立臺灣科技大學電機工程系, 2006.
[24] 三菱自動車株式会社, 《1D1Nタイプ フルオートエアコソコソトローラ》, 三菱自動車株式会社, 2001.
[25] http://www.ancher.com.tw/atc.html
[26] A.L. Opdahl and B. Henderson-Sellers, ”A Unified Modelling Language without referential redundancy,” Transaction on Data and Knowledge Engineering, vol. 55, no. 3, pp. 277-300. Dec. 2005.
[27] D. B. Petriu and M. Woodside, ”Software performance models from system scenarios”, Transaction on Performance Evaluation, vol. 61, no. 1, pp.65-89, June 2005.
[28] http://www.sdec.com.tw