Scheduling for reliable execution in autonomic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5060 LNCS, Issue , 2008, Pages 149-161

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

^a WASHINGTON UNIVERSITY IN ST LOUIS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; MODEL STRUCTURES; PARALLEL PROCESSING SYSTEMS; PROCESS ENGINEERING; REAL TIME SYSTEMS; SCHEDULING; TIME MEASUREMENT;

AUTONOMIC SYSTEMS; CONCURRENT TASKS; DECISION MODELING; EXECUTION CONSTRAINTS; EXECUTION TIMES; HIERARCHICAL SCHEDULING; INTERNATIONAL CONFERENCES; MARKOV DECISION PROCESS; MODEL-CHECKING TECHNIQUES; MULTI-THREADED SYSTEMS; NETWORK LINKS; RATE-MONOTONIC SCHEDULING; RELIABLE EXECUTION; RELIABLE OPERATIONS; SCHEDULING POLICIES; SHARED RESOURCES; SYSTEM MODELLING; SYSTEMS MODELLING; TRUSTED COMPUTING;

MODEL CHECKING;

EID: 48249142775     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69295-9_14     Document Type: Conference Paper

References (29)

1. Irvine, C.E.: The reference monitor concept as a unifying principle in computer security education, http://citeseer.ist.psu.edu/299300.html
2. ARINC Incorporated Annapolis, Maryland, USA: Document No. 653: Avionics Application Software Standard Inteface (Draft 15) (1997)
3. Vanfleet, W.M., Luke, J.A., Beckwith, R.W., Taylor, C., Calloni, B., Uchenick, G.: MILS: Architecture for High-Assurance Embedded Computing (Crosstalk: the Journal of Defense Software Engineering (August (2005), http://www.stsc.hill.af.mil/ crosstalk/2005/08/0508Vanfleet_etal.html
4. Goldberg, I., Wagner, D., Thomas, R., Brewer, E.A.: A secure environment for untrusted helper applications. In: Proceedings of the 6th Usenix Security Symposium, San Jose, CA, USA (1996)
5. Garfinkel, T: Traps and pitfalls: Practical problems in in system call interposition based security tools. In: Proc. Network and Distributed Systems Security Symposium (2003)
6. Garfinkel, T., Pfaff, B., Rosenblum, M.: Ostia: A delegating architecture for secure system call interposition. In: Proc. Network and Distributed Systems Security Symposium (2004)
7. Provos, N.: Improving host security with system call policies. In: 12th USENIX Security Symposium, Washington, DC (2003)
8. Liu, J.W.S.: Real-time Systems. Prentice Hall, New Jersey (2000)
9. nd Symposium on Operating Systems Design and Implementation, USENIX (1996)
10. nd IEEE Real-time Systems Symposium, London, UK (2001)
11. th IEEE Real-time Systems Symposium, Can-cun, Mexico (2003)
12. Aswathanarayana, T., Subramonian, V., Niehaus, D., Gill, C.: Design and performance of configurable endsystem scheduling mechanisms. In: Proceedings of 11th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS) (2005)
13. Migliaccio, A., Tidwell, T., Gill, C., Aswathanarayana, T., Niehaus, D.: Group scheduling in selinux to mitigate cpu-focused denial of service attacks. Technical Report WUCSE-2005-55, Department of Computer Science and Engineering, Washington University, St.Louis (2005)
14. Tidwell, T., Watkins, N., Subramonian, V., Niehaus, D., Gill, C., Migliaccio, A.: The design, modeling, and implementation of group scheduling for isolation of computations from adversarial interference. Technical Report WUCSE-2006-34, Computer Science and Engineering Department, Washington University, St.Louis (2006)
15. Tidwell, T., Gill, C., Subramonian, V.: Scheduling induced bounds and the verification of preemptive real-time systems. Technical Report WUCSE-2007-34, Computer Science and Engineering Department, Washington University, St.Louis (2007)
16. Martin, W., White, P., Taylor, F.S., Goldberg, A.: Formal construction of the mathematically analyzed separation kernel. In: ASE 2000: Proceedings of the 15th IEEE international conference on Automated software engineering, Washington, DC, USA, p. 133. IEEE Computer Society, Los Alamitos (2000)
17. Jones, M.: What really happened on Mars (1997), www.research.microsoft. com/∼mbj/Mars_Pathfinder/Mars_Pathfinder.html
18. Zhang, Y., Lu, C., Gill, C., Lardieri, P., Thaker, G.: Middleware support for aperiodic tasks in distributed real-time systems. In: RTAS 2007: Proceedings of the 13th IEEE Real Time on Embedded Technology and Applications Symposium, Washington, DC, USA, pp. 497-506. IEEE Computer Society, Los Alamitos (2007)
19. Kesten, Y., Pnueli, A., Sifakis, J., Yovine, S.: Decidable integration graphs. Information and Computation 150(2), 209-243 (1999)
20. Huang, H.M., Gill, C.: Modeling timed component-based real-time systems. Technical Report WUCSE-2008-1, Computer Science and Engineering Department, Washington University, St.Louis (2008)
21. Held, M., Karp, R.M.: A dynamic programming approach to sequencing problems. Journal of the Society for Industrial and Applied Mathematics 10(1), 196-210 (1962)
22. Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (1998)
23. Tesauro, G.: Reinforcement learning in autonomic computing: A manifesto and case studies. IEEE Internet Computing 11(1), 22-30 (2007)
24. Tesauro, G., Jong, N.K., Das, R., Bennani, M.N.: On the use of hybrid reinforcement learning for autonomic resource allocation. Cluster Computing 10(3) (2007)
25. Littman, M.L., Ravi, N., Fenson, E., Howard, R.: Reinforcement learning for autonomic network repair. In: Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), pp. 284-285 (2004)
26. Whiteson, S., Stone, P.: Adaptive job routing and scheduling. Engineering Applications of Artificial Intelligence 17(7), 855-869 (2004)
27. Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley Interscience, Chichester (1994)
28. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
29. th IEEE International Real-Time Systems Symposium, Tuscon, AZ (2007)