Article

A Framework for Scheduler Synthesis

Authors:

S. YovineAuthors Info & Claims

RTSS '99: Proceedings of the 20th IEEE Real-Time Systems Symposium

Page 154

Published: 01 December 1999 Publication History

Publisher Site

Abstract

In this paper we present a framework integrating specification and scheduler generation for real-time systems. In a first step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs) is specified as a timed Petri-net. In a second step, our tool generates the most general non-preemptive online scheduler for the specification, using a controller synthesis technique.

Cited By

View all

Altmeyer SNavet N(2016)Towards a declarative modeling and execution framework for real-time systemsACM SIGBED Review10.1145/2930957.293096213:2(30-33)Online publication date: 27-Apr-2016
https://dl.acm.org/doi/10.1145/2930957.2930962
Bouyer PFahrenberg ULarsen KMarkey N(2011)Quantitative analysis of real-time systems using priced timed automataCommunications of the ACM10.1145/1995376.199539654:9(78-87)Online publication date: 1-Sep-2011
https://dl.acm.org/doi/10.1145/1995376.1995396
Philippou ALee ISokolsky OChoi J(2010)A process algebraic framework for modeling resource demand and supplyProceedings of the 8th international conference on Formal modeling and analysis of timed systems10.5555/1885174.1885189(183-197)Online publication date: 8-Sep-2010
https://dl.acm.org/doi/10.5555/1885174.1885189
Show More Cited By

Recommendations

Experimental Evaluation of a Real-Time Scheduler for a Multiprocessor System

A description is given of the design, implementation, and experimental evaluation of a multiprocessor scheduler used with robotics applications and other real-time programs. The scheduler makes decisions concerning both the assignment of processes and ...
Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines

The deadline of a request is the time instant at which its execution must complete. The deadline of the request in any period of a job with deferred deadline is some time instant after the end of the period. The authors describe a semi-static priority-...
Global EDF-based scheduling with laxity-driven priority promotion

This paper presents an algorithm, called Earliest Deadline Critical Laxity (EDCL), for scheduling sporadic task systems on multiprocessors. EDCL is a derivative of the Earliest Deadline Zero Laxity (EDZL) algorithm. Each job is assigned a priority based ...

Comments

Information & Contributors

Information

Published In

RTSS '99: Proceedings of the 20th IEEE Real-Time Systems Symposium

December 1999

ISBN:0769504752

Publisher

IEEE Computer Society

United States

Publication History

Published: 01 December 1999

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Altmeyer SNavet N(2016)Towards a declarative modeling and execution framework for real-time systemsACM SIGBED Review10.1145/2930957.293096213:2(30-33)Online publication date: 27-Apr-2016
https://dl.acm.org/doi/10.1145/2930957.2930962
Bouyer PFahrenberg ULarsen KMarkey N(2011)Quantitative analysis of real-time systems using priced timed automataCommunications of the ACM10.1145/1995376.199539654:9(78-87)Online publication date: 1-Sep-2011
https://dl.acm.org/doi/10.1145/1995376.1995396
Philippou ALee ISokolsky OChoi J(2010)A process algebraic framework for modeling resource demand and supplyProceedings of the 8th international conference on Formal modeling and analysis of timed systems10.5555/1885174.1885189(183-197)Online publication date: 8-Sep-2010
https://dl.acm.org/doi/10.5555/1885174.1885189
Iordache MAntsaklis P(2009)Petri nets and programmingProceedings of the 2009 conference on American Control Conference10.5555/1702715.1703154(4994-4999)Online publication date: 10-Jun-2009
https://dl.acm.org/doi/10.5555/1702715.1703154
Cruz FBarreto RCordeiro LMaciel PSciuto D(2008)ezRealtimeProceedings of the conference on Design, automation and test in Europe10.1145/1403375.1403737(1510-1515)Online publication date: 10-Mar-2008
https://dl.acm.org/doi/10.1145/1403375.1403737
Cruz FBarreto RCordeiro LWainwright RHaddad H(2008)Towards a model-driven engineering approach for developing embedded hard real-time softwareProceedings of the 2008 ACM symposium on Applied computing10.1145/1363686.1363765(308-314)Online publication date: 16-Mar-2008
https://dl.acm.org/doi/10.1145/1363686.1363765
Degorre AMaler O(2008)On Scheduling Policies for Streams of Structured JobsProceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems10.1007/978-3-540-85778-5_11(141-154)Online publication date: 15-Sep-2008
https://dl.acm.org/doi/10.1007/978-3-540-85778-5_11
Cassez F(2007)Efficient on-the-fly algorithms for partially observable timed gamesProceedings of the 5th international conference on Formal modeling and analysis of timed systems10.5555/1779879.1779882(5-24)Online publication date: 3-Oct-2007
https://dl.acm.org/doi/10.5555/1779879.1779882
Tavares EMaciel PBessa ABarreto RBarros LOliveira MLima RGalup-Montoro CBampi SOrailoglu A(2005)A time petri net based approach for embedded hard real-time software synthesis with multiple operational modesProceedings of the 18th annual symposium on Integrated circuits and system design10.1145/1081081.1081110(98-103)Online publication date: 4-Sep-2005
https://dl.acm.org/doi/10.1145/1081081.1081110
Amorim LBarreto RMaciel PTavares EOliveira MBessa ALima R(2005)A methodology for software synthesis of embedded real-time systems based on TPN and LSCProceedings of the Second international conference on Embedded Software and Systems10.1007/11599555_8(50-62)Online publication date: 16-Dec-2005
https://dl.acm.org/doi/10.1007/11599555_8
Show More Cited By

Abstract

Cited By

Recommendations

Experimental Evaluation of a Real-Time Scheduler for a Multiprocessor System

Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines

Global EDF-based scheduling with laxity-driven priority promotion

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations