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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publication1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages375-382
Number of pages8
ISBN (Electronic)0818640308, 9780818640308
DOIs
StatePublished - 1993
Event1993 IEEE Conference on Computers in Design, Manufacturing, and Production, COMPEURO 1993 - Pris-Evry, France
Duration: 24 May 199327 May 1993

Publication series

Name1993 CompEuro Proceedings Computers in Design, Manufacturing, and Production

Conference

Conference1993 IEEE Conference on Computers in Design, Manufacturing, and Production, COMPEURO 1993
Country/TerritoryFrance
CityPris-Evry
Period24/05/9327/05/93

Keywords

  • Petri nets
  • real-time systems
  • scheduling problems
  • time Petri nets
  • timed Petri nets
  • timing constraints
  • timing requirements

Fingerprint

Dive into the research topics of 'Schedulability analysis of real-time systems using timing constraint Petri nets'. Together they form a unique fingerprint.

Cite this