| [1] |
A. Zerzelidis and A. J. Wellings.
Getting more flexible scheduling in the RTSJ.
In Proceedings 9th IEEE ISORC, pages 3-10. IEEE Computer
Society TC on Distributed Processing, IEEE Computer Society, April 2006. [ bib ] This paper illustrates how the Real-Time Specification for Java (RTSJ) can be modified to allow applications to implement more flexible scheduling. The proposed approach is a two-level scheduling mechanism where the first level is the RTSJ priority scheduler and the second level is under application control. Minimum, backward-compatible changes to the RTSJ specification are discussed to motivate the required interface. The only assumptions made about the underlying real-time operating system is that it supports pre-emptive priority-based dispatching and that changes to priorities have immediate effect. |
| [2] |
Virginia Tech real-time laboratory publications site. [ bib | .html ] |
| [3] |
Sun Microsystems.
Java message service specification final release 1.1,
April 2002. [ bib | http ] |
| [4] |
Sun Microsystems.
JCP2: Process document, v2.6, March 2004. [ bib | http ] |
| [5] |
Butler W. Lampson.
Hints for computer system design.
In SOSP '83: Proceedings of the ninth ACM symposium on Operating
systems principles, pages 33-48, New York, NY, USA, 1983. ACM Press. [ bib | .html ] |
| [6] |
J. H. Saltzer, D. P. Reed, and D. D. Clark.
End-to-end arguments in system design.
ACM Trans. Comput. Syst., 2(4):277-288, 1984. [ bib ] |
| [7] |
Sun Microsystems.
Java RMI over IIOP technology documentation home
page.
Technical report, Sun Microsystems, 4150 Network Circle, Santa Clara,
CA, November 2002.
[From J2SDK 1.4.2 Release Notes]. [ bib | .html ] |
| [8] |
Sun Microsystems.
Java object serialization specification.
Technical report, Sun Microsystems, 4150 Network Circle, Santa Clara,
CA, November 2002.
Revision 1.4.4]. [ bib | .pdf ] |
| [9] |
Sun Microsystems.
Java remote method invocation specification.
Technical report, Sun Microsystems, 4150 Network Circle, Santa Clara,
CA, November 2002.
Revision 1.9, Java 2 SDK SE, v.1.4.2]. [ bib | .pdf ] |
| [10] |
Eli Tilevich and Yannis Smaragdakis.
Portable and efficient distributed threads for Java.
In Conf. Proc. Middleware'04 conference, October 2004. [ bib | .html ] |
| [11] |
Bernhard Haumacher, Thomas Moschny, Jürgen Reuter, and Walter F. Tichy.
Transparent distributed threads for Java.
In Proc. 5th International Workshop on Java for Parallel and
Distributed Computing in conjunction with the International Parallel and
Distributed Processing Symposium (IPDPS 2003), 2003. [ bib | .html ] |
| [12] |
D. Weyns, E. Truyen, and P. Verbaeten.
Distributed threads in Java.
In Proceedings of the International Symposium on Distributed and
Parallel Computing, ISDPC 2002, 2002. [ bib | .html ] |
| [13] |
Graham Hamilton and Panos Kougiouris.
The Spring Nucleus: A microkernel for objects.
Technical Report TR-93-14, Mountain View, CA, USA, April 1993. [ bib | .html ] |
| [14] |
Bryan Ford and Jay Lepreau.
Evolving Mach 3.0 to a migrating thread model.
In Proceedings of the Winter 1994 USENIX Technical
Conference and Exhibition, pages 97-114, 1994. [ bib | .html ] |
| [15] |
Peter Dibble and Andy Wellings.
The real-time specification for Java: Current status and future
work.
In Proceedings of the Seventh IEEE International Symposium on
Object-Oriented Real-Time Distributed Computing, pages 71-77, May 2004. [ bib ] |
| [16] |
Advanced Wireless Integrated Navy Network (AWINN) homepage.
http://awinn.ece.vt.edu. [ bib ] |
| [17] |
Jonathan Anderson and Binoy Ravindran.
AWINN task 2.2 final demonstration: A coastal air defense scenario.
[Presentation to USN Office of Naval Research, August 2006], August
2006. [ bib ] |
| [18] |
Greg Bollella, Ben Brosgol, Peter Dibble, Steve Furr, James Gosling, David
Hardin, Mark Turnbull, Rudy Belliardi, David Holmes, and Andy Wellings.
The real-time specification for Java (version 1.0.2).
Specification JSR-1, Java Community Process, 2006.
Available: http://www.rtsj.org/specjavadoc/book_index.html. [ bib ] |
| [19] |
DRTSJ public web site.
http://drtsj.org. [ bib ] |
| [20] |
JSR-50 Expert Group and E. Douglas Jensen.
JSR-50 proposal.
http://jcp.org/en/jsr/detail?id=1. [ bib ] |
| [21] |
RTSJ public web site.
http://rtsj.org. [ bib ] |
| [22] |
JSR-1 Expert Group.
JSR-1 proposal: Real-time specification for Java.
http://jcp.org/en/jsr/detail?id=1. [ bib ] |
| [23] |
JSR-282 Expert Group.
JSR-282 proposal: Real-time specification for Java version 1.1.
http://jcp.org/en/jsr/detail?id=1. [ bib ] |
| [24] |
Umar Saif and David J. Greaves.
Communication primitives for ubiquitous systems or RPC considered
harmful.
In 21st International Conference on Distributed Computing
Systems Workshops (ICDCSW '01), 2001. [ bib | http ] |
| [25] |
E. Douglas Jensen.
Rationale for the direction of the distributed real-time
specification for Java panel position paper.
In Proceedings of the Fifth IEEE International Symposium on
Object-Oriented Real-Time Distributed Computing, 2002, pages 258-259, 2002. [ bib ] |
| [26] |
Jim Waldo, Geoff Wyant, Ann Wollrath, and Sam Kendall.
A note on distributed computing.
Note SMLI TR-94-29, Sun Microsystems Laboratories, Inc., 2550 Garcia
Avenue, Mountain View, VA 94043, November 1994. [ bib ] |
| [27] |
Andy Wellings, Raymond K. Clark, E. Douglas Jensen, and Doug Wells.
A framework for integrating the Real-Time Specification for
Java and Java's remote method invocation.
In Proc. of the 5th IEEE International Symposium on Object
Oriented Real-Time Distributed Computing, April 2002.
Available: http://www.real-time.org/docs/isorc02_v41.pdf. [ bib | .pdf ] The Distributed Real-Time Specification for Java (DRTSJ) is being developed under Sun”Ēs Java Community Process. It is focused on supporting predictable, end-to-end timeliness for sequentially distributed computations (e.g., chains of invocations) in dynamic distributed object systems. This paper reports on an investigation to integrate and extend the existing Real-Time Specification for Java and Java”Ēs Remote Method Invocation facility to provide the basis for the DRTSJ. |
| [28] |
Edward Curley, Jonathan Anderson, Binoy Ravindran, and E. Douglas Jensen.
Recovering from distributable thread failures with assured timeliness
in real-time distributed systems.
In Proceedings of the 2006 SRDS, October 2006.
[To Appear] Available:
http://www.real-time.ece.vt.edu/srds06.pdf. [ bib | .pdf ] |
| [29] |
Edward Curley.
Integrity assurances for distributable real-time threads in dynamic
networks.
Master's thesis, Virginia Polytechnic and State University, September
2006.
[Anticipated]. [ bib ] |
| [30] |
Alessandro F. Garcia, Cecķlia M.F. Rubira, Alexander Romanovsky, and Jie Xu.
A comparative study of exception handling mechanisms for building
dependable object-oriented software.
Journal of Systems and Software, 59(2):197 - 222, November
2001. [ bib ] |
| [31] |
P. Li, B. Ravindran, et al.
A formally verified application-level framework for real-time
scheduling on POSIX real-time operating systems.
IEEE Trans. Software Engineering, 30(9):613 - 629, Sept. 2004. [ bib ] |
| [32] |
Raymond K. Clark.
Scheduling Dependent Real-Time Activities.
PhD thesis, Carnegie Mellon University, August 1990. [ bib ] |
| [33] |
N. Cranley and L. Murphy.
Adaptive quality of service for streamed mpeg-4 over the internet.
In IEEE International Conference on Communications (ICC), pages
1206-1210, 2000. [ bib ] |
| [34] |
C. Lu, J. Stakovic, G. Tao, and S. Son.
Feedback control real-time scheduling: Framework, modeling and
algorithms.
Journal of Real-Time Systems, 23(1/2):85-126, July 2002. [ bib ] |
| [35] |
E. D. Jensen.
Private communication, 2003. [ bib ] |
| [36] |
H. Wu, B. Ravindran, et al.
Utility accrual scheduling under arbitrary time/utility functions and
multiunit resource constraints.
In IEEE RTCSA, August 2004. [ bib ] |
| [37] |
H. Wu, B. Ravindran, E. D. Jensen, and P. Li.
Energy-efficient, utility accrual scheduling under resource
constraints for mobile embedded systems.
In ACM International Conference on Embedded Software, September
2004.
To appear. http://www.ee.vt.edu/~realtime/2004.html. [ bib ] |
| [38] |
H. Wu, B. Ravindran, E. D. Jensen, and P. Li.
Cpu scheduling for statistically guaranteed real-time performance and
improved energy-efficiency for battery-powered embedded systems.
In IEEE/ACM/IFIP International Conference on Hardware/Software
Codesign and System Synthesis (CODES+ISSS Merged Conference), September
2004.
To appear. http://www.ee.vt.edu/~realtime/2004.html. [ bib ] |
| [39] |
E. D. Jensen and B. Ravindran.
Guest editor's introduction to special section on asynchronous
real-time distributed systems.
IEEE Transactions on Computers, 51(8):881-882, August 2002. [ bib ] |
| [40] |
T. Abdelzaher.
An automated profiling subsystem for qos-aware services.
In IEEE RTAS, 2000. [ bib ] |
| [41] |
K. Chen and P. Muhlethaler.
A scheduling algorithm for tasks described by time value function.
Journal of Real-Time Systems, 10(3):293-312, May 1996. [ bib ] |
| [42] |
C. L. Liu and J. W. Layland.
Scheduling algorithms for multiprogramming in a hard real-time
environment.
Journal of the ACM, 20(1):46-61, 1973. [ bib ] |
| [43] |
B. Ravindran, R. K. Devarasetty, and B. Shirazi.
Adaptive resource management algorithms for periodic tasks in dynamic
real-time distributed systems.
Journal of Parallel and Distributed Computing,
62(10):1527-1547, October 2002. [ bib ] |
| [44] |
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.
Technical Report Archons Project Technical Report 88121, CMU CS
Dept., December 1988. [ bib ] |
| [45] |
T. Abdelzaher, E. Atkins, and K. Shin.
Qos negotiation in real-time systems and its application to automated
flight control.
In IEEE RTAS, pages 228-238, June 1997. [ bib ] |
| [46] |
T. Abdelzaher and K. Shin.
End-host architecture for qos-adaptive communication.
In IEEE RTAS, pages 121-130, June 1998. [ bib ] |
| [47] |
H. B-Abdallah, I. Lee, and J-Y. Choi.
A graphical language with formal semantics for the specification and
analysis of real-time systems.
In IEEE RTSS, pages 276-286, Dec. 1995. [ bib ] |
| [48] |
L. Abeni and G. Buttazzo.
Integrating multimedia applications in hard real-time systems.
In IEEE RTSS, pages 3-13, Dec. 1998. [ bib ] |
| [49] |
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, September 1993. [ bib ] |
| [50] |
A. Atlas and A. Bestavros.
Statistical rate monotonic scheduling.
In IEEE RTSS, pages 123-132, Dec. 1998. [ bib ] |
| [51] |
D. Mosse, M. E. Pollack, and Y. Ronen.
Value-density algorithm to handle transient overloads in scheduling.
In Euromicro Conf. on Real-Time Systems, pages 278-286, June
1999. [ bib ] |
| [52] |
T. Abdelzaher and K. G. Shin.
End-host architecture for qos-adaptive communication.
In The Fourth IEEE Real-Time Technology and Applications Symp.,
pages 121-130, June 1998. [ bib ] |
| [53] |
Standard ANSI/ISO/IEC-8652:1995.
Ada 95 Reference Manual.
Intermetrics, Inc., January 1995. [ bib ] |
| [54] |
Arnold O. Allen.
Probability, Statistics, and Queueing Theory with Computer
Science Applications.
Computer Science and Scientific Computing. Academic Press, Inc.,
1990. [ bib ] |
| [55] |
Isaac Asimov.
Understanding Physics, volume III.
George Allen & Unwin Ltd., London, 1966. [ bib ] |
| [56] |
B. M. Aucoin and R. P. Heller.
Overcurrent and high impedance fault relaying using a microcomputer.
In the 7th Texas Conf. on Computer Systems, pages 2.5-2.9,
Nov. 1978. [ bib ] |
| [57] |
R. Bettati.
End-to-End Scheduling to Meet Deadlines.
PhD thesis, University of Illinois at Urbana-Champaign, 1994. [ bib ] |
| [58] |
T. Bihari and P. Gopinath.
Real-time concurrent c: A language for programming dynamic real-time
systems.
Real-Time Systems, 3(4):337-406, 1991. [ bib ] |
| [59] |
T. Bihari and P. Gopinath.
Object-oriented real-time systems.
IEEE Computer, 25(12):25-32, Dec. 1992. [ bib ] |
| [60] |
K. P. Birman.
The process group approach to reliable distributed computing.
Communications of the ACM, 36(12):127-133, Dec. 1993. [ bib ] |
| [61] |
K. P. Birman.
Building Secure and Reliable Network Applications.
Manning Publications, 1996. [ bib ] |
| [62] |
S. S. Blackman.
Multiple Target Tracking With Radar Applications.
Artech House, Dedham, Massachusetts, 1986. [ bib ] |
| [63] |
J. Blazewicz.
Scheduling dependent tasks with different arrival times to meet
deadlines.
In E. Gelenbe and H. Beilner, editors, Modelling and Performance
Evaluation of Computer Systems. Amsterdam, 1976. [ bib ] |
| [64] |
M. Boasson.
Control systems software.
IEEE Transactions on Automatic Control, 38(7):1094-1107, 1993. [ bib ] |
| [65] |
R. Braham.
Ballistic missile defense: it's back.
IEEE Spectrum, 34(9):26-39, September 1997. [ bib ] |
| [66] |
S. Brandt, G. Nutt, et al.
A dynamic quality of service middleware agent for mediating
application resource usage.
In IEEE RTSS, pages 307-317, Dec. 1998. [ bib ] |
| [67] |
A. Burns and A. Wellings.
Real-Time Systems and Programming Languages.
Addison-Wesley, 1997. [ bib ] |
| [68] |
G. Bucci, M. Campanai, and P. Nesi.
Tools for specifying real-time systems.
Real-Time Systems, 8:117-172, 1995. [ bib ] |
| [69] |
G. C. Buttazzo.
Hard Real-Time Computing Systems: Predictable Scheduling
Algorithms and Applications.
Kluwer Academic Publishers, 1997. [ bib ] |
| [70] |
B. Ravindran and T. Hegazy.
Rba: A best effort resource allocation algorithm for asynchronous,
real-time distributed systems.
Journal of Research and Practice in Information Technology,
33(3):213-227, August 2001. [ bib ] |
| [71] |
B. Ravindran, P. Li, and T. Hegazy.
Proactive resource allocation in asynchronous real-time distributed
systems in the presence of processor failures.
Journal of Parallel and Distributed Computing.
accepted Dec. 2002, to appear. [ bib ] |
| [72] |
G. Buttazzo and J. Stankovic.
Adding robustness in dynamic preemptive scheduling.
In D. Fussel and M. Malek, editors, Responsive Computer Systems:
Steps Toward Fault-Tolerant Real-Time Systems, pages 67-88. Kluwer Academic
Publishers, October 1995. [ bib ] |
| [73] |
G. D. Carlow.
Architecture of the space shuttle primary avionics software system.
Communications of the ACM, 27(9):926-936, 1984. [ bib ] |
| [74] |
F. Cristian and C. Fetzer.
The timed asynchronous distributed system model.
IEEE Transactions on Parallel and Distributed Systems,
10(6):642-657, June 1999. [ bib ] |
| [75] |
M. C. Chan, G. Pacifici, and R. Stadler.
Managing real-time services in multimedia networks using dynamic
visualization and high-level controls.
In The ACM Multimedia 1995, 1995. [ bib ] |
| [76] |
S. Cheng, J. Stankovic, and K. Ramamritham.
Dynamic scheduling of groups of tasks with precedence constraints in
distributed hard real-time systems.
In IEEE RTSS, 1986. [ bib ] |
| [77] |
S. Cheng, J. A. Stankovic, and K. Ramamritham.
Scheduling algorithms for hard real-time systems - a brief survey.
In J. A. Stankovic and K. Ramamritham, editors, Tutorial on Hard
Real-Time Systems. IEEE Computer Society Press, 1988. [ bib ] |
| [78] |
H. Chetto and M. Chetto.
Some results of the earliest deadline scheduling algorithm.
IEEE Transactions on Software Engineering, 15(10):466-473,
1989. [ bib ] |
| [79] |
J-Y. Choi, I. Lee, and H-L. Xie.
The specification and schedulability analysis of real-time systems
using acsr.
In IEEE RTSS, pages 266-275, Dec. 1995. [ bib ] |
| [80] |
R. Clark, E. D. Jensen, et al.
An adaptive, distributed airborne tracking system.
In IEEE Workshop on Parallel and Distributed Real-Time Systems,
volume 1586 of LNCS, pages 353-362. Springer-Verlag, April 1999. [ bib ] |
| [81] |
R. Devarasetty.
Heuristic algorithms for adaptive resource management of periodic
tasks in soft real-time distributed systems.
Master's thesis, Virginia Tech, February 2001.
http://nile.ece.vt.edu/thesis/thesis.htm. [ bib ] |
| [82] |
R. Gerber and S. Hong.
Semantics-based compiler transformations for enhanced schedulability.
In IEEE RTSS, pages 232-242, Dec. 1993. [ bib ] |
| [83] |
S. Hong and R. Gerber.
Compiling real-time programs into schedulable code.
In The ACM SIGPLAN'93 Conf. on Programming Language Design and
Implementation, June 1993.
SIGPLAN Notices, 28(6): 166-176. [ bib ] |
| [84] |
Chintamaneni, X. Yuan, S. K. Tripathi, and A. K. Agrawala.
Scheduling tasks in a real-time system.
Technical report, University of Maryland at College Park, 1994. [ bib ] |
| [85] |
R. K. Clark.
Scheduling Dependent Real-Time Activities.
PhD thesis, CMU, 1990.
CMU-CS-90-155. [ bib ] |
| [86] |
Gerard J. Holzmann.
The model checker spin.
IEEE Transactions on Software Engineering, 23(5):279-295, May
1997. [ bib ] |
| [87] |
W. Timothy Strayer.
Function-DriveN Scheduling : A General Framework for Expressing
and Analysis of Scheduling.
PhD thesis, University of Virginia, May 1992.
Department of Computer Science. [ bib ] |
| [88] |
J. C. Chung, M. R. Haris, F. P. Brooks, H. Fuchs, M. T. Kelley, J. Hughes,
M. Ouh-Young, C. Cheung, R. L. Holloway, and M. Pique.
Exploring virtual worlds with head-mounted displays.
In Non-Holographic True 3-Dimensional Display Technologies.
SPIE Proc., January 1989.
Vol. 1083. [ bib ] |
| [89] |
G. Ciardo, R. German, and C. Lindemann.
A characterization of the stochastic process underlying a stochastic
petri net.
IEEE Transactions on Software Engineering, 20:506-515, 1994. [ bib ] |
| [90] |
R. I. Davis, K. W. Tindell, and A. Burns.
Scheduling slack time in fixed-priority preemptive systems.
In IEEE RTSS, pages 222-231, Dec. 1993. [ bib ] |
| [91] |
T. P. Baker.
Stack-based scheduling of real-time processes.
Journal of Real-Time Systems, 3(1):67-99, March 1991. [ bib ] |
| [92] |
M. V. Devarakonda and R. K. Iyer.
Predictability of process resource usage: A measurement based study
on unix.
IEEE Transactions on Software Engineering, 15(12):1579-1586,
Dec. 1989. [ bib ] |
| [93] |
H. Dierks.
The production cell: A verified real-time system.
In The 4th Symp. on Formal Techniques in Real-Time and
Fault-Tolerant Systems. Springer-Verlag, 1996.
Lecture Note in Computer Science, Vol. 1135. [ bib ] |
| [94] |
M. DiNatale and J. A. Stankovic.
Dynamic end-to-end guarantees in the spring environment.
Technical report, University of Massachusetts at Amherst, 1994. [ bib ] |
| [95] |
K. Kim.
Object structures for real-time systems and simulators.
IEEE Computer, pages 62-70, August 1997. [ bib ] |
| [96] |
C. O'Ryan, D. C. Schmidt, F. Kuhns, M. Spivak, J. Parsons, I. Pyarali, and
D. L. Levine.
Evaluating policies and mechanisms for supporting embedded, real-time
applications with CORBA 3.0.
In IEEE RTAS, pages 188-197, 2000. [ bib ] |
| [97] |
Object Management Group.
Real-time corba (joint revised submission), March 1999.
orbos/99-02-12 ed. [ bib ] |
| [98] |
Object Management Group.
Dynamic scheduling real-time CORBA 2.0 (joint revised submission),
2001.
orbos/2001-04-01 ed. [ bib ] |
| [99] |
Object Management Group.
Extensible transport framework specification - final adopted
specification, 2004.
ptc/04-03-03 ed. [ bib ] |
| [100] |
Object Management Group.
Data distribution service for real-time systems, v1.1, 2005.
formal/2005-12-04. [ bib ] |
| [101] |
D. C. Schmidt and F. Kuhns.
An overview of the real-time CORBA specification.
IEEE Computer, pages 56-63, June 2000. [ bib ] |
| [102] |
J. A. Zinky, D. E. Bakken, and R. E. Schantz.
Architectural support for quality of service for CORBA objects.
Theory and Practice of Object Systems, April 1997. [ bib ] |
| [103] |
V. F. Wolfe, L. C. DiPippo, R. Ginis, M. Squadrito, S. Wohlever, I. Zykh, and
R. Johnston.
Real-time CORBA.
In IEEE RTAS, pages 148-157, 1997. [ bib ] |
| [104] |
John Zinky.
Dynamic integrated resource management (dirm).
available at http://www.ito.darpa.mil/research/quorum/projlist.html, 1997. [ bib ] |
| [105] |
V. Yodaiken.
The rtlinux approach to real-time.
http://fsmlabs.com/developers/white_papers/rtlinux_whitepaper.htm. [ bib ] |
| [106] |
W. Chen, S. Toueg, and M. K. Aguilera.
On the quality of service of failure detectors.
IEEE Transactions on Computers, 51(5):561-580, May 2002. [ bib ] |
| [107] |
Sue Nagy and Azer Bestavros.
Admission control for soft-transactions in ACCORD.
In Third IEEE Real-Time Technology and Applications Symposium
(RTAS'97, page 160, 1997. [ bib ] |
| [108] |
J. Goldberg, I. Greenberg, R. K. Clark, E. D. Jensen, K. Kim, and D. M. Wells.
Adaptive fault-resistant systems (chapter 5: Adaptive distributed
thread integrity).
Technical Report csl-95-02, Computer Science Laboratory, SRI
International, Menlo Park, CA., January 1995.
http://www.csl.sri.com/papers/sri-csl-95-02/. [ bib ] |
| [109] |
J. D. Northcutt and R. K. Clark.
The Alpha operating system: Kernel internals.
Archons Project Technical Report 88051, Department of Computer
Science, Carnegie Mellon University, Pittsburgh, PA, May 1988. [ bib ] |
| [110] |
R. K. Clark, E. D. Jensen, and F. D. Reynolds.
An architectural overview of the Alpha real-time distributed
kernel.
In Proceedings of the USENIX Workshop on Microkernels and Other
Kernel Architectures, April 1992. [ bib ] |
| [111] |
J. D. Northcutt and R. K. Clark.
The Alpha operating system: Programming model.
Archons Project Technical Report 88021, Department of Computer
Science, Carnegie Mellon University, Pittsburgh, PA, February 1988. [ bib ] |
| [112] |
P. Li, B. Ravindran, S. Suhaib, and S. Feizabadi.
A formally verified application-level framework for real-time
scheduling on POSIX real-time operating systems.
IEEE Transactions on Software Engineering, 2004.
To appear. http://www.ee.vt.edu/~realtime/2004.html. [ bib ] |
| [113] |
P. Li and B. Ravindran.
Proactive qos negotiation in asynchronous real-time distributed
systems.
Journal of Systems and Software, 2003.
In Press, Corrected Proof, Available online 28 September 2003,
http://authors.elsevier.com/sd/article/S0164121202001620. [ bib ] |
| [114] |
P. Li, B. Ravindran, H. Cho, and E. D. Jensen.
Scheduling distributable real-time threads in Tempus middleware.
In IEEE Conference on Parallel and Distributed Systems, pages
187 - 194, July 2004. [ bib ] |
| [115] |
K. Driscoll and K. Hoyme.
The airplane information management system: An integrated real-time
flight-deck control system.
In IEEE RTSS, Dec. 1992. [ bib ] |
| [116] |
E. T. Fathi and N. R. Fines.
Real-time data acquisition, processing and distribution for radar
applications.
In IEEE RTSS, Dec. 1984. [ bib ] |
| [117] |
D. Ferrari and S. Zhou.
An empirical investigation of load indices for load balancing
applications.
In The 12th Annual Symp. on Computer Performance Modeling,
Measurement and Evaluation, pages 515-528, 1987. [ bib ] |
| [118] |
P. Florissi and Y. Yemini.
Management of application quality of service.
In The Fifth IFIP/IEEE Workshop on Distributed Systems:
Operations and Management, October 1994. [ bib ] |
| [119] |
B. Furht.
Real-time computer systems: Current and future trends.
In IEEE Workshop on Real-Time Applications, May 1993. [ bib ] |
| [120] |
B. Furht, D. Grostick, D. Gluch, G. Rabbat, J. Parker, and M. McRoberts.
Real-Time Unix Systems, Design and Applications Guide.
Kluwer Academic Publishers, Boston, Massachusetts, 1991. [ bib ] |
| [121] |
M. Gergeleit, J. Kaiser, and H. Streich.
Checking timing constraints in distributed object-oriented programs.
In The Object-Oriented Real-Time Systems (OORTS) Workshop,
October 1995.
Seventh IEEE Symp. on Parallel and Distributed Processing (SPDP). [ bib ] |
| [122] |
H. Streich and M. Gergeleit.
On the design of a dynamic distributed real-time environment.
In The Workshop on Parallel and Distributed Real-Time Systems,
pages 251-256, 1997. [ bib ] |
| [123] |
R. German, Ch. Kelling, A. Zimmermann, and G. Hommel.
Timenet - a toolkit for evaluating non-markovian stochastic petri
nets.
Performance Evaluation, 24:69-87, 1995. [ bib ] |
| [124] |
I. B. Gertsbakh.
Statistical Reliability Theory.
Probability: Pure And Applied. Marcel Dekker, Inc., 1989. [ bib ] |
| [125] |
N. Gehani and K. Ramamritham.
Real-time concurrent c: A language for programming dynamic real-time
systems.
Real-Time Systems, 3(4):377-405, Dec. 1991. [ bib ] |
| [126] |
S. Ghosh, R. Melhem, and D. Mosse.
Fault-tolerance through scheduling of aperiodic tasks in hard
real-time multiprocessor systems.
IEEE Transactions on Parallel and Distributed Systems,
8(3):272-284, March 1997. [ bib ] |
| [127] |
R. Gupta and M. Spezialetti.
A compact task graph representation for real-time scheduling.
Real-Time Systems, 11:71-102, July 1996. [ bib ] |
| [128] |
R. D. Harrison Jr.
Combat system prerequisites on supercomputer performance analysis.
In The NATO Advanced Study Institute on Real-Time Computing,
volume F127 of NATO ASI, pages 512-513, 1994. [ bib ] |
| [129] |
A. Hac and T. J. Johnson.
Sensitivity study of the load balancing algorithm in a distributed
system.
Journal of Parallel and Distributed Computing, 10:85-89, 1990. [ bib ] |
| [130] |
W. A. Halang and A. D. Stoyenko.
Constructing Predictable Real-Time Systems.
Kluwer Academic Publishers, 1991. [ bib ] |
| [131] |
H. Hansson, H. Lawson, O. Bridal, S. Larsson C. Eriksson, H. Lon, and
M. Stromberg.
Basement: An architecture and methodology for distributed automotive
real-time systems.
IEEE Transactions on Computers, 46(9):1016-1027, September
1997. [ bib ] |
| [132] |
L. R. Welch, A. D. Stoyenko, and T. J. Marlowe.
Modeling resource contention among distributed periodic processes
specified in cart-spec.
Control Engineering Practice, 3(5):651-664, May 1995. [ bib ] |
| [133] |
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman,
A. Shtull-Trauring, and M. Trakhtenbrot.
Statemate: A working environment for the development of complex
reactive systems.
IEEE Transactions on Software Engineering, 16(4):403-414,
April 1990. [ bib ] |
| [134] |
D. Harel and A. Pnueli.
On the development of reactive systems.
In K. R. Apt, editor, Logics and Models of Concurrent Systems,
volume F13 of NATO ASI. Springer-Verlag, 1985. [ bib ] |
| [135] |
T. Hegazy.
Using application benefit for proactive resource allocation in
asynchronous real-time distributed systems.
Master's thesis, Virginia Tech, September 2001.
http://nile.ece.vt.edu/thesis/thesis.htm. [ bib ] |
| [136] |
J. Wang.
Soft real-time switched ethernet: Best-effort packet scheduling
algorithm, implementation, and feasibility analysis.
Master's thesis, Virginia Tech, September 2002.
http://nile.ece.vt.edu/thesis/thesis.htm. [ bib ] |
| [137] |
The U.S. Naval Surface Warfare Center.
High performance distributed computing.
available at http://www.nswc.navy.mil/ hiperd/index.shtml, 1997. [ bib ] |
| [138] |
J.-F. Hermant and G. Le Lann.
A protocol and correctness proofs for real-time high-performance
broadcast networks.
In IEEE ICDCS, pages 360-369, 1998. [ bib ] |
| [139] |
B. Hold, P. C. P. Bhatt, and V. K. Agarwal.
Rapid prototyping and synthesis of a self-testing abs controller
using cad tools.
In IEEE Workshop on Real-Time Applications, July 1994. [ bib ] |
| [140] |
C-H. Hou and K. Shin.
Allocation of periodic task modules with precedence and deadline
constraints in distributed real-time systems.
In IEEE RTSS, Dec. 1992. [ bib ] |
| [141] |
R. Howard.
Dynamic Probabilistic Systems, Volume I: Markov Models.
John Wiley & Sons, Inc., 1971. [ bib ] |
| [142] |
R. Howard.
Dynamic Probabilistic Systems, Volume II: Semi-Markov And
Decision Processes.
John Wiley & Sons, Inc., 1971. [ bib ] |
| [143] |
N. R. Howes, J. D. Wood, and A. Goforth.
The peer tasking design method.
In The Third Workshop on Parallel and Distributed Real-Time
Systems, April 1995. [ bib ] |
| [144] |
J. Huang, R. Jha, W. Heimerdinger, M. Muhammad, S. Lauzac, B. Kannikeswaran,
K. Schwan, W. Zhao, and R. Bettati.
Rt-arm: A real-time adaptive resource management system for
distributed mission-critical applications.
In IEEE Workshop on Middleware for Distributed Real-Time Systems
and Services, pages 179-186, Dec. 1997.
The 18th IEEE RTSS. [ bib ] |
| [145] |
D. Hull, A. Shankar, et al.
An end-to-end qos model and management architecture.
In IEEE Workshop on Middleware for Distributed Real-Time Systems
and Services, pages 82-89, Dec. 1997. [ bib ] |
| [146] |
M. Humphrey, S. Brandt, et al.
The dqm architecture: Middleware for application centered qos
resource management.
In IEEE Workshop on Middleware for Distributed Real-Time Systems
and Services, pages 97-104, Dec. 1997. [ bib ] |
| [147] |
P. Jalote.
Fault-Tolerance in Distributed Systems.
Prentice Hall, New Jersey, 1994. [ bib ] |
| [148] |
J. W. S. Liu.
Real-Time Systems.
Prentice Hall, New Jersey, 2000. [ bib ] |
| [149] |
C. D. Locke.
Best-Effort Decision Making for Real-Time Scheduling.
PhD thesis, CMU, 1986.
CMU-CS-86-134. [ bib ] |
| [150] |
P. Li, B. Ravindran, and T. Hegazy.
Implementation and evaluation of a best-effort scheduling algorithm
in an embedded real-time system.
In IEEE Symp. on Performance Analysis of Systems and Software,
pages 22-29, Nov. 2001. [ bib ] |
| [151] |
T. Martin.
Real-time programming language pearl - concept and characteristics.
In IEEE Computer Society Second Computer Software and
Applications Conf. (COMPSAC), pages 301-306, 1978. [ bib ] |
| [152] |
Open Group Research Institute's Real-Time Group.
MK7.3a Release Notes.
The Open Group Research Institute, Cambridge, Massachusetts, October
1998.
Available: http://www.real-time.org/docs/RelNotes7.Book.pdf. [ bib ] |
| [153] |
J. D. Northcutt.
Mechanisms for Reliable Distributed Real-Time Operating Systems
- The Alpha Kernel.
Academic Press, 1987. [ bib ] |
| [154] |
OMG.
Real-time CORBA 2.0: Dynamic scheduling specification.
Technical report, Object Management Group, September 2001.
OMG Final Adopted Specification,
http://www.omg.org/docs/ptc/01-08-34.pdf. [ bib ] |
| [155] |
D. Wells.
A trusted, scalable, real-time operating system environment.
In Dual-Use Technologies and Applications Conference, pages
262-270, 1994. [ bib ] |
| [156] |
GlobalSecurity.org.
E-3 sentry (AWACS).
http://www.globalsecurity.org/military/systems/aircraft/e-3.htm/. [ bib ] |
| [157] |
CCRP.
Network centric warfare.
http://www.dodccrp.org/ncwPages/ncwPage.html. [ bib ] |
| [158] |
E. D. Jensen, C. D. Locke, and H. Tokuda.
A time-driven scheduling model for real-time systems.
In IEEE Real-Time Systems Symposium, pages 112-122, Dec. 1985. [ bib ] |
| [159] |
GlobalSecurity.org.
Multi-sensor command and control aircraft.
http://www.globalsecurity.org/military/systems/aircraft/e-767-mc2a.htm. [ bib ] |
| [160] |
P. Li.
A Utility Accrual Scheduling Algorithm for Resource-Constrained
Real-Time Activities.
Ph.D. dissertation proposal, Virginia Tech, 2003.
http://www.ee.vt.edu/~realtime/li-proposal03.pdf. [ bib ] |
| [161] |
GlobalSecurity.org.
BMC3I battle management, command, control, communications and
intelligence.
http://www.globalsecurity.org/space/systems/bmc3i.htm/. [ bib ] |
| [162] |
GlobalSecurity.org.
E-8 joint surveillance target attack radar system (jstars).
http://www.globalsecurity.org/intell/systems/jstars.htm/. [ bib ] |
| [163] |
E. D. Jensen and J. D. Northcutt.
Alpha: A non-proprietary operating system for large, complex,
distributed real-time systems.
In IEEE Workshop on Experimental Distributed Systems, pages
35-41, 1990. [ bib ] |
| [164] |
E. D. Jensen.
A proposed initial approach to distributed real-time Java.
In Proceedings of IEEE Symposium on Object-Oriented Real-Time
Distributed Computing, pages 2 - 6, March 2000. [ bib ] |
| [165] |
E. D. Jensen, A. Wellings, R. Clark, and D. Wells.
The distributed real-time specification for Java: A status report.
In Proceedings of The Embedded Systems Conference, 2002. [ bib ] |
| [166] |
K. Jansen and N. Wirth.
Pascal: User Manual and Report.
Springer Verlag, New York, 2nd edition, 1974. [ bib ] |
| [167] |
Y. Ishikawa, H. Tokuda, and C. M. Mercer.
An object-oriented real-time programming language.
IEEE Computer, 25(10):66-73, October 1992. [ bib ] |
| [168] |
R. Rajkumar F. Jahanian and S. Raju.
Run-time monitoring of timing constraints in distributed real-time
systems.
Real-Time Systems, 1994. [ bib ] |
| [169] |
D. Haban and K. G. Shin.
Applications of real-time monitoring for scheduling tasks with random
execution times.
IEEE Trans. on Software Engineering, 16(12):1374-1389, Dec.
1990. [ bib ] |
| [170] |
F. Jahanian and A. K.-L. Mok.
Safety analysis of timing properties in real-time systems.
IEEE Trans. on Software Engineering, 12(9):890-904, 1986. [ bib ] |
| [171] |
K. Jeffay, D. F. Stanat, and C. U. Martel.
On non-preemptive scheduling of periodic and sporadic tasks.
In The 12th IEEE RTSS, Dec. 1991. [ bib ] |
| [172] |
E. D. Jensen and J. D. Northcutt.
Alpha: A non-proprietary operating system for large, complex,
distributed real-time systems.
In IEEE Workshop on Experimental Distributed Systems, pages
35-41, Huntsville, Alabama, 1990. [ bib ] |
| [173] |
E. D. Jensen.
Asynchronous decentralized real-time computer systems.
In W. A. Halang and A. D. Stoyenko, editors, Real-Time
Computing, the NATO Advanced Study Institute. Springer Verlag, October 1992. [ bib ] |
| [174] |
E. D. Jensen, C. D. Locke, and H. Tokuda.
A time-driven scheduling model for real-time operating systems.
In The 6th IEEE RTSS, Dec. 1985. [ bib ] |
| [175] |
M. B. Jones, D. Rosu, and M-C. Rosu.
Cpu reservations and time constraints: Efficient, predictable
scheduling of independent activities.
In The 16th ACM Symp. on Operating Systems Principles, October
1997. [ bib ] |
| [176] |
L. R. Welch et al.
Instrumentation, modeling and analysis of dynamic, distributed
real-time systems.
In Journal of Parallel and Distributed Systems and Networks,
1999.
Special Issue on Measurement of Program and System Performance,
accepted for publication. to appear. [ bib ] |
| [177] |
L. R. Welch et al.
Resource management middleware: Open systems and applications.
In Cluster Computing. Prentice Hall, 1999.
Book chapter, to appear. [ bib ] |
| [178] |
V. V. Kalashnikov.
Mathematical Methods in Queuing Theory.
Mathematics and Its Applications. Kluwer Academic Publishers, 1994. [ bib ] |
| [179] |
B. C. Kao.
Scheduling in Distributed Soft Real-Time Systems With Autonomous
Components.
PhD thesis, Princeton University, Nov. 1995. [ bib ] |
| [180] |
B. Kao and H. Garcia-Molina.
Deadline assignment in a distributed soft real-time system.
IEEE Trans. on Parallel and Distributed Systems,
8(12):1268-1274, Dec. 1997. [ bib ] |
| [181] |
G. Kaplan.
The x-29: Is it coming or going?
IEEE Spectrum, 22(6):54-60, June 1985. [ bib ] |
| [182] |
K. M. Kavi, editor.
Real-Time Systems: Abstractions, Languages, and Design
Methodologies.
IEEE Computer Society Press, 1992. [ bib ] |
| [183] |
P. W. Kelton.
Distributed computing for astronomical data acquisition at mcdonald
observatory.
In IEEE RTSS, Dec. 1984. [ bib ] |
| [184] |
K. B. Kenny and K. J. Lin.
Building flexible real-time systems using the flex language.
IEEE Computer, pages 70-78, May 1991. [ bib ] |
| [185] |
R. B. Kieburtz and J. L. Hennessy.
Tomal-a high-level programming language for microprocessor process
control applications.
ACM SIGPLAN Notices, pages 127-134, April 1976. [ bib ] |
| [186] |
M. Kijima.
Markov Processes For Stochastic Modeling.
Stochastic Modeling Series. Chapman & Hall, 1997. [ bib ] |
| [187] |
J. Kim and K. G. Shin.
Execution time analysis of communicating tasks in distributed
systems.
IEEE Trans. on Computers, 45(5):572-579, May 1996. [ bib ] |
| [188] |
L. Kleinrock.
Queueing Systems, Volume I: Theory.
John Wiley & Sons, Inc., 1975. [ bib ] |
| [189] |
L. Kleinrock.
``Queueing Systems, Volume II: Computer Applications.
John Wiley & Sons, Inc., 1976. [ bib ] |
| [190] |
H. Kobayashi.
Modeling and Analysis: An Introduction to System Performance
Evaluation Methodology.
Addison-Wesley, 1978. [ bib ] |
| [191] |
G. Koob.
Quorum.
In The Darpa ITO General PI Meeting, pages A-59-A-87,
October 1996. [ bib ] |
| [192] |
H. Kopetz.
Event-triggered versus time-triggered real-time systems.
In A. Karshmer and J. Nehmer, editors, The Workshop on Operating
Systems of the 90s and Beyond, pages 87-101. Springer-Verlag, 1991.
Lecture Notes in Computer Science, Vol. 563. [ bib ] |
| [193] |
Hermann Kopetz.
Real-Time Systems, Design Principles for Distributed Embedded
Applications.
Kluwer Academic Publishers, 1997. [ bib ] |
| [194] |
H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Schwabl, C. Senft, and
R. Zainlinger.
Distributed fault-tolerant real-time systems: The mars approach.
IEEE Micro, 9(1):25-40, February 1989. [ bib ] |
| [195] |
G. Koren and D. Shasha.
D-over: An optimal on-line scheduling algorithm for overloaded
real-time systems.
In IEEE Real-Time Systems Symposium, pages 290-299, December
1992. [ bib ] |
| [196] |
I. N. Kovalenko, N. Yu. Kuznetsov, and V. M. Shurenkov.
Models of Random Processes, A Handbook for Mathematicians and
Engineers.
CRC Press, 1996. [ bib ] |
| [197] |
C. M. Krishna and K. G. Shin.
Real-Time Systems.
McGraw-Hill, 1997. [ bib ] |
| [198] |
C. M. Krishna and K. G. Shin.
Scheduling tasks with a quick recovery from failure.
IEEE Trans. on Computers, 35(5):448-455, May 1986. [ bib ] |
| [199] |
V. G. Kulkarni.
Modeling And Analysis Of Stochastic Systems.
Chapman & Hall, 1995. [ bib ] |
| [200] |
T. Kunz.
The influence of different workload descriptions on a heuristic load
balancing scheme.
IEEE Trans. on Software Engineering, 17(7), July 1991. [ bib ] |
| [201] |
T.-W. Kuo and A. K. Mok.
Incremental reconfiguration and load adjustment in adaptive real-time
systems.
IEEE Trans. on Computers, 46(12):1313-1324, Dec. 1997. [ bib ] |
| [202] |
J. F. Kurose and R. Chipalkatti.
Load sharing in soft real-time distributed computer systems.
IEEE Trans. on Computers, 36(8):993-1000, August 1987.
Correspondence. [ bib ] |
| [203] |
P. A. Laplante.
Real-Time Systems Design And Analysis, An Engineer's Handbook.
IEEE Computer Society Press, 2nd edition, 1997. [ bib ] |
| [204] |
P. A. Laplante.
The heisenberg uncertainty principle and its application to software
engineering.
ACM SIGSOFT Software Engineering Notes, 15(5), October 1990. [ bib ] |
| [205] |
E. D. Lazowska, J. Zahorjan, G. S. Graham, and K. C. Sevcik.
Quantitative System Performance: Computer System Analysis Using
Queueing Network Models.
Prentice Hall, 1984. [ bib ] |
| [206] |
S. S. Lavenberg, editor.
Computer Performance Modeling Handbook.
Academic Press, 1983.
Notes and Reports in Computer Science and Applied Mathematics. [ bib ] |
| [207] |
I. Lee and V. Gehlot.
Language constructs for distributed real-time systems.
In IEEE RTSS, Dec. 1985. [ bib ] |
| [208] |
C-H. Lee and K. G. Shin.
Optimal task assignment in homogeneous networks.
IEEE Trans. on Parallel and Distributed Systems, 8(2):119-129,
February 1997. [ bib ] |
| [209] |
P. Lee, S. Schaaf, T. Tsai, and N. Srinivasan.
Design and development of a real-time system - a case study.
In IEEE RTSS, Dec. 1982. [ bib ] |
| [210] |
C. Lee.
On Quality of Service Management.
PhD thesis, CMU, August 1999. [ bib ] |
| [211] |
C. Lee, J. Lehoczky, D. Siewiorek, R. Rajkumar, and J. Hansen.
A scalable solution to the multi-resource qos problem.
In IEEE RTSS, Dec. 1999. [ bib ] |
| [212] |
C. Lee, J. Lehoczky, R. Rajkumar, and D. Siewiorek.
On quality of service optimization with discrete qos options.
In IEEE RTAS, pages 276-286, June 1999. [ bib ] |
| [213] |
Y.-H. Lee and C. M. Krishna, editors.
Readings in Real-Time Systems.
IEEE Computer Society Press, 1993. [ bib ] |
| [214] |
J. P. Lehoczky.
Real-time queueing network theory.
In IEEE RTSS, pages 58-67, Dec. 1997. [ bib ] |
| [215] |
J. P. Lehoczky.
Real-time queueing theory.
In IEEE RTSS, pages 186-195, Dec. 1996. [ bib ] |
| [216] |
J. P. Lehoczky and S. Ramos-Thuel.
An optimal algorithm for scheduling soft-aperiodic tasks in
fixed-priority preemptive systems.
In IEEE RTSS, pages 110-123, 1992. [ bib ] |
| [217] |
J. P. Lehoczky, L. Sha, and J. K. Strosnider.
Enhanced aperiodic responsiveness in hard-real-time environments.
In IEEE RTSS, 1987. [ bib ] |
| [218] |
J. Y.-T. Leung and J. Whitehead.
On the complexity of fixed-priority scheduling of periodic real-time
tasks.
Performance Evaluation, 2(2):237-250, 1982. [ bib ] |
| [219] |
A. L. Liestman and R. H. Campbell.
A fault-tolerant scheduling problem.
IEEE Trans. on Software Engineering, 12(11):1089-1095, Nov.
1986.
Concise paper. [ bib ] |
| [220] |
K. J. Lin and S. Natarajan.
Expressing and maintaining timing constraints in flex.
In The 9th IEEE RTSS, pages 96-105, Dec. 1988. [ bib ] |
| [221] |
C. L. Liu and J. W. Layland.
Scheduling algorithms for multiprogramming in a hard real-time
environment.
Journal of the ACM, 20(1):46-61, 1973. [ bib ] |
| [222] |
C. D. Locke.
Software architecture for hard real-time applications: Cyclic
executives vs. fixed priority executives.
Real-Time Systems, 4(1):37-53, March 1992. [ bib ] |
| [223] |
N. Lynch.
Simulation techniques for proving properties of real-time systems.
In The 1993 REX Summer School on Concurrency, Mook, The
Netherlands, 1993. Springer-Verlag.
Lecture Note in Computer Science. [ bib ] |
| [224] |
T. Hegazy and B. Ravindran.
On decentralized proactive resource allocation in asynchronous
real-time distributed systems.
In IEEE International Symposium on High-Assurance Systems
Engineering, pages 27-34, 2002. [ bib ] |
| [225] |
Trolltech.
The qt/desktop product family.
http://www.trolltech.com/products/qt/index.html, 2002. [ bib ] |
| [226] |
G. Le Lann.
Proof-based system engineering and embedded systems.
In G. Rozenberg and F. Vaandrager, editors, Lecture Notes in
Computer Science, volume 1494, pages 208-248. Springer-Verlag, October
1998. [ bib ] |
| [227] |
R. K. Clark, D. M. Wells, I. B. Greenberg, E. D. Jensen, P. K. Boucher, and
T. F. Lunt.
Effects of multilevel security on real-time applications.
In Proceedings of the Computer Security and Applications
Conference, 1993. [ bib ] |
| [228] |
K. Channakeshava.
Utility accrual real-time channel establishment in multi-hop
networks.
Master's thesis, ECE Dept., Virginia Tech, August 2003.
http://www.ee.vt.edu/~realtime/theses.html. [ bib ] |
| [229] |
K. Channakeshava and B. Ravindran.
On utility accrual real-time channel establishment in multi-hop
networks.
In IEEE International Symposium on Object-oriented Real-time
distributed Computing, pages 277-284, May 2004. [ bib ] |
| [230] |
N. Lynch.
Distributed Algorithms.
Morgan Kaufmann, 1996. [ bib ] |
| [231] |
M. J. Fischer, N. A. Lynch, and M. S. Paterson.
Impossibility of distributed consensus with one faulty process.
Journal of the ACM, 32(2):374-382, April 1985. [ bib ] |
| [232] |
M. A. Marsan, G. Balbo, G. Chiola, S. Donatelli, and G. Franceschinis.
Modeling with Generalized Stochastic Petri Nets.
John Wiley & Sons, 1995. [ bib ] |
| [233] |
M. W. Masters.
Real-time computing cornerstones: A system engineer's view.
In The Workshop on Parallel and Distributed Real-Time Systems,
1995. [ bib ] |
| [234] |
D. L. Mills.
Improved algorithms for synchronizing computer network clocks.
IEEE/ACM Trans. on Networking, 3:245-254, June 1995. [ bib ] |
| [235] |
IEEE and OpenGroup.
The Open Group Base Specifications Issue 6.
2001. [ bib ] |
| [236] |
R. Mirchandaney, D. Towsley, and J. A. Stankovic.
Analysis of the effect of delays on load sharing.
IEEE Trans. on Computers, 38:1513-1525, Nov. 1989. [ bib ] |
| [237] |
A. Mehra, A. Indiresan, and K. G. Shin.
Structuring communication software for quality of service.
IEEE Trans. on Software Engineering, 23(10):616-634, 1997. [ bib ] |
| [238] |
A. K. Mok.
Fundamental Design Problems of Distributed Systems for the
Hard-Real-Time Environment.
PhD thesis, M.I.T, Cambridge, Massachusetts 02139, 1983. [ bib ] |
| [239] |
Debra Hensgen.
Mshn: Management system for heterogeneous networks.
available at http://www.ito.darpa.mil/research/quorum/projlist.html,
1997. [ bib ] |
| [240] |
S. Martello and P. Toth.
Algorithms for knapsack problems.
In G. Laporte, M. Minoux, and C. Ribeiro, editors, Surveys in
Combinatorial Optimization, volume 31 of Annuals of Discrete
Mathematics, pages 213-258. North-Holland, 1987. [ bib ] |
| [241] |
B. Ravindran and P. Li.
Dpr, lpr: Proactive resource allocation algorithms for asynchronous
real-time distributed systems.
IEEE Trans. on Computers, 53(2), February 2004. [ bib ] |
| [242] |
S. Mullender, editor.
Distributed Systems.
Addison-Wesley, 1994. [ bib ] |
| [243] |
A. B. Montz, D. Mosberger, S. W. O'Malley, L. L. Peterson, and T. A.
Proebsting.
Scout: A communications-oriented operating system.
the Fifth Workshop on Hot Topics in Operating System, May 1995. [ bib ] |
| [244] |
M. W. Mutka and J. P. Li.
A tool for allocating periodic real-time tasks to a set of
processors.
Journal of Systems and Software, 29:135-148, 1995. [ bib ] |
| [245] |
K. Nahrstedt.
End-to-end qos guarantees in networked multimedia systems.
ACM Computing Surveys, 27(4):613-616, Dec. 1995. [ bib ] |
| [246] |
B. L. Nelson.
Stochastic Modeling, Analysis and Simulation.
McGraw-Hill, Inc., 1995. [ bib ] |
| [247] |
V. P. Nelson and Jr. H. L. Fellows.
A microcomputer-based controller for an amusement park ride.
IEEE Micro, 1(3):13-22, August 1981. [ bib ] |
| [248] |
M. F. Neuts.
Structured Stochastic Matrices of M/G/1 Type And Their
Applications.
Probability: Pure And Applied. Marcel Dekker, Inc., 1989. [ bib ] |
| [249] |
K. W. Nielsen and K. Shumate.
Designing large real-time systems with ada.
Communications of the ACM, 30(8):695-715, August 1987. [ bib ] |
| [250] |
V. M. Nirkhe, S. K. Tripathi, and A. K. Agrawala.
Language support for the maruti real-time system.
In The 11th IEEE RTSS, pages 257-266, 1990. [ bib ] |
| [251] |
T. S. Perry.
In search of the future air traffic control.
IEEE Spectrum, 34(8):18-35, August 1997. [ bib ] |
| [252] |
R. S. Pressman.
Software Engineering: A Practitioner's Approach.
McGraw-Hill, 1997. [ bib ] |
| [253] |
I. Prigogine.
Exploring Complexity.
W. H. Freeman & Co., 1989. [ bib ] |
| [254] |
J. Xu and D. L. Parnas.
Scheduling processes with release times, deadlines, precedence, and
exclusion relations.
IEEE Trans. on Software Engineering, 16(3):360-369, March
1990. [ bib ] |
| [255] |
B. Shirazi, L. R. Welch, B. Ravindran, C. Cavanaugh, and E. Huh.
Dynbench: A benchmark suite for dynamic real-time systems.
Parallel and Distributed Computing Practices, 3(1):89-107,
March 2000. [ bib ] |
| [256] |
Quorum.
http://www.ito.darpa.mil/research/quorum/projlist.html, August
1997. [ bib ] |
| [257] |
R. Rajkumar, C. Lee, J. Lehoczky, and D. Siewiorek.
A resource allocation model for qos management.
In IEEE RTSS, pages 298-307, 1997. [ bib ] |
| [258] |
R. Rajkumar, C. Lee, J. Lehoczky, and D. Siewiorek.
Practical solutions for qos-based resource allocation problems.
In IEEE RTSS, pages 296-306, Dec. 1998. [ bib ] |
| [259] |
K. Ramamritham and J. A. Stankovic.
Dynamic task scheduling in hard real-time distributed systems.
IEEE Software, 1(3):65-75, July 1984. [ bib ] |
| [260] |
K. Ramamritham, J. A. Stankovic, and W. Zhao.
Distributed scheduling of tasks with deadlines and resource
requirements.
IEEE Trans. on Computers, 38(8):1110-1123, August 1989. [ bib ] |
| [261] |
S. Ramos-Thuel and J. P. Lehoczky.
On-line scheduling of hard deadline aperiodic tasks in fixed-priority
systems.
In IEEE RTSS, pages 160-171, 1993. [ bib ] |
| [262] |
B. Ravindran and L. R. Welch.
A taxonomy of real-time systems.
Technical Report TR-CSE-97-002, The University of Texas at Arlington,
April 1997. [ bib ] |
| [263] |
B. Ravindran, L. R. Welch, and B. Shirazi.
A resource management middleware for dynamic, dependable real-time
systems.
Technical report, The University of Texas at Arlington, August 1998. [ bib ] |
| [264] |
B. Ravindran.
Modeling and Analysis of Complex, Dynamic Real-Time Systems.
PhD thesis, The University of Texas at Arlington, August 1998. [ bib ] |
| [265] |
B. Ravindran, L. R. Welch, and B. Shirazi.
Resource management middleware for dynamic, dependable real-time
systems.
Journal of Real-Time Systems, 20(2):183-196, March 2001. [ bib ] |
| [266] |
B. Ravindran.
Engineering dynamic real-time distributed systems: Architecture,
system description language, and middleware.
IEEE Trans. on Software Engineering, 28(1):30-57, January
2002. [ bib ] |
| [267] |
IEEE RTSS.
IEEE CS Press, Dec. 1997. [ bib ] |
| [268] |
IEEE RTSS.
IEEE CS Press, Dec. 1980. [ bib ] |
| [269] |
I. Ripoll, A. Crespo, and A. G. Fornes.
An optimal algorithm for scheduling soft aperiodic tasks in dynamic
priority preemptive systems.
IEEE Transactions on Software Engineering, 23(6):388-400, June
1997. [ bib ] |
| [270] |
D. Rosu, K. Schwan, S. Yalamanchili, and R. Jha.
On adaptive resource allocation for complex real-time applications.
In IEEE Real-Time Systems Symposium, pages 320-329, December
1997. [ bib ] |
| [271] |
D. Rosu and K. Schwan.
Faracost: An adaptation cost model aware of pending constraints.
In the Twentieth IEEE RTSS, pages 224-233, Dec. 1999. [ bib ] |
| [272] |
D. Rosu, K. Schwan, and S. Yalamanchili.
Fara - a framework for adaptive resource allocation in complex
real-time systems.
In IEEE RTAS, pages 79-84, June 1998. [ bib ] |
| [273] |
D. Rosu, K. Schwan, S. Yalamanchili, and R. Jha.
On adaptive resource allocation for complex real-time applications.
Technical Report GIT-CC-97-26, Georgia Institute of Technology, 1997. [ bib ] |
| [274] |
C. H. Sauer and K. M. Chandy.
Computer Systems Performance Modeling.
Prentice Hall, 1981. [ bib ] |
| [275] |
B. Selic, G. Gullekson, and P. T. Ward.
Real-Time Object-Oriented Modeling.
John Wiley & Sons, Inc., 1994. [ bib ] |
| [276] |
K. Schwan and H. Zhou.
Dynamic scheduling of hard real-time tasks and real-time threads.
IEEE Trans. on Software Engineering, 18(8):736-748, 1992. [ bib ] |
| [277] |
A. Shaw.
Reasoning about time in higher-level language software.
IEEE Trans. on Software Engineering, 15(7):875-889, July 1989. [ bib ] |
| [278] |
K. G. Shin.
Harts: A distributed real-time architecture.
IEEE Computer, 24(5):25-35, May 1991. [ bib ] |
| [279] |
K. G. Shin and C-J. Hou.
Analytic models of adaptive load sharing schemes in distributed
real-time systems.
IEEE Trans. on Parallel and Distributed Systems, 4(7):740-761,
July 1993. [ bib ] |
| [280] |
K. G. Shin and C.-J. Hou.
Design and evaluation of effective load sharing in distributed
real-time systems.
IEEE Trans. on Parallel and Distributed Systems, 5(7):704-719,
July 1994. [ bib ] |
| [281] |
P. A. Shirolkar.
Multi-objective dynamic resource allocation and management.
Master's thesis, The University of Texas at Arlington, Dec. 1997. [ bib ] |
| [282] |
S. Sommer and J. Potter.
Operating system extensions for dynamic real-time applications.
In IEEE RTSS, pages 45-50, Dec. 1996. [ bib ] |
| [283] |
B. Ravindran, E. D. Jensen, and P. Li.
On recent advances in time/utility function real-time scheduling and
resource management.
In IEEE ISORC, pages 55 - 60, May 2005. [ bib ] |
| [284] |
S. H. Son, editor.
Advances in Real-time Systems.
Prentice Hall, 1995. [ bib ] |
| [285] |
B. Sprunt, J. Lehoczky, and L. Sha.
Exploiting unused periodic time for aperiodic service using the
extended priority exchange algorithm.
In IEEE RTSS, pages 251-258, 1988. [ bib ] |
| [286] |
B. Sprunt, L. Sha, and J. Lehoczky.
Aperiodic task scheduling in hard-real-time systems.
Real-Time Systems, 1(1):27-60, 1989. [ bib ] |
| [287] |
M. Spuri and G. Buttazzo.
Scheduling aperiodic tasks in dynamic priority systems.
Real-Time Systems, 10:179-210, March 1996. [ bib ] |
| [288] |
J. A. Stankovic.
Real-time and embedded systems.
ACM Computing Surveys, 28(1):205-208, March 1996. [ bib ] |
| [289] |
J. A. Stankovic et al.
Strategic directions in real-time and embedded systems.
ACM Computing Surveys, 28(4):751-763, Dec. 1996. [ bib ] |
| [290] |
J. A. Stankovic, M. Spuri, K. Ramamritham, and G. C. Buttazzo.
Deadline Scheduling for Real-Time Systems.
Kluwer Academic Publishers, 1998. [ bib ] |
| [291] |
J. A. Stankovic and K. Ramamritham, editors.
Advances in Real-Time Systems.
IEEE Computer Society Press, 1993. [ bib ] |
| [292] |
J. A. Stankovic and K. Ramamritham.
A reflective architecture for real-time operating systems.
In S. H. Son, editor, Advances in Real-Time Systems, pages
23-38. Prentice Hall, 1995. [ bib ] |
| [293] |
L. Sha, M. H. Klein, and J. B. Goodenough.
Rate montonic analysis for real-time systems.
In A. M. van Tilborg and G. M. Koob, editors, Scheduling and
Resource Management, pages 129-156. Kluwer Academic Publishers, 1991. [ bib ] |
| [294] |
A. Svensson.
History, an intelligent load sharing filter.
In The 11th IEEE Conf. on Distributed Computing Systems, pages
546-553, 1990. [ bib ] |
| [295] |
Mukesh Singhal and Niranjan G. Shivaratri.
Advanced concepts in operating systems.
McGraw-Hill Inc., 1994. [ bib ] |
| [296] |
J. A. Stankovic and K. Ramamritham, editors.
Tutorial on Hard Real-Time Systems.
IEEE Computer Society Press, 1988. [ bib ] |
| [297] |
J. A. Stankovic and K. Ramamritham.
The spring kernel: A new paradigm for real-time systems.
IEEE Software, 8(3):62-72, May 1991. [ bib ] |
| [298] |
J. A. Stankovic, K. Ramamritham, and S. Cheng.
Evaluation of a flexible task scheduling algorithm for distributed
hard real-time systems.
IEEE Trans. on Computers, C-34(12):1130-1141, Dec. 1985. [ bib ] |
| [299] |
P. D. V. v.d. Stok, F. v.d. Berk, R. Deckers, Y. v.d. Vijver, J. I. Botman, and
C. J. Timmermans.
Object-oriented design for accelerator control.
IEEE Trans. on Nuclear Science, 41(1):200-208, February 1994.
Selected papers from the 1993 IEEE 8th Conf. on Real-Time Computer
Applications in Nuclear, Particle, and Plasma Physics (RT'93), Vancouver,
British Columbia, Canada, June 8-11, 1993. [ bib ] |
| [300] |
A. D. Stoyenko.
A schedulability analyzer for real-time euclid.
In The 8th IEEE RTSS, pages 218-227, Dec. 1987. [ bib ] |
| [301] |
A. D. Stoyenko.
The evolution and state-of-the-art of real-time languages.
The Journal of Systems and Software, 18(1):61-84, April 1992. [ bib ] |
| [302] |
A. D. Stoyenko and C. Hamacher.
Analyzing hard real-time programs for guaranteed schedulability.
IEEE Trans. on Software Engineering, 17(8):737-749, August
1991. [ bib ] |
| [303] |
E. Kligerman and A. D. Stoyenko.
Real-time euclid: A language for reliable real-time systems.
IEEE Trans. on Software Engineering, 12(9):941-949, September
1986. [ bib ] |
| [304] |
B. W. Stuck and E. Arthurs.
A Computer & Communications Network Performance Analysis
Primer.
Prentice Hall, 1985. [ bib ] |
| [305] |
T. A. Sudkamp.
Languages and Machines.
Addison-Wesley, January 1991. [ bib ] |
| [306] |
J. Sun and J. W. S. Liu.
Bounding completion times of jobs with arbitrary release times and
variable execution times.
In IEEE RTSS, 1996. [ bib ] |
| [307] |
T. S. Tia, Z. Deng, et al.
Probabilistic performance guarantee for real-time tasks with varying
computation times.
In IEEE RTAS, pages 164-173, 1995. [ bib ] |
| [308] |
J. W. S. Liu, K. J. Lin, et al.
Algorithms for scheduling imprecise computations.
IEEE Computer, 24(5):129-139, May 1991. [ bib ] |
| [309] |
QNX Software Systems Ltd.
Qnx neutrino os - version 6.2.0, 2002. [ bib ] |
| [310] |
D. B. Stewart and P. K. Khosla.
Mechanisms for detecting and handling timing errors.
Communications of the ACM, 40(1):87-93, January 1997. [ bib ] |
| [311] |
T-S. Tia, J. W.-S. Liu, and M. Shankar.
Algorithms and optimality of scheduling soft aperiodic requests in
fixed-priority preemptive systems.
Real-Time Systems, 10:23-43, January 1996. [ bib ] |
| [312] |
A. M. Tilborg and G. M. Koob, editors.
Foundations of Real-Time Computing: Scheduling and Resource
Management.
Kluwer Academic Publishers, 1991. [ bib ] |
| [313] |
E. D. Jensen and B. Ravindran.
Guest editor's introduction to special section on asynchronous
real-time distributed systems.
IEEE Trans. on Computers, IEEE Computer Society,
51(8):881-882, August 2002. [ bib ] |
| [314] |
T. Tsuchiya, Y. Kakuda, and T. Kikuno.
Fault-tolerant scheduling algorithm for distributed real-time
systems.
In The Third Workshop on Parallel and Distributed Real-Time
Systems, April 1995. [ bib ] |
| [315] |
J. Wang and B. Ravindran.
Bpa: A fast packet scheduling algorithm for real-time switched
ethernet networks.
In IEEE ICPP, pages 519-526, August 2002. [ bib ] |
| [316] |
J.-F. Hermant and G. Le Lann.
Fast asynchronous uniform consensus in real-time distributed systems.
51(8):931 - 944, August 2002. [ bib ] |
| [317] |
J. Wang and B. Ravindran.
Time-utility function-driven switched ethernet: Packet scheduling
algorithm, implementation, and feasibility analysis.
IEEE Trans. on Parallel and Distributed Systems,
15(2):119-133, February 2004. [ bib ] |
| [318] |
W. Horn.
Some simple scheduling algorithms.
Naval Research Logistics Quaterly, 21:177-185, 1974. [ bib ] |
| [319] |
J. P. C. Verhoosel.
Pre-Run-Time Scheduling of Distributed Real-Time Systems: Models
and Algorithms.
PhD thesis, Eindhoven University of Technology, The Netherlands,
January 1995. [ bib ] |
| [320] |
C. A. Waldspurger, T. Hogg, B. A. Huberman, J. O. Kephart, and W. S. Stornetta.
Spawn: A distributed computational economy.
IEEE Trans. on Software Engineering, 18(2):103-117, February
1992. [ bib ] |
| [321] |
J. Verhoosel, L. R. Welch, D. Hammer, and E. J. Luit.
Incorporating temporal considerations during assignment and
pre-run-time scheduling of objects and processes.
Journal of Parallel and Distributed Computing, 36(1):13-31,
July 1996. [ bib ] |
| [322] |
K. Wang.
Real-time scheduling theory and it's application to sensor
schedulers.
Technical report, Radar System Group, Hughes Aircraft Co., March
1989.
IR&D First Quarterly Report. [ bib ] |
| [323] |
K. Wang and T-H. Lin.
Scheduling adaptive tasks in real-time systems.
In IEEE RTSS, Dec. 1994. [ bib ] |
| [324] |
L. R. Welch et al.
Dynbench: A dynamic real-time benchmark suite and environment.
Technical report, CSE Dept., The University of Texas at Arlington,
August 1998. [ bib ] |
| [325] |
L. R. Welch.
Large-grain, dynamic control system architectures.
In The Workshop on Parallel and Distributed Real-Time Systems,
April 1997. [ bib ] |
| [326] |
P. Li, B. Ravindran, et al.
Choir: A real-time middleware architecture supporting benefit-based
proactive resource allocation.
In IEEE International Symposium on Object-oriented Real-time
distributed Computing, pages 292-299, May 2003. [ bib ] |
| [327] |
T. Hegazy and B. Ravindran.
Using application benefit for proactive resource allocation in
asynchronous real-time distributed system.
IEEE Trans. on Computers, 51(8):945-962, August 2002. [ bib ] |
| [328] |
P. Li and B. Ravindran.
Proactive qos negotiation in asynchronous real-time distributed
systems.
In 15th ISCA Conf. on Parallel and Distributed Computing
Systems, pages 237-242, September 2002. [ bib ] |
| [329] |
P. Li and B. Ravindran.
Efficiently tolerating failures in asynchronous real-time distributed
systems.
In IEEE International Symposium on High-Assurance Systems
Engineering, pages 19-26, October 2002. [ bib ] |
| [330] |
D. Schmidt, R. Bector, D. Levine, et al.
Tao: A middleware framework for real-time orb endsystems.
In IEEE Workshop on Middleware for Distributed Real-Time Systems
and Services, page ??? IEEE Computer Society, Dec. 1997.
The 18th IEEE RTSS. [ bib ] |
| [331] |
G. Cooper, L. C. DiPippo, L. Esibov, et al.
Real-time CORBA development at mitre, nrad, tri-pacific and uri.
In IEEE Workshop on Middleware for Distributed Real-Time Systems
and Services, page ??? IEEE Computer Society, Dec. 1997.
The 18th IEEE RTSS. [ bib ] |
| [332] |
T. Abdelzaher, S. Dawson, W.-C Feng, et al.
Armada middleware suite.
In IEEE Workshop on Middleware for Distributed Real-Time Systems
and Services, pages 11-18. IEEE Computer Society, Dec. 1997.
The 18th IEEE RTSS. [ bib ] |
| [333] |
R. Bettati (Program Chair).
IEEE Workshop on Middleware for Distributed Real-Time Systems
and Services.
IEEE Computer Society, Dec. 1997.
The 18th IEEE RTSS. [ bib ] |
| [334] |
L. R. Welch, B. Ravindran, B. Shirazi, and C. Bruggeman.
Specification and modeling of dynamic, distributed real-time systems.
In IEEE Real-Time Systems Symposium, pages 72-81, December
1998. [ bib ] |
| [335] |
L. R. Welch et al.
Distributed, scalable, dependable real-time systems: Middleware
services and applications.
In The 13th Parallel Processing Symp. & 10th Symp. on Parallel
and Distributed Processing, April 1999. [ bib ] |
| [336] |
L. R. Welch and B. A. Shirazi.
A dynamic real-time benchmark for assessment of qos and resource
management technology.
In The Fifth IEEE RTAS, June 1999. [ bib ] |
| [337] |
L. R. Welch, B. A. Shirazi, et al.
Desiderata: Qos management tools for dynamic, scalable, dependable,
real-time systems.
In The 15th IFAC Workshop on Distributed Computer Control
Systems, September 1998. [ bib ] |
| [338] |
L. R. Welch, P. V. Werme, et al.
Adaptive qos and resource management using a posteriori workload
characterizations.
In The RTAS, 1999. [ bib ] |
| [339] |
L. R. Welch, P. A. Shirolkar, S. M. Anwar, B. Ravindran, T. Sergeant, and B. A.
Shirazi.
Adaptive resource management for scalable, dependable real-time
systems: Middleware services and applications to shipboard computing systems.
Technical Report TR-CSE-97-009, The University of Texas at Arlington,
Dec. 1997. [ bib ] |
| [340] |
L. R. Welch.
Desiderata: Distributed scalable dependable real-time system, qos
management tools.
available at http://www.ito.darpa.mil/research/quorum/projlist.html,
August 1997. [ bib ] |
| [341] |
L. R. Welch et al.
Challenges in engineering distributed shipboard control systems.
In The Work-In-Progress Session, Dec. 1996.
The 17th IEEE RTSS. [ bib ] |
| [342] |
N. A. Wilkinson, M. S. Atkins, and J. G. Rogers.
A real-time parallel processing data acquisition system.
In IEEE RTSS, Dec. 1988. [ bib ] |
| [343] |
C. D. Williams.
The data acquisition, data reduction and control system (darcs) for
the nrcc 2×3m windtunnel.
In IEEE RTSS, Dec. 1984. [ bib ] |
| [344] |
S. J. Young.
Real-Time Languages: Design and Development.
Ellis Horwood, Chichester, England, 1982. [ bib ] |
| [345] |
G. Yu and L. R. Welch.
A novel approach to off-line scheduling in real-time systems.
Informatica, Special Issue on Parallel and Distributed Real-Time
Systems, 19:71-82, 1995. [ bib ] |
| [346] |
H. Zedan.
Real-Time Systems, Theory and Applications.
North-Holland, 1990. [ bib ] |
| [347] |
J. A. Zinky, D. E. Bakken, and R. D. Schantz.
Architectural support for quality of service for CORBA objects.
Theory and Practice of Object Systems, 3(1):55-73, January
1997. [ bib ] |
This file has been generated by bibtex2html 1.79