Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control

This paper presents a general discrete-event system (DES)-based hard periodic real-time task model. Based on supervisory control theory (SCT), an optimal priority-free real-time scheduling technique is proposed to process all the tasks running in uniprocessor or multiprocessor real-time systems (RTS...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on systems, man, and cybernetics. Systems Ročník 47; číslo 7; s. 1082 - 1098
Hlavní autoři: Xi Wang, Zhiwu Li, Wonham, Walter Murray
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.07.2017
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:
Conditional-preemption
Control systems
Control theory
discrete-event system (DES)
Generators
Heuristic algorithms
Languages
limited preemption
Microprocessors
Multiprocessing
Preempting
Preemption
Priorities
Priority scheduling
Processor scheduling
Production scheduling
Real time
real-time system (RTS)
Real-time systems
Response time
Schedules
Scheduling
Specifications
Supervisory control
Task scheduling
ISSN:2168-2216, 2168-2232
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract This paper presents a general discrete-event system (DES)-based hard periodic real-time task model. Based on supervisory control theory (SCT), an optimal priority-free real-time scheduling technique is proposed to process all the tasks running in uniprocessor or multiprocessor real-time systems (RTS). The preemption relation in this paper generalizes priority-based preemption. First, regular languages are utilized to describe the processor behavior related to each task's execution. Thereafter, the languages are represented by DES generators. Finally, the global processor behavior is generated as the synchronous product of these DES generators. By discarding the priorities, a novel preemption policy, namely conditional-preemption, is developed. Two sets of conditional-preemption specifications are developed, on the processor level and task level, respectively. Moreover, in order to control the system to be nonblocking and also limit the worst-case response time of the tasks, two corresponding sets of specifications are presented. After generating the global specification as the synchronous product, by implementing SCT the calculated supervisor can provide all the safe real-time execution sequences. The supervisor calculation can be sped up by a three-step algorithm. Finally, the real-time scheduling is implemented for real-world examples.
AbstractList This paper presents a general discrete-event system (DES)-based hard periodic real-time task model. Based on supervisory control theory (SCT), an optimal priority-free real-time scheduling technique is proposed to process all the tasks running in uniprocessor or multiprocessor real-time systems (RTS). The preemption relation in this paper generalizes priority-based preemption. First, regular languages are utilized to describe the processor behavior related to each task's execution. Thereafter, the languages are represented by DES generators. Finally, the global processor behavior is generated as the synchronous product of these DES generators. By discarding the priorities, a novel preemption policy, namely conditional-preemption, is developed. Two sets of conditional-preemption specifications are developed, on the processor level and task level, respectively. Moreover, in order to control the system to be nonblocking and also limit the worst-case response time of the tasks, two corresponding sets of specifications are presented. After generating the global specification as the synchronous product, by implementing SCT the calculated supervisor can provide all the safe real-time execution sequences. The supervisor calculation can be sped up by a three-step algorithm. Finally, the real-time scheduling is implemented for real-world examples.
Author Wonham, Walter Murray
Zhiwu Li
Xi Wang
Author_xml – sequence: 1
  surname: Xi Wang
  fullname: Xi Wang
  email: wanggkingg@gmail.com
  organization: Sch. of Electro-Mech. Eng., Xidian Univ., Xi'an, China
– sequence: 2
  surname: Zhiwu Li
  fullname: Zhiwu Li
  email: zhwli@xidian.edu.cn
  organization: Sch. of Electro-Mech. Eng., Xidian Univ., Xi'an, China
– sequence: 3
  givenname: Walter Murray
  surname: Wonham
  fullname: Wonham, Walter Murray
  email: wonham@ece.utoronto.ca
  organization: Dept. of Electr. & Comput. Eng., Univ. of Toronto, Toronto, ON, Canada
BookMark eNp9kMtOwzAQRS1UJMrjAxAbS6xTPHbixEso5SEVUdHsI9eZgEsaFzut1L8nUasuWLCa0eieK805J4PGNUjINbARAFN3-fxtPOIM5IgnAmQGJ2TIuxlxLvjguIM8I1chLBljwDMpmByS7fu6tStd05m3ztt2Fz15RDp2TWlb6xpd17to1p1WXW6L9AN1HeV2hXRuvrDc1Lb5pK6iM-z40hqa6_Ad6IMOWFLX0MfJnM43a_RbG5zf9cWtd_UlOa10HfDqMC9I_jTJxy_R9P35dXw_jYwQso2MLpnKAJGDSROEhaiyxEithTKoSi5jXsp4UUEMqTIJg0rGaRbHKkMVL7S4ILf72rV3PxsMbbF0G989FQpQIBLOJMgule5TxrsQPFaFsa3uv2-9tnUBrOg1F73motdcHDR3JPwh176z6Xf_Mjd7xiLiMZ_GQqaZEr_NcYsD
CODEN ITSMFE
CitedBy_id crossref_primary_10_1007_s10626_024_00408_z
crossref_primary_10_1007_s10951_020_00669_0
crossref_primary_10_1007_s10626_019_00288_8
crossref_primary_10_1109_ACCESS_2018_2845942
crossref_primary_10_1109_OJIES_2025_3578861
crossref_primary_10_1080_00207179_2025_2473670
crossref_primary_10_1109_TSMC_2019_2958494
crossref_primary_10_1109_ACCESS_2018_2859798
crossref_primary_10_1109_TSMC_2021_3077697
crossref_primary_10_1016_j_automatica_2017_12_010
crossref_primary_10_1016_j_ins_2020_04_027
crossref_primary_10_1016_j_ins_2018_07_025
crossref_primary_10_1109_TASE_2020_3020333
crossref_primary_10_1145_3336121
crossref_primary_10_1109_ACCESS_2024_3403418
crossref_primary_10_1109_TII_2020_3042161
crossref_primary_10_1109_TII_2019_2939628
crossref_primary_10_1109_TII_2018_2824564
crossref_primary_10_1007_s12065_021_00599_6
crossref_primary_10_1016_j_ins_2019_12_034
crossref_primary_10_1109_TAC_2020_3031023
crossref_primary_10_1109_ACCESS_2021_3070868
crossref_primary_10_1109_TSMC_2016_2645401
crossref_primary_10_1109_TSMC_2017_2685243
Cites_doi 10.1007/BF01995675
10.1145/2597457.2597458
10.1109/ECRTS.2005.32
10.1145/1032297.1032298
10.1109/TASE.2011.2178023
10.1109/TSMCA.2012.2199305
10.1016/0020-0190(80)90123-4
10.1137/0325013
10.1109/5.21072
10.1109/TSMC.2014.2331022
10.1109/TSE.2012.54
10.1109/TSMC.2014.2376476
10.1145/1465611.1465613
10.1109/TASE.2012.2192476
10.1109/TSMC.2014.2373316
10.1109/TSMC.2014.2332443
10.1006/inco.1995.1028
10.1016/0166-5316(82)90024-4
10.1109/TSMCA.2007.909542
10.1109/TSE.2011.4
10.1109/TAC.2015.2389313
10.1145/321738.321743
10.1109/MRA.2015.2415047
10.1109/TSMC.2014.2307284
10.1109/TASE.2014.2309479
10.1007/978-1-4471-5058-9_54
10.1109/TII.2015.2500161
10.1109/TCST.2014.2313352
10.1109/TII.2012.2205399
10.1023/A:1020207328508
10.1109/TSMC.2014.2303051
10.1023/B:TIME.0000045315.61234.1e
10.1109/TII.2012.2188805
ContentType Journal Article
Copyright Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2017
Copyright_xml – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2017
DBID 97E
RIA
RIE
AAYXX
CITATION
7SC
7SP
7TB
8FD
FR3
H8D
JQ2
L7M
L~C
L~D
DOI 10.1109/TSMC.2016.2531681
DatabaseName IEEE All-Society Periodicals Package (ASPP) 2005-present
IEEE All-Society Periodicals Package (ASPP) 1998-Present
IEEE Xplore Digital Libary (IEL)
CrossRef
Computer and Information Systems Abstracts
Electronics & Communications Abstracts
Mechanical & Transportation Engineering Abstracts
Technology Research Database
Engineering Research Database
Aerospace Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Aerospace Database
Technology Research Database
Computer and Information Systems Abstracts – Academic
Mechanical & Transportation Engineering Abstracts
Electronics & Communications Abstracts
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
Engineering Research Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Aerospace Database
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 2168-2232
EndPage 1098
ExternalDocumentID 10_1109_TSMC_2016_2531681
7436789
Genre orig-research
GrantInformation_xml – fundername: Science and Technology Development Fund, MSAR
  grantid: 066/2013/A2
– fundername: National Natural Science Foundation of China
  grantid: 61374068
  funderid: 10.13039/501100001809
GroupedDBID 0R~
6IK
97E
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABQJQ
ABVLG
ACGFS
ACIWK
AGQYO
AGSQL
AHBIQ
AKJIK
AKQYR
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
EBS
EJD
HZ~
IFIPE
IPLJI
JAVBF
M43
O9-
OCL
PQQKQ
RIA
RIE
RNS
AAYXX
CITATION
7SC
7SP
7TB
8FD
FR3
H8D
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-c336t-cad0981ee21c75e1b3f85c6aa39ce9d2642d64bf14179c501f64784498e94ba3
IEDL.DBID RIE
ISICitedReferencesCount 33
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000404354600005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2168-2216
IngestDate Sun Nov 09 08:20:50 EST 2025
Sat Nov 29 03:45:26 EST 2025
Tue Nov 18 20:53:11 EST 2025
Tue Aug 26 16:38:57 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 7
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c336t-cad0981ee21c75e1b3f85c6aa39ce9d2642d64bf14179c501f64784498e94ba3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
OpenAccessLink https://utoronto.scholaris.ca/bitstreams/fe458931-b349-4b7f-9614-f23f69878c27/download
PQID 1913520616
PQPubID 75739
PageCount 17
ParticipantIDs crossref_primary_10_1109_TSMC_2016_2531681
crossref_citationtrail_10_1109_TSMC_2016_2531681
ieee_primary_7436789
proquest_journals_1913520616
PublicationCentury 2000
PublicationDate 2017-07-01
PublicationDateYYYYMMDD 2017-07-01
PublicationDate_xml – month: 07
  year: 2017
  text: 2017-07-01
  day: 01
PublicationDecade 2010
PublicationPlace New York
PublicationPlace_xml – name: New York
PublicationTitle IEEE transactions on systems, man, and cybernetics. Systems
PublicationTitleAbbrev TSMC
PublicationYear 2017
Publisher IEEE
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml – name: IEEE
– name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References ref35
ref13
ref34
ref12
ref15
ref36
ref14
ref31
ref30
ref33
ref11
ref32
ref10
ref2
ref1
ref16
ref18
wang (ref21) 1999
mok (ref6) 1983
dertouzos (ref7) 1974
ref24
ref23
ref26
ref25
ref20
ref22
ref28
ref27
ref29
ref8
you (ref19) 2015; 45
ref9
ref4
ref3
ref5
wang (ref17) 2016; 12
References_xml – ident: ref8
  doi: 10.1007/BF01995675
– ident: ref2
  doi: 10.1145/2597457.2597458
– ident: ref23
  doi: 10.1109/ECRTS.2005.32
– ident: ref25
  doi: 10.1145/1032297.1032298
– ident: ref30
  doi: 10.1109/TASE.2011.2178023
– ident: ref10
  doi: 10.1109/TSMCA.2012.2199305
– ident: ref24
  doi: 10.1016/0020-0190(80)90123-4
– ident: ref15
  doi: 10.1137/0325013
– ident: ref26
  doi: 10.1109/5.21072
– ident: ref11
  doi: 10.1109/TSMC.2014.2331022
– ident: ref29
  doi: 10.1109/TSE.2012.54
– volume: 45
  start-page: 967
  year: 2015
  ident: ref19
  article-title: Synthesis of monitor-based liveness-enforcing supervisors for S3PR with $\xi $ -resources
  publication-title: IEEE Trans Syst Man Cybern Syst
  doi: 10.1109/TSMC.2014.2376476
– ident: ref4
  doi: 10.1145/1465611.1465613
– ident: ref31
  doi: 10.1109/TASE.2012.2192476
– ident: ref18
  doi: 10.1109/TSMC.2014.2373316
– ident: ref12
  doi: 10.1109/TSMC.2014.2332443
– ident: ref9
  doi: 10.1006/inco.1995.1028
– ident: ref5
  doi: 10.1016/0166-5316(82)90024-4
– ident: ref34
  doi: 10.1109/TSMCA.2007.909542
– ident: ref27
  doi: 10.1109/TSE.2011.4
– ident: ref35
  doi: 10.1109/TAC.2015.2389313
– ident: ref3
  doi: 10.1145/321738.321743
– ident: ref36
  doi: 10.1109/MRA.2015.2415047
– start-page: 807
  year: 1974
  ident: ref7
  article-title: Control robotics: The procedural control of physical processes
  publication-title: Proc IFIP Cong
– ident: ref33
  doi: 10.1109/TSMC.2014.2307284
– start-page: 328
  year: 1999
  ident: ref21
  article-title: Scheduling fixed-priority tasks with preemption threshold
  publication-title: Proc Real-Time Comput Syst Appl Conf
– ident: ref22
  doi: 10.1109/TASE.2014.2309479
– ident: ref14
  doi: 10.1007/978-1-4471-5058-9_54
– volume: 12
  start-page: 101
  year: 2016
  ident: ref17
  article-title: Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control
  publication-title: IEEE Trans Ind Inform
  doi: 10.1109/TII.2015.2500161
– year: 1983
  ident: ref6
  article-title: Fundamental design problems of distributed systems for the hard-real-time environment
– ident: ref32
  doi: 10.1109/TCST.2014.2313352
– ident: ref28
  doi: 10.1109/TII.2012.2205399
– ident: ref13
  doi: 10.1023/A:1020207328508
– ident: ref16
  doi: 10.1109/TSMC.2014.2303051
– ident: ref1
  doi: 10.1023/B:TIME.0000045315.61234.1e
– ident: ref20
  doi: 10.1109/TII.2012.2188805
SSID ssj0001286306
Score 2.218722
Snippet This paper presents a general discrete-event system (DES)-based hard periodic real-time task model. Based on supervisory control theory (SCT), an optimal...
SourceID proquest
crossref
ieee
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 1082
SubjectTerms Conditional-preemption
Control systems
Control theory
discrete-event system (DES)
Generators
Heuristic algorithms
Languages
limited preemption
Microprocessors
Multiprocessing
Preempting
Preemption
Priorities
Priority scheduling
Processor scheduling
Production scheduling
Real time
real-time system (RTS)
Real-time systems
Response time
Schedules
Scheduling
Specifications
Supervisory control
Task scheduling
Title Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control
URI https://ieeexplore.ieee.org/document/7436789
https://www.proquest.com/docview/1913520616
Volume 47
WOSCitedRecordID wos000404354600005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE Electronic Library (IEL)
  customDbUrl:
  eissn: 2168-2232
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0001286306
  issn: 2168-2216
  databaseCode: RIE
  dateStart: 20130101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT-MwEB4B4rB74L3a8pIPnNAG4jyc-AiFigOPivbALXL8QNVCUyUtEv-eGTdUoF0hcYmiaGxF-eJ5ecYfwJGNXOlEmgUmNGGQoBQuKQQkU2WqlOTGGd8ofJ3d3uYPD7K_BH8WvTDWWl98Zk_o1u_lm0rPKFV2itYOdatchuUsy-a9Wh_yKbmIPZVmxAWCj9d2E5OH8nQ4uOlSHZc4iVKiauKfzJDnVflHGXsL01v_3rttwFrrSbKzOfSbsGTHW_Dzw_mC2_ByhwrhGYX69agilrqgV1vLuhXtU_sc4NNr0MdHzxPSeuwevcaAmkLYALE0VKT-yCrH-jhfZUaaDVXzt2HnaPkMq8bs4nLABrMJqZumql9pYqp734Fh73LYvQpaooVAx7GYBlqZUObc2ojrLLW8jF2eaqFULLWVBn2myIikdJzoynQackcdqkkicyuTUsW_YGVcje1vYLlE81-6FC2eTXiSlRzjq0iJUuUYV7m8A-H7Zy90ewg5cWE8FT4YCWVBSBWEVNEi1YHjxZDJ_ASOr4S3CZqFYItKB_bfsS3aNdoUGKmi94n-jNj9_6g9-BGREffFufuwMq1n9gBW9ct01NSH_vd7AwMs2FE
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1Lb9NAEB6VggQceLWIlAJ74IRw67XXa-8RQqMi0hARH3qz1vtAEW0c2Uml_vvObNyoCITExbKs2ZXlzzuvndkP4L1LfO1llkc2tnEkUAqXFAKS6zrTWnHrbWgUHueTSXF-rqY78HHbC-OcC8Vn7ohuw16-bcyaUmXHaO1Qt6p7cD8TIuGbbq07GZVCpoFMM-ES4cdrv43JY3Vczs6GVMklj5KMyJr4b4YoMKv8oY6DjRk9_b-3ewZPel-SfdqA_xx23OIFPL5zwuAeXH1HlXCJQtN23hBPXTRqnWPDhnaqQxbw4jqa4qPLJek99gP9xojaQtgM0bRUpv6TNZ5Ncb7Gzg0rdferY5_R9lnWLNiXkxmbrZekcLqmvaaJqfJ9H8rRSTk8jXqqhcikqVxFRttYFdy5hJs8c7xOfZEZqXWqjFMWvabESlF7ToRlJou5px5VIVThlKh1-hJ2F83CvQJWKHQAap-hzXOCi7zmGGElWta6wMjKFwOIbz97ZfpjyIkN46IK4UisKkKqIqSqHqkBfNgOWW7O4PiX8B5BsxXsURnA4S22Vb9KuwpjVfQ_0aORB38f9Q4enpZn42r8dfLtNTxKyKSHUt1D2F21a_cGHpir1bxr34Zf8QZrxNuY
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Optimal+Priority-Free+Conditionally-Preemptive+Real-Time+Scheduling+of+Periodic+Tasks+Based+on+DES+Supervisory+Control&rft.jtitle=IEEE+transactions+on+systems%2C+man%2C+and+cybernetics.+Systems&rft.au=Wang%2C+Xi&rft.au=Li%2C+Zhiwu&rft.au=Wonham%2C+Walter+Murray&rft.date=2017-07-01&rft.issn=2168-2216&rft.eissn=2168-2232&rft.volume=47&rft.issue=7&rft.spage=1082&rft.epage=1098&rft_id=info:doi/10.1109%2FTSMC.2016.2531681&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_TSMC_2016_2531681
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2168-2216&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2168-2216&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2168-2216&client=summon