Schedulability analysis of real-time systems using timing constraint Petri nets

J. J.P. Tsai, S. J.H. Yang, Y. H. Chang

研究成果: 書貢獻/報告類型會議論文篇章同行評審

4 引文 斯高帕斯(Scopus)

摘要

A real-time system is characterized by its timely response with respect to e-aernal stimuli. A timely response usually consists of a series of tasks which must be scheduled and executed accordingly so that the controlled environment can function correctly. In this paper, we present the timing constraint Petri nets (or TCPNs for short) to facilitate the modeling and analysis of real-time systems. One of the analysis capabilities of TCPNs discussed in this paper is the schedulability analysis. Through a series of modeling, analysis, and iterative refinement, the sofmtare developer can verify whether an underlying specvcation will be schedulable with respect to the given timing requirements, all via the token game played in TCPN's. Nevertheless, the analysis presented here is to analyze the schedulability of real-time systems against the imposed timing constraints, rather than to elaborate a scheduling policy.

原文???core.languages.en_GB???
主出版物標題1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production
發行者Institute of Electrical and Electronics Engineers Inc.
頁面375-382
頁數8
ISBN(電子)0818640308, 9780818640308
DOIs
出版狀態已出版 - 1993
事件1993 IEEE Conference on Computers in Design, Manufacturing, and Production, COMPEURO 1993 - Pris-Evry, France
持續時間: 24 5月 199327 5月 1993

出版系列

名字1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???1993 IEEE Conference on Computers in Design, Manufacturing, and Production, COMPEURO 1993
國家/地區France
城市Pris-Evry
期間24/05/9327/05/93

指紋

深入研究「Schedulability analysis of real-time systems using timing constraint Petri nets」主題。共同形成了獨特的指紋。

引用此