DC 欄位 | 值 | 語言 |
dc.contributor | 國立臺灣大學電機工程學系暨研究所 | zh_TW |
dc.contributor.author | 王凡 | zh_TW |
dc.creator | 王凡 | - |
dc.date | 2004-07-31 | - |
dc.date.accessioned | 2006-07-25T09:04:33Z | - |
dc.date.accessioned | 2018-07-06T13:50:09Z | - |
dc.date.available | 2006-07-25T09:04:33Z | - |
dc.date.available | 2018-07-06T13:50:09Z | - |
dc.date.issued | 2004-07-31 | - |
dc.identifier | 922213E002104 | zh_TW |
dc.identifier.uri | http://ntur.lib.ntu.edu.tw//handle/246246/7994 | - |
dc.description.abstract | 我們藉著國科會三年長期的支持,我
們得以深入研究及發展驗證工具軟體RED,
透過定義一種新的時態邏輯TECTLf,在驗
證上獲得了更大的彈性,而能夠包含狀
態、事件和公平的假設。配合這種邏輯,
衍生出對應的演算法,亦能實現模型驗證
之目的,最後再將此一功能,整合到RED之
中,成為5.1的版本。 | zh_TW |
dc.description.abstract | With the three-year support from NSC,
we aim at developing the verification tool :
RED (Region-Encoding Diagram). At this
moment, there lacks a specification language
for distributed real-time system properties
involving states and events. There also
lacks a language for fairness assumptions in
dense-time systems. We have defined a
new temporal logic, TECTLf, for the flexible
specification of distributed real-time
systems with constraints involving events,
states, and fairness assumptions.
Then we have also designed algorithms for
model-checking TECTLf formulas.
Finally, we have endeavored to implement
and experiment the ideas in our tool, RED
5.1. | en |
dc.format | application/pdf | zh_TW |
dc.format.extent | 132102 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language | zh-TW | zh_TW |
dc.language.iso | zh_TW | - |
dc.publisher | 臺北市:國立臺灣大學電機工程學系暨研究所 | zh_TW |
dc.rights | 國立臺灣大學電機工程學系暨研究所 | zh_TW |
dc.title | 混合系統的全符號式自動化分析軟體工具環境(2/3) | zh_TW |
dc.title | Environment for Symbolic Automation Verification Tool of Hybrid | en |
dc.type | report | en |
dc.identifier.uri.fulltext | http://ntur.lib.ntu.edu.tw/bitstream/246246/7994/1/922213E002104.pdf | - |
dc.coverage | 計畫年度:92;起迄日期:2003-08-01/2004-07-31 | zh_TW |
item.languageiso639-1 | zh_TW | - |
item.cerifentitytype | Publications | - |
item.fulltext | with fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_93fc | - |
item.openairetype | report | - |
item.grantfulltext | open | - |
crisitem.author.dept | Electrical Engineering | - |
crisitem.author.dept | Electronics Engineering | - |
crisitem.author.orcid | 0000-0002-0425-6500 | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
顯示於: | 電機工程學系
|