Task scheduling with RT constraints

Proceedings-Design Automation Conference

Volumn , Issue , 2000, Pages 483-488

  Di Natale, M ^a   Sangiovanni Vincentelli, A ^b   Balarin, F ^a  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; EMBEDDED SYSTEMS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SCHEDULING;

CODESIGN FINITE STATE MACHINE; TASK SCHEDULING;

FINITE AUTOMATA;

EID: 0033684695     PISSN: 0738100X     EISSN: None     Source Type: Journal    
DOI: 10.1109/DAC.2000.855359     Document Type: Article

References (8)

1. N. Audsley Applying new Scheduling Theory to Static Priority Pre-emptive Scheduling Software Engineering Journal 284 292 Sept. 1993
2. F Balarin A. Sangiovanni-Vincentelli Schedule Validation for Embedded Reactive Real-Time Systems DAC Conference DAC Conference Anaheim CA 1997
3. F Balarin Priority Assignment for Embedded Reactive Real-Time Systems LCTES Workshop 1998 LCTES Workshop 1998 Montreal 1998-June-17-19
4. F. Balarin H. Hsieh A. Jurecska L. Lavagno A. Sangiovanni-Vincentelli Formal Verification of Embedded Systems based on SCFM networks Proceedings of the 33rd ACM/IEEE DAC Conference Proceedings of the 33rd ACM/IEEE DAC Conference 1996-June
5. J. Blazewitcz Scheduling Dependent Tasks with Different Arrival Times to Meet Deadlines Modeling and Performace Evaluation of Computer Systems 1976
6. Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes
7. M. Saksena Schedulability Analysis for Automated Implementation of Real-Time Object-Oriented Models Proc. of the The IEEE Real-Time Systems Symposium Proc. of the The IEEE Real-Time Systems Symposium Madrid 1998-Dec.
8. K. Tindell Adding Time-Offsets to Schedulability Analysis Jan 1994 YCS 221 Dept. of Comp. Science, univ. of York