Evolving real-time systems using hierarchical scheduling and concurrency analysis

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2003, Pages 25-36

  Regehr, John ^a   Reid, Alastair ^a   Webb, Kirk ^a   Parker, Michael ^a   Lepreau, Jay ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONCURRENCY CONTROL; EMBEDDED SYSTEMS; RESOURCE ALLOCATION; RESPONSE TIME (COMPUTER SYSTEMS); SENSORS; UNIX;

CONCURRENCY ANALYSIS; HIERARCHICAL SCHEDULING; REAL-TIME OPERATING SYSTEM;

REAL TIME SYSTEMS;

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

References (20)

1. T. E. Anderson, B. N. Bershad, E. D. Lazowska, and H. M. Levy. Scheduler Activations: Effective kernel support for the user-level management of parallelism. In Proc. of the 13th ACM Symp. on Operating Systems Principles (SOSP), pages 95-109, Pacific Grove, CA, Oct. 1991.
2. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8(5):284-292, Sept. 1993.
3. L. Barello. The AvrX real time kernel. http://barello.net/avrx.
4. Z. Deng, J. W.-S. Liu, L. Zhang, S. Mouna, and A. Frei. An open environment for real-time applications. Real-Time Systems Journal, 16(2/3):165-185, May 1999.
5. X. Feng, and A. K. Mok. A model of hierarchical real-time virtual resources. In Proc. of the 23rd IEEE Real-Time Systems Symp. (RTSS), Austin, TX, Dec. 2002.
6. C. Flanagan and M. Abadi. Types for safe locking. In S. Swierstra, editor, ESOP'99 Programming Languages and Systems, volume 1576 of Lecture Notes in Computer Science, pages 91-108, Springer-Verlag, Mar. 1999.
7. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesC language: A holistic approach to networked embedded systems. In Proc. of Programming Language Design and Implementation (PLDI), pages 1-11, San Diego, CA, June 2003.
8. A. Greenhouse and W. L. Scherlis. Assuring and evolving concurrent programs: Annotations and policy. In Proc. of the 24th Intl. Conf. on Software Engineering (ICSE), pages 453-463, Orlando, FL, May 2002.
9. J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, and K. Pister. System architecture directions for networked sensors. In Proc. of the 9th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 93-104, Cambridge, MA, Nov. 2000.
10. K. Jeffay and D. L. Stone. Accounting for interrupt handling costs in dynamic priority task systems. In Proc. of the 14th IEEE Real-Time Systems Symp. (RTSS), pages 212-221, Raleigh-Durham, NC, Dec. 1993.
11. M. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.
12. G. Lipari, J. Carpenter, and S. K. Baruah. A framework for achieving inter-application isolation in multiprogrammed hard real-time environments. In Proc. of the 21st IEEE Real-Time Systems Symp. (RTSS), pages 217-226, Orlando, FL, Nov. 2000.
13. J. Regehr. Inferring scheduling behavior with Hourglass. In Proc. of the USENIX Annual Technical Conf. FREENIX Track, pages 143-156, Monterey, CA, June 2002.
14. J. Regehr and A. Reid. Lock inference for systems software. In Proc. of the Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), Boston, MA, Mar. 2003.
15. J. Regehr and J. A. Stankovic. HLS: A framework for composing soft real-time schedulers. In Proc. of the 22nd IEEE Real-Time Systems Symp. (RTSS), pages 3-14, London, UK, Dec. 2001.
16. S. Saewong, R. Rajkumar, J. P. Lehoczky, and M. H. Klein. Analysis of hierarchical fixed-priority scheduling. In Proc. of the 14th IEEE Euromicro Conf. on Real-Time Systems, Vienna, Austria, June 2002.
17. M. Saksena and Y. Wang. Scalable real-time system design using preemption thresholds. In Proc. of the 21st IEEE Real-Time Systems Symp. (RTSS), Orlando, FL, Nov. 2000.
18. L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175-1185, Sept. 1990.
19. TimeSys Linux/GPL. http://timesys.com
20. V. Yodaiken. The RTLinux manifesto. In Proc. of The 5th Linux Expo, Raleigh, NC, Mar. 1999.