Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2003, Pages 287-294

  Kloukinas, C ^a   Yovine, S ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION-SPECIFIC SCHEDULERS; OPEN-SOURCE OSSA; PROTOTYPE IMPLEMENTATIONS; QOS (QUALITY OF SERVICE); SCHEDULING DECISIONS; SYNCHRONIZATION PRIMITIVE; SYNTHESIS METHOD;

QUALITY OF SERVICE; REAL TIME SYSTEMS;

SCHEDULING;

EID: 84884680126     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.2003.1212754     Document Type: Conference Paper

References (11)

1. K. Altisen, G. Gößler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems, 23(1):55-84, July 2002. (Pubitemid 34658882)
2. G. C. Buttazzo, G. Lipari, M. Caccamo, and L. Abeni. Elastic scheduling for flexible workload management. IEEE Trans. Computers, 51(3):289-302, Mar. 2002. (Pubitemid 35426905)
3. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, Reading, MA, USA, 1996.
4. D. Isović and G. Fohler. Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints. In IEEE RTSS'00, Orlando, Florida, USA, Nov. 2000.
5. A. J. Massa. Embedded Software Development with eCos. Prentice Hall, 2002.
6. The Open Group. The Single UNIX Specification, Version 2: Threads, 1997. (www.unix-systems.org/single-unix-specification-v2/xsh/threads.html)
7. F. Parain, M. Banâtre, G. Cabillic, T. Higuera, V. Issarny, and J.-P. Lesot. Techniques de réduction de la consommation dans les systèmes embarqués temps-réel. TR-1332, IRISA, France, May 2000. (In French).
8. R. Rajkumar, L. Sha, and J. P. Lehoczky. An experimental investigation of synchronisation protocols. In IEEE Workshop on Real-Time Operating Systems & Software, 1989.
9. Real-Time for Java Expert Group. The real-time specification for Java. Tech. Report, RTJ.org, Dec. 2001.
10. S. Tripakis and K. Altisen. On-the-fly controller synthesis for discrete and dense-time systems. In FM'99, volume 1708 of LNCS, Toulouse, France, Sept. 1999. Springer-Verlag.
11. R. J. van Glabbeek and W. P. Weijland. Branching time and abstraction in bisimulation semantics. JACM, 43(3), 1996.