基于Simulink和Stateflow建模的嵌入式軟件開發(fā)平臺研究.pdf

1、現(xiàn)如今在控制領域軟件開發(fā)中，通過使用Simulink/Stateflow建模方法，以模型設計為基礎并結(jié)合RealTime-Workshop(RTW)自動生成代碼的技術已日趨成熟，并日趨成為大型控制類嵌入式軟件開發(fā)的主流選擇。這種開發(fā)模式優(yōu)于傳統(tǒng)軟件開發(fā)模式的地方在于它在大大節(jié)省了人力、物力和財力的同時，更加提高了軟件產(chǎn)品的質(zhì)量。它使得傳統(tǒng)的軟件開發(fā)人員將重心從軟件編碼轉(zhuǎn)移到軟件模型設計上來。 目前，西方發(fā)達國家在飛行控制、航空航

2、天類軟件開發(fā)中大都是以模型自動生成代碼，輔以少量人工代碼的方式進行的。某些發(fā)達國家早已有了一套先進的控制設計一體化平臺。而在國內(nèi)這方面目前仍然處于起步階段。所以本課題的主要目的是希望通對基于模型的嵌入式軟件開發(fā)平臺相關技術點進行較為深入的研究，在提供一整套平臺解決方案的同時為每個技術難點提供實現(xiàn)方案。 本課題的研究屬于軟件工程中可行性技術預研部分，針對課題的相關技術點進行逐個深入研究和突破。在研究過程中會使用到測試、調(diào)試等相關理

3、論，并在這些基礎上研究解決所遇到的技術問題，輔以實驗驗證。最后將相關技術點進行整合，并提出實現(xiàn)這種基于建模的嵌入式軟件開發(fā)平臺可采用的整套方案。所以整個課題的研究方法是以理論為基礎，和實際相結(jié)合的針對特定領域的探索性技術預研。 研究的主要成果是為基于Simulink/Stateflow建模的一體化開發(fā)平臺所需要的各種相關技術點進行了深入分析，進而提供整套解決方案，并為關鍵技術點提供了詳細的技術實現(xiàn)方案，以及相關代碼。借助本文所提

4、供的相關資源料，如有需要者可以此基礎上結(jié)合實際情況，將其應用于不同的目標平臺，并且產(chǎn)品化。 通過此課題研究所取得的成果和相關分析資料，可以較容易地實現(xiàn)這樣一種開發(fā)平臺，并支持整個模型和代碼測試的自動化。本文所提供的技術方案包含了對模型級代碼調(diào)試，模型和代碼的測試用例自動生成，功能測試和覆蓋測試的一致性驗證等。這樣的開發(fā)平臺可大大節(jié)約開發(fā)人員和測試人員的工作。如果這樣一套技術方案能夠被完美的產(chǎn)品化，它對于國內(nèi)大型控制類軟件的開發(fā)方