A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems

IEEE Transactions on Software Engineering

Volumn 30, Issue 9, 2004, Pages 613-629

  Li, Peng ^a   Ravindran, Binoy ^a   Suhaib, Syed ^a   Feizabadi, Shahrooz ^a  

^a Virginia Polytechnic Institute and State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; MIDDLEWARE; REAL TIME SYSTEMS; SOFTWARE PROTOTYPING;

META SCHEDULER; MODEL CHECKING; PORTABLE OPERATING SYSTEM INTERFACE; REAL TIME SCHEDULING; UTILITY ACCRUAL SCHEDULING;

COMPUTER OPERATING SYSTEMS;

EID: 4644255757     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2004.45     Document Type: Article

References (45)

1. FSMLabs, RT-Linux, http://www.fsmlabs.com, 1997.
2. L.P. Barreto, R. Douence, G. Muller, and M. Sudholt, "Programming OS Schedulers with Domain-Specific Languages and Aspects: New Approaches for OS Kernel Engineering," Proc. AOSD Workshop Aspects, Components, and Patterns for Infrastructure Software, Apr. 2002.
3. G. Bollella and J. Gosling, "The Real-Time Specification for Java," IEEE Computer, vol. 33, no. 6, pp. 47-54, June 2000.
4. G. Buttazzo and J. Stankovic, "Adding Robustness in Dynamic Preemptive Scheduling," Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, D. Fussel and M. Malek, eds., pp. 67-88, Oct. 1995.
5. G.C. Buttazzo, "The S.Ha.R.K. Project," http://shark.sssup.it/index.shtml, 2004.
6. K. Chen and P. Muhlethaler, "A Scheduling Algorithm for Tasks Described by Time Value Function," J. Real-Time Systems, vol. 10, no. 3, pp. 293-312, 1996.
7. H. Chua and K. Nahrstedt, "CPU Service Classes for Multimedia Applications," Proc. IEEE Int'l Conf. Multimedia Computing and Systems, June 1999.
8. R. Clark, E.D. Jensen, A. Kanevsky, J. Maurer, P. Wallace, T. Wheeler, Y. Zhang, D. Wells, T. Lawrence, and P. Hurley, "An Adaptive, Distributed Airborne Tracking System," Proc. IEEE Int'l Workshop Parallel and Distributed Real-Time Systems, pp. 353-362, 1999.
9. R.K. Clark, "Scheduling Dependent Real-Time Activities," PhD dissertation, Carnegie Mellon Univ., 1990.
10. Z. Deng, J.W. Liu, and J. Sun, "A Scheme for Scheduling Hard Real-Time Applications in Open System Environment," Proc. Euromicro Workshop Real-Time Systems, pp. 191-199, 1997.
11. S. Feizabadi, W. Beebee Jr., B. Ravindran, P. Li, and M. Rinard, "Utility Accrual Scheduling with Real-Time Java," Proc. Workshop Java Technologies for Real-Time and Embedded Systems, 2003.
12. C.D. Gill, D.L. Levine, and D.C. Schmidt, "The Design and Performance of a Real-Time CORBA Scheduling Service," Real-Time Systems, vol. 20, no. 2, pp. 3-40, Mar. 2001.
13. P. Goyal, X. Guo, and H. Vin, "A Hierarchical CPU Scheduler for Multimedia Operating Systems," Proc. USENIX OSDI Symp., pp. 107-121, 1996.
14. C.A.R. Hoare, "Communicating Sequential Processes," Comm. ACM, vol. 21, no. 8, pp. 666-677, 1978.
15. G.J. Holzmann, "The Model Checker SPIN," IEEE Trans. Software Eng., vol. 23, no. 5, pp. 279-295, May 1997.
16. W. Horn, "Some Simple Scheduling Algorithms," Naval Research Logistics Quaterly, vol. 21, pp. 177-185, 1974.
17. IEEE and The Open Group, The Open Group Base Specifications Issue 6, 2001.
18. E.D. Jensen, "Distributed Real-Time Specification (jsr50)," http://jcp.org/en/jsr/detail?id=050, 2000.
19. E.D. Jensen, C.D. Locke, and H. Tokuda, "A Time-Driven Scheduling Model for Real-Time Systems," Proc. IEEE Real-Time Systems Symp., pp. 112-122, Dec. 1985.
20. G. Koren and D. Shasha, "D-Over: An Optimal On-Line Scheduling Algorithm for Overloaded Real-Time Systems," Proc. IEEE Real-Time Systems Symp., pp. 290-299, Dec. 1992.
21. T.-W. Kuo and C.-H. Li, "A Fixed-Priority-Driven Open Environment for Real-Time Applications," Proc. IEEE Real-Time Systems Symp., pp. 256-267, 2000.
22. K.G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a Nutshell," Int'l J. Software Tools for Technology Transfer, vol. 1, nos. 1/2, pp. 134-152, 1997.
23. I.M. Leslie, D. McAuley, R. Black, T. Roscoe, P. Barham, D.E. abd, R. Fairbairns, and E. Hyden, "The Design and Implementation of an Operating System to Support Distributed Multimedia Applications," IEEE J. Selected Areas In Comm., vol. 14, no.7, pp. 1280-1297, Sept. 1996.
24. P. Li, H. Cho, B. Ravindran, and E.D. Jensen, "Scheduling Distributable Real-Time Threads in Tempus Middleware," Proc. IEEE Int'l Conf. Parallel and Distributed Systems, pp. 187-194, 2004.
25. P. Li, B. Ravindran, and T. Hegazy, "Implementation and Evaluation of a Best-Effort Scheduling Algorithm in an Embedded Real-Time System," Proc. IEEE Int'l Symp. Performance Analysis of Systems and Software, pp. 22-29, 2001.
26. C.L. Liu and J.W. Layland, "Scheduling Algorithms for Multi-programming in a Hard Real-Time Environment," J. ACM, vol. 20, no. 1, pp. 46-61, 1973.
27. C.D. Locke, "Best-Effort Decision Making for Real-Time Scheduling," PhD dissertation, Carnegie Mellon Univ., 1986.
28. D.P. Maynard, S.E. Shipman, R.K. Clark, J.D. Northcutt, R.B. Kegley, B.A. Zimmerman, and P.J. Keleher, "An Example Real-Time Command, Control, and Battle Management Application for Alpha," Archons Project Technical Report 88121, CMU Computer Science Dept., Dec. 1988.
29. C. Mercer and R. Rajkumar, "An Interactive Interface and RT-Mach Support for Monitoring and Controlling Resource Management," Proc. IEEE Real-Time and Embedded Technology and Applications Symp., 1995.
30. Object Management Group, "Real-Time CORBA 1.0 (joint submission ," 1998.
31. "Dynamic Scheduling Real-Time CORBA 2.0 (joint revised submission)," 2001.
32. S. Oikawa and R. Rajkumar, "Linux/RK: A Portable Resource Kernel in Linux," Proc. IEEE Real-Time and Embedded Technology and Applications Symp., 1999.
33. QNX Software Systems Ltd., "QNX Neutrino OS-version 6.2.0," http://www.qnx.com/, 2002.
34. R. Rajkumar, K. Juvva, A. Molano, and S. Oikawa, "Resource Kernels: A Resource-Centric Approach to Real-Time Systems," Proc. SPIE/ACM Conf. Multimedia Computing and Networking, 1998.
35. J. Regehr and J.A. Stankovic, "HLS: A Framework for Composing Soft Real-Time Schedulers," Proc. IEEE Real-Time Systems Symp., pp. 3-14, 2001.
36. M.A. Rivas and M.G. Harbour, "POSIX-Compatible Application-Defined Scheduling in MaRTE OS," Proc. Euromicro Conf. Real-Time Systems, pp. 67-75, June 2000.
37. M. Singhal and N.G. Shivaratri, Advanced Concepts in Operating Systems. McGraw-Hill, 1994.
38. D. Stewart and P. Khosla, "Real-Time Scheduling of Sensor Based Control Systems," Proc. IFAC/IFIP Workshop, pp. 139-144, May 1991.
39. The Open Group Research Institute's Real-Time Group, MK7.3a Release Notes Cambridge, Mass.: The Open Group Research Inst., Oct. 1998.
40. J. Wang and B. Ravindran, "Time-Utility Function-Driven Switched Ethernet: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis," IEEE Trans. Parallel and Distributed Systems, vol. 15, no. 1, pp. 1-15, Jan. 2004.
41. Y.C. Wang and K.J. Lin, "Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel," Proc. IEEE Real-Time System Symp., pp. 246-255, 1999.
42. J.W. Wendorf, "Implementation and Evaluation of a Time-Driven Scheduling Processor," Proc. IEEE Real-Time Systems Symp., pp. 172-180, December 1988.
43. Wind River Systems, "VxWorks 5.x," http://www.windriver.com, 2003.
44. S. Yovine, "Kronos: A Verification Tool for Real-Time Systems," Int'l J. Software Tools for Technology Transfer, vol. 1, no. 1/2, pp. 123-133, 1997.
45. E.D. Jensen and J.D. Northcutt, "Alpha: A Non-Proprietary Operating System for Large, Complex, Distributed Real-Time Systems," Proc. IEEE Workshop Experimental Distributed Systems, pp. 35-41, 1990.