高安全性控制與網路系統之異質性 模型化基礎平台開發

Heterogeneous model-based development platform for safety-critical control network systems

陸政宇(Cheng-Yu Liu)

指導教授 ： 陳永源

國立臺北大學/電機資訊學院/電機工程學系/碩士(2015年)

摘要

本論文提出異質性之模組化設計模擬平台，透過整合控制與網路模擬系統間之異質性模組，以及錯誤注入機制，除了在早期開發階段可使用錯誤注入機制分別評估控制與網路系統之可靠度與強韌度，系統設計者更可以藉由整合異質性模組後，精確的評估控制與網路系統間傳遞訊息時的相互影響，產生更符合實際情境需求之高安全控制與網路系統設計。
錯誤注入架構使用軟體實踐錯誤注入方法，藉此進一步紀錄與分析在設計初期，當軟體模組發生失效時，系統的運作行為與整體可靠度。
本論文使用OMNet++網路系統模擬器與MATLAB/SIMULINK控制系統模擬器實現系統設計，透過OMNet++網路模擬器,模擬未來高速網路可能使用的拓樸與資料傳輸模式,即時的將資料傳輸給MATLAB/SIMULINK控制系統模擬平台以及OMNet++網路模擬器建立的微控制器或系統節點,以便更精確地觀察高安全網路與控制系統之系統特性。
關鍵字：模組化設計、強韌度分析、錯誤注入、可靠度、高安全。

關鍵字

錯誤注入 ； 強韌度分析 ； 模組化設計 ； 可靠度 ； 高安全

並列摘要

This thesis is aimed to develop heterogeneous model-based simulation platform and fault injection mechanism. Moreover, we must draw attention to the integration of heterogeneous models between control and network simulation system. This step not only ensures the system characteristics assessment via fault injection mechanism at early phase as possible, but also allows system designer to evaluate the effects during the data transmission between control and network simulation system more precisely.
The proposed fault injection framework involves the software-implemented fault injection theory. Hence, the robustness and system behavior analysis with various kinds of fault scenarios will be conducted, and the reliability results will be also provided, discussed and compared.
This thesis was implemented and simulated by OMNet++ network system simulator and MATLAB/SIMULINK control system simulator. Further, we simulated the possible topologies and data transmission modes in the future high speed network through OMNet++, and then transfer the data to the MCUs or system nodes which created by MATLAB/SIMULINK and OMNet++ simultaneously. Consequently, we could observe the system characteristics of safety-critical control network system in more comprehensive way.
Key-words：Model-Based, Robustness Analysis, Fault Injection, Reliability,
Safety-Critical.

並列關鍵字

Reliability ； Fault Injection ； Robustness Analysis ； Model-Based ； Safety-Critical

參考文獻

[6] J. Haraldsson and S. Thorvaldsson, "Software implemented fault injection for AUTOSAR based systems," 2012. Master of Science Thesis. Chalmers University of Technology, Department of Computer Science and Engineering.

[7] C. Lu, J.-C. Fabre, and M.-O. Killijian, "Robustness of modular multi-layered software in the automotive domain: a wrapping-based approach," in Emerging Technologies & Factory Automation, 2009. ETFA 2009. IEEE Conference on, 2009, pp. 1-8.

[8] D. Cotroneo, A. Lanzaro, R. Natella, and R. Barbosa, "Experimental analysis of binary-level software fault injection in complex software," in Dependable Computing Conference (EDCC), 2012 Ninth European, 2012, pp. 162-172.

[9] MOGENTES project, 2014[Online]. Available at: http://www.mogentes.eu

[11] M. Conrad, P. Munier, and F. Rauch, "Qualifying Software Tools According to ISO 26262," in MBEES, 2010, pp. 117-128.