本文選題：嵌入式實時系統(tǒng) + 最壞執(zhí)行時間　； 參考：《電子科技大學(xué)》2012年碩士論文

【摘要】：隨著社會的發(fā)展，計算機的應(yīng)用已經(jīng)滲透到了人們經(jīng)濟生活中的各個方面，特別是嵌入式系統(tǒng)的應(yīng)用正在不斷的從軍工設(shè)備向企業(yè)設(shè)備以及普通的家用設(shè)備轉(zhuǎn)移。這種發(fā)展趨勢使得嵌入式軟件的復(fù)雜度以及規(guī)模都在不斷增長，從而導(dǎo)致了開發(fā)時間和費用的不斷增長，尋找到一種新的能夠提高開發(fā)效率的嵌入式軟件開發(fā)模式是當前研究的重點。由于在嵌入式軟件開發(fā)中的絕大部分錯誤是在需求分析的早期階段引入的，這些錯誤將隨著開發(fā)的深入逐漸放大，而且這些錯誤發(fā)現(xiàn)得越晚，對其進行修改所需付出的代價也越大。所以在嵌入式軟件開發(fā)的早期階段就發(fā)現(xiàn)問題，對于節(jié)省嵌入式軟件開發(fā)時間起著至關(guān)重要的作用。本文就致力于在嵌入式實時系統(tǒng)開發(fā)的早期階段，檢測系統(tǒng)內(nèi)任務(wù)模型的可調(diào)度性。 為了檢測嵌入式實時系統(tǒng)內(nèi)任務(wù)模型的可調(diào)度性，首先應(yīng)該得到任務(wù)的最壞執(zhí)行時間信息，只有在得到任務(wù)最壞執(zhí)行時間前提下，才能分析任務(wù)的可調(diào)度性。所以在本文的前一部分，重點討論了如何采用靜態(tài)分析的方法來計算任務(wù)的最壞執(zhí)行時間（Worst Case Execution Time，WCET）。采用此方法可以避免傳統(tǒng)動態(tài)測量方法的各種弊端，如消耗時間長，，結(jié)果不準確等，使得到的結(jié)果更加安全和準確。在得到任務(wù)的最壞執(zhí)行時間后，就可以開展對任務(wù)的可調(diào)度性檢測工作了，在論文的后半部分，詳細介紹了一款嵌入式任務(wù)調(diào)度檢測仿真工具（SchedulingCheckSimulate Tool，SCST）的使用以及開發(fā)過程。該工具可以對嵌入式系統(tǒng)模型進行比較準確和快速的可調(diào)度性檢測，而且能夠以甘特圖的形式對系統(tǒng)內(nèi)任務(wù)的執(zhí)行過程進行仿真。本人在工具開發(fā)過程中主要負責(zé)系統(tǒng)模型和任務(wù)模型的建立以及調(diào)度算法的設(shè)計。 本文最后采用靜態(tài)分析的方法對一些基準程序進行了分析，并用所得到的結(jié)果與真實值做對比，驗證了分析的精確性；然后用SCST檢測了幾個任務(wù)模型的用例，并與國外同類型軟件TIMES作分析結(jié)果對比，驗證了此工具的高效性和準確性。最后總結(jié)了在課題研究中所遇到的問題和困難，指出了分析方法和工具的不足之處以及可以改進的地方。
[Abstract]:With the development of society, the application of computer has penetrated into every aspect of people's economic life, especially the application of embedded system is constantly transferring from military equipment to enterprise equipment and ordinary household equipment. This trend leads to the increasing complexity and scale of embedded software, which leads to the increasing development time and cost. It is the focus of current research to find a new embedded software development model which can improve the development efficiency. Since most of the errors in embedded software development are introduced in the early stages of requirements analysis, these errors will be magnified as the development progresses, and the later these errors are discovered, The more expensive it is to modify it. Therefore, finding problems in the early stage of embedded software development plays an important role in saving embedded software development time. This paper focuses on detecting the schedulability of task model in the early stage of embedded real-time system development. In order to detect the schedulability of the task model in embedded real-time system, the worst-case execution time information of the task should be obtained first. Only when the worst-case execution time is obtained, can the schedulability of the task be analyzed. So in the first part of this paper, we mainly discuss how to use static analysis method to calculate the worst execution time of the task. This method can avoid the disadvantages of traditional dynamic measurement methods, such as long time consumption, inaccurate results and so on, which makes the results more secure and accurate. After getting the worst execution time of the task, the schedulability detection of the task can be carried out. In the second half of the paper, the use and development process of a simulation tool for embedded task scheduling detection, named scheduling CheckSimulate tool SCST, is introduced in detail. The tool can detect the schedulability of embedded system model accurately and quickly, and can simulate the task execution process in the form of Gantt diagram. I am mainly responsible for the establishment of system model and task model and the design of scheduling algorithm in the process of tool development. In the end, the static analysis method is used to analyze some benchmark programs, and the results obtained are compared with the real values to verify the accuracy of the analysis, and then the use cases of several task models are tested with SCST. Compared with the foreign software TIMES, the efficiency and accuracy of the tool are verified. Finally, the problems and difficulties encountered in the research are summarized, and the shortcomings of the analytical methods and tools are pointed out as well as the areas for improvement.
【學(xué)位授予單位】：電子科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2012
【分類號】：TP368.1

【參考文獻】

相關(guān)期刊論文 前6條

1 鄧支益,何亦征,田翼;嵌入式軟件測試研究[J];航空電子技術(shù);2003年01期

2 董威,王戟,齊治昌;并發(fā)和實時系統(tǒng)的模型檢驗技術(shù)[J];計算機研究與發(fā)展;2001年06期

3 王強,王宏安,金宏,戴國忠;實時系統(tǒng)中的非定期任務(wù)調(diào)度算法綜述[J];計算機研究與發(fā)展;2004年03期

4 朱維軍;王迤冉;周清雷;;時間自動機模型驗證的研究進展[J];計算機應(yīng)用與軟件;2008年06期

5 薛樂,廖沫,魏晨,陳宗基;混合系統(tǒng)及其建模[J];系統(tǒng)仿真學(xué)報;2004年03期

6 黃賢英,肖朝輝,陳媛;嵌入式軟件開發(fā)方法研究及應(yīng)用[J];自動化技術(shù)與應(yīng)用;2004年03期

相關(guān)碩士學(xué)位論文 前1條

1 劉倩;AADL模型可調(diào)度性分析工具設(shè)計與實現(xiàn)[D];西南交通大學(xué);2010年

本文編號：1932218