A Conditional Scheduling Approach to Designing Real-Time Systems

Proceedings of the 4th International Conference on Artificial Intelligence Planning Systems, AIPS 1998

Volumn , Issue , 1998, Pages 224-231

  Greenwald, Lloyd ^a   Dean, Thomas ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b Brown Univerity   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; INTERACTIVE COMPUTER SYSTEMS;

ANALYSIS TOOLS; CONDITION; DESIGN TIME; MODELLING AND ANALYSIS; MODELLING TOOLS; REAL - TIME SYSTEM; REAL TIME EXECUTION; REAL TIME RESPONSE; SPECIFIC TASKS; TASK EXECUTIONS;

REAL TIME SYSTEMS;

EID: 85166377568     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Carpenter, T.; Driscoll, K.; Hoyme,K.; and Carciofini, J. 1994. Arinc 659 scheduling: Problem definition. In Proceedings of the 15th IEEE Real-Time Systems Symposium.
2. Drummond,M.; Bresina, J.; and Swanson, K. 1994. Just-in-case scheduling. In Proceedings AAAI-9.
3. Fohler, G. 1992. Realizing changes of operational modes with a pre run-time scheduled hard real-time system. In Proceedings o] the Second International Workshop on Responsive Computer Systems.
4. Gat, E. 1991. Integrating reaction and planning in a heterogeneous asynchronous architecture for mobile robot navigation. SIGARTBulletin 2(4).
5. Georgei, M. P., and Lansky, A. L. 1987. Reactive reasoning and planning. In Proceedings AAAI-87.
6. Gerber, R.; Pugh, W.; and Saksena, M. 1995. Parametric dispatching of hard real-time tasks. IEEE Transactions on Computers 44(3).
7. Greenwald, L., and Dean, T. 1997. Tradeoffs in the design of on-line systems. In WorkingNotes of AAAI-97 Workshop on On-Line Search.
8. Greenwald, L. G. 1997. Analysis and Design of On-line Decision-Making Solutions ]or Time- Critical Planning and Scheduling Under Uncertainty. Ph.D. Dissertation, BrownUniversity, Providence, RI.
9. Hoyme,K., and Driscoll, K. 1993. Safebus(tm). IEEE Aerospace Electronics and Systems Magazine 34-39.
10. Lyons, D. M., and Hendriks, A. J. 1994. Testing incremental adaptation. In SecondInternational Conference on AI Planning Systems.
11. Musliner, D.; Durfee, E.; and Shin, K. 1995. World modeling for the dynamic construction of real-time control plans. Artificial Intelligence 74:83-127.
12. Pell, B.; Gat, E.; Keesing, R.; Muscettola, N.; and Smith, B. 1997. Robust periodic planning and execution for autonomousspacecraft. In Proceedings IJCAI 15, 1234-1239.
13. Sha, L.; Rajkumar, R.; Lehoczky, J.; and Ramamritham, K. 1989. Modechange protocols for priority-driven preemptive scheduling. Real-Time Systems 1(3):243-265.
14. Simmons,R. 1991. Coordinating planning, perception, and action for mobile robots. SIGARTBulletin 2(4).