Scheduling design and verification for open soft real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2008, Pages 505-514

  Glaubius, Robert ^a   Tidwell, Terry ^a   Smart, William D ^a   Gill, Christopher ^a  

^a WASHINGTON UNIVERSITY IN ST LOUIS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS SYSTEM; DECISION MODELS; MARKOV DECISION PROCESS; REAL TIME SCHEDULING; REGULAR STRUCTURE; SCHEDULING POLICIES; SCHEDULING SEMANTICS; SOFT REAL-TIME SYSTEMS; STATE OF THE ART; STATE SPACE; TEMPORAL PREDICTABILITY; TIME HORIZONS;

CONTINUOUS TIME SYSTEMS; MARKOV PROCESSES; SCHEDULING; SCHEDULING ALGORITHMS;

REAL TIME SYSTEMS;

EID: 67249118633     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2008.48     Document Type: Conference Paper

References (22)

1. T. Tidwell, R. Glaubius, C. Gill, and W. D. Smart, "Scheduling for Reliable Execution in Autonomic Systems," in 5th International Conference on Autonomic and Trusted Computing (ATC 08, (Oslo, Norway), June 2008.
2. ARINC Incorporated, Annapolis, Maryland, USA, Document No. 653: Avionics Application Software Standard Inteface (Draft 15), Jan. 1997.
3. W. Mark Vanfleet and Jahn A. Luke and R. William Beckwith and Carol Taylor and Ben Calloni and Gordon Uchenick, "MILS: Architecture for High-Assurance Embedded Computing." http://www.stsc.hill.af.mil/crosstalk/ 2005/ 08/0508Vanfleet-etal.html, Crosstalk: the Journal of Defense Software Engineering, August, 2005.
4. W. Martin, P. White, F. S. Taylor, and A. Goldberg, "Formal construction of the mathematically analyzed separation kernel," in ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering, (Washington, DC, USA), p. 133, IEEE Computer Society, 2000.
5. J. W. S. Liu, Real-time Systems. New Jersey: Prentice Hall, 2000.
6. Y. Zhang, C. Lu, C. Gill, P. Lardieri, and G. Thaker, "Middleware support for aperiodic tasks in distributed real-time systems," in RTAS '07: Proceedings of the 13th IEEE Real Time on Embedded Technology and Applications Symposium, (Washington, DC, USA), pp. 497- 506, IEEE Computer Society, Apr. 2007.
7. Goyal, Guo, and Vin, "A Hierarchical CPU Scheduler for Multimedia Operating Systems," in 2nd Symposium on Operating Systems Design and Implementation, USENIX, Oct. 1996.
8. Regehr and Stankovic, "HLS: A Framework for Composing Soft Real-time Schedulers," in 22nd IEEE Real-time Systems Symposium, (London, UK), Dec. 2001.
9. Regehr, Reid, Webb, Parker, and Lepreau, "Evolving Real-time Systems Using Hierarchical Scheduling and Concurrency Analysis," in 24th IEEE Real-time Systems Symposium, (Cancun, Mexico), Dec. 2003.
10. T. Aswathanarayana, V. Subramonian, D. Niehaus, and C. Gill, "Design and performance of configurable endsystem scheduling mechanisms," in Proceedings of 11th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS), 2005.
11. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine, "Decidable integration graphs," Information and Computation, vol.150, no. 2, pp. 209-243, 1999. (Pubitemid 129610442)
12. T. Tidwell, C. Gill, and V. Subramonian, "Scheduling induced bounds and the verification of preemptive real-time systems," Tech. Rep. WUCSE-2007-2034, Computer Science and Engineering Department, Washington University in St.Louis, 2007.
13. H.-M. Huang and C. Gill, "Modeling timed component-based realtime systems," Tech. Rep. WUCSE-2008-2011, Computer Science and Engineering Department, Washington University in St.Louis, 2008.
14. M. Held and R. M. Karp, "A dynamic programming approach to sequencing problems," Journal of the Society for Industrial and Applied Mathematics, vol.10, pp. 196-210, March 1962.
15. R. S. Sutton and A. G. Barto, Reinforcement Learning: An Introduction. MIT Press, 1998.
16. G. Tesauro, N. K. Jong, R. Das, and M. N. Bennani, "On the use of hybrid reinforcement learning for autonomic resource allocation," Cluster Computing, vol.10, September 2007.
17. M. L. Littman, N. Ravi, E. Fenson, and R. Howard, "Reinforcement learning for autonomic network repair," in Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004, pp. 284-285, 2004.
18. S. Whiteson and P. Stone, "Adaptive job routing and scheduling,"Engineering Applications of Artificial Intelligence, vol.17, pp. 855-869, oct 2004.
19. M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley Interscience, 1994.
20. S. P. Singh and R. C. Yee, "An upper bound on the loss from approximate optimal-value functions," Machine Learning, vol.16, no. 3, pp. 227-233, 1994.
21. D. L. Dill, "Timing assumptions and verification of finite-state concurrent systems," in Proceedings of the international workshop on Automatic verification methods for finite state systems, pp. 197-212, Springer-Verlag LNCS 407, 1990.
22. E. M. Clarke, O. Grumberg, and D. A. Peled, Model checking. MIT Press, 1999.