跳到主要內容

臺灣博碩士論文加值系統

(44.210.83.132) 您好!臺灣時間:2024/05/25 18:25
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:林於興
研究生(外文):Yu-Shing Lin
論文名稱:即時系統之除錯器研究與製作
論文名稱(外文):An Investigation on Real-Time Debugger
指導教授:黃玄煒黃玄煒引用關係
指導教授(外文):Hsuan-Wei Huang
學位類別:碩士
校院名稱:國立海洋大學
系所名稱:電子工程學系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1995
畢業學年度:84
語文別:中文
論文頁數:54
中文關鍵詞:派屈網路即時系統即時平行
外文關鍵詞:Petri netreal-time systemreal-time concurrency
相關次數:
  • 被引用被引用:0
  • 點閱點閱:142
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
本篇論文是探討即時分散系統之除錯器研究與製作,時間派屈網路被用來
建立目標系統的模型,於我們的模擬方法中,一種修正過的插入方式使用
於派屈網路之激發規則中,兩種時間旗標則用來標示模擬過程中事件間及
狀態間的時間關係。此種模擬方法的主要特徵在於目標系統的即時平行性
質可被記錄於模擬結果中,並產生含時間訊息的狀態圖。一套追蹤執行路
徑之軟體工具被發展出來,該軟體可依據模擬的結果,提供使用者往前搜
尋、倒回搜尋、歧路抉擇、設置中斷點等功能。此工具不僅可補強規格驗
證之不足處,同時亦可提供更精確的時間相關性質驗證。因規格驗證不容
易將所有可能的性質完全驗證,所以除錯工具有其存在的必要。

The objective of this thesis is to propose an investi- gation
on real-time debugger. The time Petri net is used to build the
model of target system. The firing rule of t- he time Petri net
is based on the modified interleaved me- thod. During the
simulation, two kinds of time stamps are used to describe the
time relations among states and even- ts. The real-time
concurrency property can be recorded by our approach, and then
the timed reachability graph (TRG) is generated. A software
tool which can trace the execution paths is developed. In terms
of the simulation result, the tool can provide user the
following functions: trace forward, trace back, decide
dynamically, and set breakpoint, and so on. The tool does not
only repair the weak parts of the speci- fication verification,
but also provide the more precise verification of time
dependent property. It is not easy to verify all possible
properties by the specification verif- ication, so the
debugging tool is necessary.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top