Verifying timing properties for distributed real-time systems using timing constraint Petri nets

Jeffrey J.P. Tsai; Steve J. Yang; Yao Hsiung Chang; Eric Y.T. Juan

Verifying timing properties for distributed real-time systems using timing constraint Petri nets

Jeffrey J.P. Tsai, Steve J. Yang, Yao Hsiung Chang, Eric Y.T. Juan

資訊工程學系

研究成果: 雜誌貢獻 › 會議論文 › 同行評審

3 引文斯高帕斯（Scopus）

摘要

Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. In this paper, we present both static and dynamic analysis procedures to verify timing properties of distributed real-time systems using timing constraint Petri nets (TCPNs). With both derived static information and collected dynamic data, we can locate a faulty task in a distributed real-time system using a timing behavior cross reference task. After a faulty task has been pinpointed, the causes of a timing constraints violation in a faulty task can be identified.

原文	???core.languages.en_GB???
頁（從 - 到）	36-40
頁數	5
期刊	Proceedings - IEEE Computer Society's International Computer Software and Applications Conference
出版狀態	已出版 - 1996
事件	Proceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 - Seoul, S Korea 持續時間: 21 8月 1996 → 23 8月 1996

引用此

@article{091e60ed6d964270973e0c4d05b6a7e8,

title = "Verifying timing properties for distributed real-time systems using timing constraint Petri nets",

abstract = "Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. In this paper, we present both static and dynamic analysis procedures to verify timing properties of distributed real-time systems using timing constraint Petri nets (TCPNs). With both derived static information and collected dynamic data, we can locate a faulty task in a distributed real-time system using a timing behavior cross reference task. After a faulty task has been pinpointed, the causes of a timing constraints violation in a faulty task can be identified.",

author = "Tsai, {Jeffrey J.P.} and Yang, {Steve J.} and Chang, {Yao Hsiung} and Juan, {Eric Y.T.}",

year = "1996",

language = "???core.languages.en_GB???",

pages = "36--40",

journal = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",

issn = "0730-6512",

note = "Proceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 ; Conference date: 21-08-1996 Through 23-08-1996",

}

TY - JOUR

T1 - Verifying timing properties for distributed real-time systems using timing constraint Petri nets

AU - Tsai, Jeffrey J.P.

AU - Yang, Steve J.

AU - Chang, Yao Hsiung

AU - Juan, Eric Y.T.

PY - 1996

Y1 - 1996

N2 - Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. In this paper, we present both static and dynamic analysis procedures to verify timing properties of distributed real-time systems using timing constraint Petri nets (TCPNs). With both derived static information and collected dynamic data, we can locate a faulty task in a distributed real-time system using a timing behavior cross reference task. After a faulty task has been pinpointed, the causes of a timing constraints violation in a faulty task can be identified.

AB - Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. In this paper, we present both static and dynamic analysis procedures to verify timing properties of distributed real-time systems using timing constraint Petri nets (TCPNs). With both derived static information and collected dynamic data, we can locate a faulty task in a distributed real-time system using a timing behavior cross reference task. After a faulty task has been pinpointed, the causes of a timing constraints violation in a faulty task can be identified.

UR - http://www.scopus.com/inward/record.url?scp=0029723448&partnerID=8YFLogxK

M3 - 會議論文

AN - SCOPUS:0029723448

SN - 0730-6512

SP - 36

EP - 40

JO - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

JF - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

T2 - Proceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96

Y2 - 21 August 1996 through 23 August 1996

ER -

Verifying timing properties for distributed real-time systems using timing constraint Petri nets

摘要

指紋

引用此