跳到主要內容

臺灣博碩士論文加值系統

(3.238.204.167) 您好!臺灣時間:2022/08/09 22:47
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

: 
twitterline
研究生:楊麗蓁
論文名稱:即時系統執行支援環境之研究-以排程器為例
論文名稱(外文):The Execution Support Environment forReal-time Systems -A Study on Scheduler
指導教授:韓孟麒韓孟麒引用關係
學位類別:碩士
校院名稱:國防管理學院
系所名稱:國防資訊研究所
學門:電算機學門
學類:電算機一般學類
論文種類:學術論文
論文出版年:2002
畢業學年度:90
語文別:中文
論文頁數:93
中文關鍵詞:即時系統電腦輔雛型系統雛型系統描述語言執行支援系統排程器
外文關鍵詞:Real-time SystemCAPSPSDLESSScheduler
相關次數:
  • 被引用被引用:2
  • 點閱點閱:309
  • 評分評分:
  • 下載下載:29
  • 收藏至我的研究室書目清單書目收藏:1
即時系統除了邏輯運算結果須正確外,還必須保證此運算能於截止期限(Deadline)前完成,方能確保其正確性、週密性與完整性。因此,時間參數運算的正確性則佔有失之毫釐差之千里的重要地位,在整個即時系統規劃與設計的過程中,排程問題亦成為其發展成敗之關鍵因素。其中,最重要的環節莫過於週期性及偶發性時間限制參數之規格擬定,一旦規格錯誤將可能導致執行時系統的不正常運作。然而,於雛型系統設計之初,時間參數往往難以預估或推算出確切的值。利用自動化工具之執行支援系統,將能夠針對雛型系統相關之重要參數進行估算與模擬驗證,以獲取較精確之預估值(Prediction Value)。如此,不僅能及早讓分析師知道其時間限制是否滿足需求,亦可作為系統需求進行修改或重新評估的依據。本研究旨在探討,如何藉由美國海軍研究院Lqui教授及其研究群所提出之電腦輔助雛型系統架構及技術,規劃並修改執行支援環境之運作機制,透過此機制之運作,以便針對系統規格進行驗證。尤其是各項運算子之執行順序及時間限制條件等排程管理問題的可行性進行評估,及早確認系統需求,期能大幅降低系統開發之失敗風險。
A real-time system has to provide the correct computing result during an acceptable deadline for ensuring the data transformation efficiency. Therefore the correctness of time parameter plays an essential role, that may cause a fatal error due to the tiny mistake. During the requirement step of creating a real-time embedded system, the software component scheduling issues should be resolved. These issues include the timing factors of periodic and sporadic events. The key problem is how to estimate a proper time constraint in the environment of executing the numerous real-time components. The designer has to modify the timing requirements several times to fit the real word component transformation of the real-time system when the scheduling report shows errors because of the conflict situation of time calculation. The purpose of this study is to modify the scheduling mechanism of the CAPS (Computer-Aided Prototyping System) that is designed by Dr. Luqi and her study group in Naval Postgraduate School, CA. U.S.The CAPS can develop the real-time embedded system, especially for the C4ISR systems (Command, Control, Communication, Computer, Intelligence, Surveillance, and Reconnaissance systems). Our results is a modified mechanism of the execution environment of the CAPS conducted by the CAPS; that is we use the CAPS to modify the scheduling mechanism of CAPS.
中文摘要 I
ABSTRACT II
誌謝 III
目錄 IV
圖目錄 VII
表目綠 X
1.緒論 1
1.1研究背景 1
1.2研究動機 2
1.3研究目的 4
1.4研究範圍與限制 4
1.5研究方法 4
1.6研究步驟與論文架構 5
2.文獻探討 7
2.1資訊化作戰之趨勢 7
2.2即時系統相關研究 10
2.2.1即時系統之定義與分類 10
2.2.2即時排程 14
2.2.2.1工作分類 15
2.2.2.2排程法介紹 17
2.2.3即時系統的動態行為與靜態行為 17
2.3電腦輔助軟體工程之發展 18
2.3.1軟體危機 19
2.3.2電腦輔助軟體工程 20
2.4電腦輔助自動化工具 22
2.4.1電腦輔助雛型系統 23
2.4.2雛型系統描述語言語法架構 25
3.執行支援環境之整體規劃 28
3.1時間限制條件 28
3.2執行控制限制條件 33
3.3執行支援環境功能及架構規劃 35
4.執行支援環境細部設計與實作 38
4.1轉換器功能及架構設計 38
4.2排程器功能及架構設計 42
4.2.1靜態排程器 43
4.2.2演算法分析 49
4.2.3動態排程器 49
4.3執行控制器功能及架構設計 50
4.4執行支環境雛型系統設計與建構 53
4.5分散式靜態排程器雛型系統設計 69
4.5靜態排程器實作與驗證 71
5.結論與未來研究方向 75
5.1研究成果與貢獻 75
5.2未來研究向 77
參考文獻 78
作者簡介 82
中文部分:
[1]包冬意(1996),物件導向分析與設計方法導引,松崗電腦圖書。
[2]艾文.托佛勒著,傅蔆譯(1994),新戰爭論,時報文化出版企業。
[3]余建雄(1991),「即時系統發展工具之設計」,台灣工業技術學院工程技術研究所碩士論文。
[4]吳林焱(1992),「即時軟體系統之物件導向式分析方法」,台灣工業技術學院工程技術研究所碩士論文。
[5]宋一鳴(2001),「以『電腦輔助雛型系統(CAPS)』建立指管通資情系統」,國防管理學院資訊管理研究所碩士論文。
[6]李良誠(1992),「可再用的即時系統軟體的設計與製作」,台灣工業技術學院工程技術研究所碩士論文。
[7]李明河、郭木興、楊正甫(1998),「物件導向式指管系統開發程序之研究」,第七屆國防管理暨實務研討會。
[8]林兆宇(1999),「一個強化的即時系統開發方法」,朝陽科技大竹學資訊管理研究所碩士論文。
[9]胡竹生、尹燕陶(1995),即時多工核心程式設計,全華科技公司。
[10]陳廣宏(2001),「虛擬團隊應用在軟體開發之研究-以C4I系統為例」,國防管理學院資訊管理研究所碩士論文。
[11]楊麗青(1992),「多處理器排程法EFT在FMS上的延伸與應用」,交通大學資訊管理研究所碩士論文。
[12]劉瑞隆(1993),電腦輔助軟體工程概論(Computer Aided Software Engineering;CASE),松崗電腦圖書。
英文部分:
[13]Alexander D. (1991), “Analyzing Hard-Real-Time Programs For Guaranteed Schedulability,” IEEE Software Engineering, Vol.17, pp.737-749.
[14]Bernstein(1996), “Forward: Importance of Software Prototyping,” Journal of Systems Integration-Special Issue on Computer Aided Prototyping, (6), pp.9-14.
[15] Berzins, V. and Luqi (1988), “Semantics of a real-time language,” Proceedings of the 9th Real-Time Symposium, pp.106 —110.
[16]Boar, B. H. (1984), Application Prototyping: A Requirements Definition Strategy for the 80s, John Wiley and Sons, Inc., N.Y.
[17]Burns, A. and Wellings, A. (1990), Real Time Systems and their Programming Language, Addison- Wesley.
[18]Cooling, J. E. (1997), Real-Time Software System-An Introduction to Structured and Object-oriented Design, PWS Publishing Company.
[19]David, M., Cheng A. and Tham H. (1989), Real-Time Software For Control, Prentice-Hall.
[20]Harn, M., Berzins, V., Luqi and Kemple, W. (1999), “Evolution of C4I Systems,” Proceedings of 1999 Command and Control Reserch and Technology Symposium, pp.1361-1380.
[21]http://www.cma.edu.tw/l/i/539/Index5.htm
[22]http://www.dbmaker.com.tw/reference/issue/dbmaiss18.html
[23]Kirner, T. G. (1991), “Real-Time Systems Specification: A Process and a Tool,” ACM SIGSOFT, Software Engineering Notes, Vol.16, No.1, pp.1-12.
[24]Liu, C. L. and Layland, J. W. (1973), “Scheduling Algortithm for Multiprogramming in a Hard-Real-Time Environment,” Journal of the Association for Computing Machinery 20(1), pp.46-61.
[25]Luqi (1989), “Handling Timing Constraints in Rapid Prototyping,” Proceeding of the 22nd Annual Hawaii International Conference on System Science, pp.417-424.
[26]Luqi (1989), “Software Evolution Through Rapid Prototyping,” IEEE Computer, Vol.22, Issue:5, pp.13 —25.
[27]Luqi (1992), “Computer-Aided Prototyping for A Command-and-Control System Using CAPS,” IEEE Software, pp.56-67.
[28]Luqi (1993), “Real-Time Constraint in A Rapid Prototyping Language,” Journal of Computer Language, Vol.18, pp.77-103.
[29]Luqi, Berzins, V. (1988), “Execution of a High Level Real-Time Language,” Proceedings of IEEE the 9th Real-Time Symposium, pp.69-76.
[30]Luqi, Berzins, V. and Yeh, R. (1988), “A prototyping language for real-time software,” IEEE Software Engineering, Vol.14, Issue: 10, pp.1409 —1423.
[31]Luqi and Goguen, J. A. (1997), “Formal Methods: Promises and Problems,” IEEE Software, Vol.14, Issue, 1, pp.73 —85.
[32]Luqi and Janson, D. (1988), “A Static Scheduler for the Computer Aided Prototyping System,” Proceedings of the 3rd Annual COMPASS Conference, pp.92-97.
[33]Luqi and Ketabchi, M. (1988), “A Computer-Aided Prototyping System,” IEEE Software, pp.66-72.
[34]Luqi and Lee, Y. (1989), “Interactive Control of Prototyping Process,” Proceeding of IEEE COMPSAC 89, pp.447 —454.
[35]Luqi and Shing, M. (1996), “Real-Time Scheduling for Software Prototype,” Journal of Systems Integration, Vol.6, No.1-2, pp.1-34
[36]Sommerville, I. (1997), Software Engineering, Addison-Wesley.
[37]Ward, P. T. and Mellor, S. J. (1985), Structured Development for Real Time Systems, New York, Yourdon Press.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
1. 林公孚(2001)。戴明談顧客研究。品質月刊,37(12),19-22。
2. 林美玲(2000)。關係行銷法在運動健身俱樂部的運用。大專體育,47,124-129。
3. 邱志洲、李天行、周宇超、呂奇傑(2002)。整合鑑別分析與類神經網路在資料探勘上之應用。工業工程學刊,19(2),9-22。
4. 李鴻旗(1997)。臺灣地區休閒俱樂部產業現況之探討。一銀月刊,42(3),62-77。
5. 丁惠民(2000)。電子化時代的創業投資策略與企業價值創造-從「摩爾定律」到「麥凱非定律」。電子化企業經理人報告eBusiness Executive Report,6,17-24。
6. 林朝宏(2001)。顧客滿意評估的另類思考。品質月刊,37(12),23-25。
7. 姜慧嵐(1994)。淺談體適能中心/俱樂部的規劃。中華體育,8(1),55-57。
8. 施致平(1999)。從邏輯斯諦迴歸(Logistic Regression)論運動參與之預測。體育學報,27,21-30。
9. 高俊雄(1997)。臺灣地區運動服務業之發展概況。國民體育季刊,26(3),135-143。
10. 莫乃健(2000)。做好CRM贏得顧客一世忠誠。天下雜誌,224,152-157。
11. 陳燈能(2001)。挖掘企業資料的寶藏-淺談資料探勘技術。商業現代化,46,42-46。
12. 彭淑美(1993)。營利性運動休閒健身設施之經營管理。國民體育季刊,22(2),89-94。
13. 程紹同(1997)。國內運動休閒與體適能企業之概況介紹及經營策略分析。桃縣文教(復刊號),29-36。
14. 黃以孟、賴士奇(2001)。強化金融服務業的顧客關係管理贏取顧客的終身價值。電子化企業經理人報告eBusiness Executive Report,22,80-87。
15. 童啟晟(2000)。CRM之產業現況與應用趨勢。Internet Pioneer網際先鋒,72,38-41。