Article

Free access

Software scheduling in the co-synthesis of reactive real-time systems

Authors:

Pai Chou,

Gaetano BorrielloAuthors Info & Claims

DAC '94: Proceedings of the 31st annual Design Automation Conference

Pages 1 - 4

https://doi.org/10.1145/196244.196247

Published: 06 June 1994 Publication History

PDF eReader

References

[1]

F. Boussinot and R. De Simone. The Esterel language. Proceedings of the IEEE, 79(9), Sept. 1991.

Crossref

Google Scholar

[2]

P. Chou, E. Walkup, and G. Borriello. Scheduling issues in the co-synthesis of reactive real-time systems. Technical report, Univ. of Washington, Dept. of Computer Science, Mar. 1994.

Google Scholar

[3]

M. R. Garey and D. S. Johnson. Computers and Intractability: a Guide to the Theory of NP- Completeness. W. H. Freeman and Company, 1979.

Digital Library

Google Scholar

[4]

D. Harel. StateCharts: a visual formalism for complex systems. Science of Programming, 8, 1987.

Digital Library

Google Scholar

[5]

D. C. Ku and G. De Micheli. Constrained conflict resolution and resource sharing in Hebe. Integration - The VLSI Journal, 12:131-165, Dec. 1991.

Digital Library

Google Scholar

[6]

D. C. Ku and G. De Micheli. Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits. IEEE Transactions on Computer-Aided Design, 11(6), June 1992.

Google Scholar

[7]

J. Xu and D. L. Parnas. On satisfying timing constraints in hard-real-time systems. IEEE Transactions on Software Engineering, 19(1):70-84, Jan. 1993.

Digital Library

Google Scholar

Cited By

View all

Harkut DAli M(2015)Hardware Support for Adaptive Task Scheduler in RTOSIntelligent Systems Technologies and Applications10.1007/978-3-319-23036-8_20(227-245)Online publication date: 29-Aug-2015
https://doi.org/10.1007/978-3-319-23036-8_20
Dasdan A(2009)Provably efficient algorithms for resolving temporal and spatial difference constraint violationsACM Transactions on Design Automation of Electronic Systems10.1145/1455229.145523714:1(1-24)Online publication date: 23-Jan-2009
https://dl.acm.org/doi/10.1145/1455229.1455237
Liu JChou P(2007)Idle energy minimization by mode sequence optimizationACM Transactions on Design Automation of Electronic Systems10.1145/1278349.127835112:4(38-es)Online publication date: 1-Sep-2007
https://dl.acm.org/doi/10.1145/1278349.1278351
Show More Cited By

Index Terms

Software scheduling in the co-synthesis of reactive real-time systems

Recommendations

Hardware-software co-synthesis of hard real-time systems with reconfigurable FPGAs

Real-time systems cover a wide application domain. This paper presents an efficient heuristic algorithm for enforcing the schedulability of aperiodic hard real-time tasks arriving simultaneously with precedence constraints and individual deadlines. The ...
Real-time scheduling in cloud-based virtualized software systems
NordiCloud '13: Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies

The number of applications that use virtualized cloud-based systems is growing, and one would like to use this kind of systems also for real-time applications with hard deadlines. There is scheduling on two levels in real-time applications executing in ...
A non-preemptive scheduling algorithm for soft real-time systems

Real-time systems are often designed using preemptive scheduling and worst-case execution time estimates to guarantee the execution of high priority tasks. There is, however, an interest in exploring non-preemptive scheduling models for real-time ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DAC '94: Proceedings of the 31st annual Design Automation Conference

June 1994

739 pages

ISBN:0897916530

DOI:10.1145/196244

Chairman:
Michael Lorenzetti
Mentor Graphics Corp., Wilsonville, OR

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 June 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC94

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC94: The 31st ACM/IEEE-CAS/EDAC Design Automation Conference

June 6 - 10, 1994

California, San Diego, USA

Acceptance Rates

DAC '94 Paper Acceptance Rate 100 of 260 submissions, 38%;

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

57
Total Citations
View Citations
553
Total Downloads

Downloads (Last 12 months)59
Downloads (Last 6 weeks)7

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Harkut DAli M(2015)Hardware Support for Adaptive Task Scheduler in RTOSIntelligent Systems Technologies and Applications10.1007/978-3-319-23036-8_20(227-245)Online publication date: 29-Aug-2015
https://doi.org/10.1007/978-3-319-23036-8_20
Dasdan A(2009)Provably efficient algorithms for resolving temporal and spatial difference constraint violationsACM Transactions on Design Automation of Electronic Systems10.1145/1455229.145523714:1(1-24)Online publication date: 23-Jan-2009
https://dl.acm.org/doi/10.1145/1455229.1455237
Liu JChou P(2007)Idle energy minimization by mode sequence optimizationACM Transactions on Design Automation of Electronic Systems10.1145/1278349.127835112:4(38-es)Online publication date: 1-Sep-2007
https://dl.acm.org/doi/10.1145/1278349.1278351
Chung ELuca BDeMicheli GLuculli GCarilli M(2006)Value-sensitive automatic code specialization for embedded softwareIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2002.80109621:9(1051-1067)Online publication date: 1-Nov-2006
https://dl.acm.org/doi/10.1109/TCAD.2002.801096
Adwin H. Timmer (2006)Conflict Modelling and Instruction Scheduling in Code Generation for In-House DSP Cores32nd Design Automation Conference10.1109/DAC.1995.250016(593-598)Online publication date: Dec-2006
https://doi.org/10.1109/DAC.1995.250016
Pai Chou (2006)Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems32nd Design Automation Conference10.1109/DAC.1995.249992(462-467)Online publication date: Dec-2006
https://doi.org/10.1109/DAC.1995.249992
Hong IKirovski DQu GPotkonjak MSrivastava M(2006)Power optimization of variable-voltage core-based systemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/43.81131818:12(1702-1714)Online publication date: 1-Nov-2006
https://dl.acm.org/doi/10.1109/43.811318
Liu JChou PBagherzadeh N(2003)Power-Aware Task Motion for Enhancing Dynamic Range of Embedded Systems with Renewable Energy SourcesPower-Aware Computer Systems10.1007/3-540-36612-1_6(84-99)Online publication date: 1-Apr-2003
https://doi.org/10.1007/3-540-36612-1_6
Euh JChittamuru JBurleson W(2002)A low-power content-adaptive texture mapping architecture for real-time 3D graphicsProceedings of the 2nd international conference on Power-aware computer systems10.5555/1766991.1767000(99-109)Online publication date: 2-Feb-2002
https://dl.acm.org/doi/10.5555/1766991.1767000
Dasdan AHenkel JHu XGupta RParameswaran S(2002)A strongly polynomial-time algorithm for over-constraint resolutionProceedings of the tenth international symposium on Hardware/software codesign10.1145/774789.774816(127-132)Online publication date: 6-May-2002
https://dl.acm.org/doi/10.1145/774789.774816
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Hardware-software co-synthesis of hard real-time systems with reconfigurable FPGAs

Real-time scheduling in cloud-based virtualized software systems

A non-preemptive scheduling algorithm for soft real-time systems