@INPROCEEDINGS{R:Zerzelidis:2006,
AUTHOR = {A. Zerzelidis and A. J. Wellings},
TITLE = {Getting More Flexible Scheduling in the {RTSJ}},
BOOKTITLE = {Proceedings 9th IEEE ISORC},
YEAR = {2006},
PAGES = {3--10},
MONTH = {April},
ORGANIZATION = {IEEE Computer Society TC on Distributed Processing},
PUBLISHER = {IEEE Computer Society},
ABSTRACT = {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.}
}
@MISC{rtatvt,
INSTITUTION = {Real-Time Laboratory at Virginia Polytechnic and State University},
TITLE = {Virginia {T}ech Real-Time Laboratory Publications site},
URL = {http://www.real-time.ece.vt.edu/papers.html},
KEY = {Real-time laboratory}
}
@MISC{sun:jms,
INSTITUTION = {{Sun Microsystems}},
AUTHOR = {{Sun Microsystems}},
TITLE = { Java\texttrademark Message Service Specification Final Release 1.1},
MONTH = {April},
YEAR = {2002},
URL = {http://java.sun.com/products/jms/}
}
@MISC{jcp26,
INSTITUTION = {{Sun Microsystems}},
AUTHOR = {{Sun Microsystems}},
TITLE = {{JCP}2: Process Document, v2.6},
MONTH = {March},
YEAR = {2004},
URL = {http://jcp.org/en/procedures/jcp2}
}
@INPROCEEDINGS{lampson83hints,
AUTHOR = {Butler W. Lampson},
TITLE = {Hints for computer system design},
BOOKTITLE = {SOSP '83: Proceedings of the ninth ACM symposium on Operating systems principles},
YEAR = {1983},
ISBN = {0-89791-115-6},
PAGES = {33--48},
LOCATION = {Bretton Woods, New Hampshire, United States},
DOI = {http://doi.acm.org/10.1145/800217.806614},
PUBLISHER = {ACM Press},
ADDRESS = {New York, NY, USA},
URL = {http://research.microsoft.com/~lampson/33-Hints/WebPage.html}
}
@ARTICLE{saltzer84endtoend,
AUTHOR = {J. H. Saltzer and D. P. Reed and D. D. Clark},
TITLE = {End-to-end arguments in system design},
JOURNAL = {ACM Trans. Comput. Syst.},
VOLUME = {2},
NUMBER = {4},
YEAR = {1984},
ISSN = {0734-2071},
PAGES = {277--288},
DOI = {http://doi.acm.org/10.1145/357401.357402},
PUBLISHER = {ACM Press},
ADDRESS = {New York, NY, USA}
}
@TECHREPORT{sunrmiiiop142,
INSTITUTION = {Sun Microsystems},
AUTHOR = {{Sun Microsystems}},
TITLE = {Java\texttrademark {RMI} over {IIOP} Technology Documentation Home Page},
NOTE = {[From J2SDK 1.4.2 Release Notes]},
URL = {http://java.sun.com/j2se/1.4.2/docs/guide/rmi-iiop/index.html},
YEAR = {2002},
MONTH = {November},
ADDRESS = {4150 Network Circle, Santa Clara, CA}
}
@TECHREPORT{sunser142,
INSTITUTION = {Sun Microsystems},
AUTHOR = {{Sun Microsystems}},
TITLE = {{J}ava\texttrademark Object Serialization Specification},
NOTE = {Revision 1.4.4]},
URL = {http://java.sun.com/j2se/1.4/pdf/serial-spec.pdf},
YEAR = {2002},
MONTH = {November},
ADDRESS = {4150 Network Circle, Santa Clara, CA}
}
@TECHREPORT{sunrmi142,
INSTITUTION = {Sun Microsystems},
AUTHOR = {{Sun Microsystems}},
TITLE = {{J}ava\texttrademark Remote Method Invocation Specification},
NOTE = {Revision 1.9, Java\texttrademark 2 SDK SE, v.1.4.2]},
URL = {http://java.sun.com/j2se/1.4/pdf/rmi-spec-1.4.2.pdf},
YEAR = {2002},
MONTH = {November},
ADDRESS = {4150 Network Circle, Santa Clara, CA}
}
@INPROCEEDINGS{tilevich04portable,
AUTHOR = {Eli Tilevich and Yannis Smaragdakis},
TITLE = {Portable and Efficient Distributed Threads for {J}ava},
BOOKTITLE = {Conf. Proc. Middleware'04 conference},
YEAR = {2004},
MONTH = {October},
URL = {citeseer.ist.psu.edu/article/tilevich04portable.html}
}
@INPROCEEDINGS{haumacher03transparent,
TITLE = {Transparent Distributed Threads for {J}ava},
AUTHOR = {Bernhard Haumacher and Thomas Moschny and Jürgen Reuter and
Walter F. Tichy},
BOOKTITLE = {Proc. 5th International Workshop on {Java} for Parallel
and Distributed Computing in conjunction with the International
Parallel and Distributed Processing Symposium ({IPDPS}
2003)},
CONFERENCE = {5th International Workshop on {Java} for Parallel
and Distributed Computing in conjunction with the International
Parallel and Distributed Processing Symposium ({IPDPS}
2003)},
LOCATION = {Nice, France},
DATE = {April 22-26, 2003},
YEAR = {2003},
URL = {citeseer.ist.psu.edu/haumacher03transparent.html}
}
@INPROCEEDINGS{weyns02distributed,
AUTHOR = {D. Weyns and E. Truyen and P. Verbaeten},
TITLE = {Distributed Threads in {J}ava},
BOOKTITLE = {Proceedings of the International Symposium on Distributed and Parallel Computing, ISDPC 2002},
YEAR = {2002},
URL = {citeseer.ist.psu.edu/weyns02distributed.html}
}
@TECHREPORT{hamilton93spring,
AUTHOR = {Graham Hamilton and Panos Kougiouris},
TITLE = {The {S}pring {N}ucleus: {A} Microkernel for Objects},
NUMBER = {TR-93-14},
MONTH = {April},
ADDRESS = {Mountain View, CA, USA},
YEAR = {1993},
URL = {citeseer.ist.psu.edu/kougioris94spring.html}
}
@INPROCEEDINGS{ford94evolving,
AUTHOR = {Bryan Ford and Jay Lepreau},
TITLE = {Evolving {M}ach 3.0 to a migrating thread model},
BOOKTITLE = {Proceedings of {the Winter} 1994 {USENIX} Technical Conference and Exhibition},
PAGES = {97--114},
YEAR = {1994},
URL = {citeseer.ist.psu.edu/article/ford94evolving.html}
}
@INPROCEEDINGS{dibble04rtsj,
TITLE = {The Real-Time Specification for {J}ava: Current Status and Future Work},
AUTHOR = {Peter Dibble and Andy Wellings},
BOOKTITLE = {Proceedings of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing},
YEAR = {2004},
PAGES = {71-77},
MONTH = {May}
}
@MISC{www:awinn,
TITLE = {{A}dvanced {W}ireless {I}ntegrated {N}avy {N}etwork ({AWINN}) Homepage},
NOTE = {\url{http://awinn.ece.vt.edu}},
KEY = {AWINN}
}
@UNPUBLISHED{awinn06demo,
TITLE = {{AWINN} Task 2.2 Final Demonstration: A Coastal Air Defense Scenario},
AUTHOR = {Jonathan Anderson and Binoy Ravindran},
INSTITUTION = {Virginia Polytechnic and State University},
NOTE = {[Presentation to USN Office of Naval Research, August 2006]},
MONTH = {August},
YEAR = {2006}
}
@TECHREPORT{rtsjspec102,
TITLE = {The Real-Time Specification for {J}ava (Version 1.0.2)},
AUTHOR = {Greg Bollella and Ben Brosgol and Peter Dibble and
Steve Furr and James Gosling and David Hardin and
Mark Turnbull and Rudy Belliardi and David Holmes and
Andy Wellings},
INSTITUTION = {Java Community Process},
TYPE = {Specification},
NOTE = {Available: \url{http://www.rtsj.org/specjavadoc/book_index.html}},
NUMBER = {JSR-1},
YEAR = {2006}
}
@MISC{www:drtsj,
TITLE = {{DRTSJ} Public Web Site},
HOWPUBLISHED = {\url{http://drtsj.org}},
KEY = {Distrib}
}
@MISC{jsr50site,
AUTHOR = {{JSR-50 Expert Group} and E. Douglas Jensen},
TITLE = {{JSR-50} Proposal},
HOWPUBLISHED = {\url{http://jcp.org/en/jsr/detail?id=1}}
}
@MISC{www:rtsj,
TITLE = {{RTSJ} Public Web Site},
HOWPUBLISHED = {\url{http://rtsj.org}},
KEY = {rtsj}
}
@MISC{jsr1site,
AUTHOR = {{JSR-1 Expert Group}},
TITLE = {{JSR-1} Proposal: Real-Time Specification for {J}ava},
HOWPUBLISHED = {\url{http://jcp.org/en/jsr/detail?id=1}}
}
@MISC{jsr282site,
AUTHOR = {{JSR-282 Expert Group}},
TITLE = {{JSR-282} Proposal: Real-Time Specification for {J}ava version 1.1},
HOWPUBLISHED = {\url{http://jcp.org/en/jsr/detail?id=1}}
}
@INPROCEEDINGS{rpcharmful01,
AUTHOR = {Umar Saif and David J. Greaves},
TITLE = {Communication Primitives for Ubiquitous Systems or {RPC} Considered Harmful},
PAGE = {240},
BOOKTITLE = {21st International Conference on Distributed Computing Systems Workshops (ICDCSW '01)},
YEAR = {2001},
URL = {http://doi.ieeecomputersociety.org/10.1109/CDCS.2001.918712}
}
@INPROCEEDINGS{jensen02drtsj,
TITLE = {Rationale for the direction of the distributed real-time specification for {J}ava panel position paper},
AUTHOR = {E. Douglas Jensen},
BOOKTITLE = {Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2002},
YEAR = {2002},
PAGES = {258-259},
ISBN = {0-7695-1558-4}
}
@TECHREPORT{waldo94,
AUTHOR = {Jim Waldo and Geoff Wyant and Ann Wollrath and Sam Kendall},
TITLE = {A Note on Distributed Computing},
INSTITUTION = {Sun Microsystems Laboratories, Inc.},
YEAR = {1994},
ADDRESS = {2550 Garcia Avenue, Mountain View, VA 94043},
NUMBER = {SMLI TR-94-29},
MONTH = {November},
TYPE = {Note}
}
@INPROCEEDINGS{wellings02rmi,
AUTHOR = {Andy Wellings and Raymond K. Clark and E. Douglas Jensen and Doug Wells},
TITLE = {A Framework for Integrating the {R}eal-{T}ime {S}pecification for {J}ava and {J}ava's Remote Method Invocation},
BOOKTITLE = {Proc. of the 5th IEEE International Symposium on Object Oriented Real-Time Distributed Computing},
MONTH = {April},
YEAR = {2002},
URL = {http://www.real-time.org/docs/isorc02_v41.pdf},
NOTE = {Available: \url{http://www.real-time.org/docs/isorc02_v41.pdf}},
ABSTRACT = {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.},
COMMENT = {This paper is a summary of one of the work products
produced by the authors of the DRTSJ. From experience we've
discovered that it requires the readers to have a fairly good
understanding of the RTSJ, Java, RMI, and real-time distributed
computing -- especially of the Distributed Thread model from the
Alpha distributed real-time OS kernel, and of the issues that
programming model addresses [Clark 93][Jensen 00b]. This ISORC paper
was preceded by a very short identically named paper at the Work in
Progress session of the Real-Time Systems Symposium (RTSS), 2001
[Wellings et al. 01]. Concurrently with this ISORC paper was a paper
at the Embedded Systems Conference/San Francisco 2002 [Jensen 02]
which included the material from the RTSS paper plus substantial
motivational material about real-time and distributed systems and
real-time distributed systems.}
}
@INPROCEEDINGS{srds06,
AUTHOR = {Edward Curley and Jonathan Anderson and Binoy Ravindran and E. Douglas Jensen},
TITLE = {Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems},
BOOKTITLE = {Proceedings of the 2006 SRDS},
MONTH = {October},
YEAR = {2006},
URL = {http://www.real-time.ece.vt.edu/srds06.pdf},
NOTE = {[To Appear] Available: \url{http://www.real-time.ece.vt.edu/srds06.pdf}}
}
@MASTERSTHESIS{curley06thesis,
AUTHOR = {Edward Curley},
TITLE = {Integrity Assurances for Distributable Real-Time Threads in Dynamic Networks},
SCHOOL = {Virginia Polytechnic and State University},
YEAR = {2006},
MONTH = {September},
NOTE = {[Anticipated]}
}
@ARTICLE{gr01:exceptions,
AUTHOR = {Alessandro F. Garcia and Cecķlia M.F. Rubira and Alexander Romanovsky and Jie Xu},
TITLE = {A Comparative study of exception handling mechanisms for building dependable object-oriented software},
JOURNAL = {Journal of Systems and Software},
VOLUME = {59},
NUMBER = {2},
MONTH = {November},
ISSN = {0164-1212},
PAGES = {197 - 222},
YEAR = {2001}
}
@ARTICLE{lrsf04,
AUTHOR = {P. Li and B. Ravindran and others},
TITLE = {A Formally Verified Application-Level Framework for
Real-Time Scheduling on {POSIX} Real-Time Operating Systems},
JOURNAL = {IEEE Trans. Software Engineering},
VOLUME = {30},
PAGES = {613 - 629},
NUMBER = {9},
MONTH = {Sept.},
YEAR = {2004}
}
@PHDTHESIS{rkc:thesis,
AUTHOR = {Raymond K. Clark},
TITLE = {Scheduling Dependent Real-Time Activities},
SCHOOL = {Carnegie Mellon University},
YEAR = {1990},
MONTH = {August}
}
@INPROCEEDINGS{CranMur01,
AUTHOR = {N. Cranley and L. Murphy},
TITLE = {Adaptive Quality of Service for Streamed MPEG-4 Over The Internet},
BOOKTITLE = { IEEE International Conference on Communications (ICC)},
YEAR = {2000},
PAGES = {1206-1210}
}
@ARTICLE{lsts02,
AUTHOR = {C. Lu and J. Stakovic and G. Tao and S. Son},
TITLE = {Feedback Control Real-Time Scheduling: Framework, Modeling and Algorithms},
JOURNAL = {Journal of Real-Time Systems},
YEAR = {2002},
VOLUME = {23},
NUMBER = {1/2},
PAGES = {85-126},
MONTH = {July}
}
@MISC{jen03-private,
AUTHOR = {E. D. Jensen},
TITLE = {Private Communication},
YEAR = {2003}
}
@INPROCEEDINGS{wrjb04,
AUTHOR = {H. Wu and B. Ravindran and others},
TITLE = {Utility Accrual Scheduling Under Arbitrary Time/Utility Functions and Multiunit Resource Constraints},
BOOKTITLE = {IEEE RTCSA},
MONTH = {August},
YEAR = {2004}
}
@INPROCEEDINGS{wrjl04,
AUTHOR = {H. Wu and B. Ravindran and E. D. Jensen and P. Li},
TITLE = {Energy-Efficient, Utility Accrual Scheduling under
Resource Constraints for Mobile Embedded Systems},
BOOKTITLE = {ACM International Conference on Embedded Software},
MONTH = {September},
YEAR = {2004},
NOTE = {To appear. \url{http://www.ee.vt.edu/ ~realtime/2004.html}}
}
@INPROCEEDINGS{wrj04-codes,
AUTHOR = {H. Wu and B. Ravindran and E. D. Jensen and P. Li},
TITLE = {CPU Scheduling for Statistically Guaranteed Real-Time Performance
and Improved Energy-Efficiency for Battery-Powered Embedded Systems},
MONTH = {September},
YEAR = {2004},
BOOKTITLE = {IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
(CODES+ISSS Merged Conference)},
NOTE = {To appear. \url{http://www.ee.vt.edu/ ~realtime/2004.html}}
}
@ARTICLE{tocsi00-ed,
AUTHOR = {E. D. Jensen and B. Ravindran},
TITLE = {Guest Editor's Introduction to Special Section on Asynchronous Real-Time Distributed Systems},
JOURNAL = {IEEE Transactions on Computers},
VOLUME = {51},
NUMBER = {8},
PAGES = {881-882},
MONTH = {August},
YEAR = {2002}
}
@INPROCEEDINGS{abd00,
AUTHOR = {T. Abdelzaher},
TITLE = {An Automated Profiling Subsystem for QoS-aware Services},
BOOKTITLE = { IEEE RTAS},
YEAR = {2000}
}
@ARTICLE{cm96,
AUTHOR = {K. Chen and P. Muhlethaler},
TITLE = {A Scheduling Algorithm for Tasks Described by Time Value Function},
JOURNAL = {Journal of Real-Time Systems},
VOLUME = {10},
NUMBER = {3},
PAGES = {293-312},
MONTH = {May},
YEAR = {1996}
}
@ARTICLE{ll73,
AUTHOR = {C. L. Liu and J. W. Layland},
TITLE = {Scheduling Algorithms for Multiprogramming in a Hard Real-Time
Environment},
JOURNAL = {Journal of the ACM},
VOLUME = {20},
NUMBER = {1},
PAGES = {46-61},
YEAR = {1973}
}
@ARTICLE{rds02,
AUTHOR = {B. Ravindran and R. K. Devarasetty and B. Shirazi},
TITLE = {Adaptive
Resource Management Algorithms for Periodic Tasks in Dynamic
Real-Time Distributed Systems},
JOURNAL = {Journal of Parallel and Distributed Computing},
VOLUME = {62},
NUMBER = {10},
PAGES = {1527-1547},
MONTH = {October},
YEAR = {2002}
}
@TECHREPORT{archons88,
AUTHOR = {D. P. Maynard and S. E. Shipman and R. K. Clark and J. D. Northcutt and R. B. Kegley and B. A. Zimmerman and P. J. Keleher},
TITLE = {An Example Real-Time Command, Control, and Battle Management Application for Alpha},
YEAR = {1988},
INSTITUTION = {CMU CS Dept.},
NUMBER = {Archons Project Technical Report 88121},
MONTH = {December}
}
@INPROCEEDINGS{aas97,
AUTHOR = {T. Abdelzaher and E. Atkins and K. Shin},
TITLE = {QoS Negotiation in Real-Time Systems and its Application to Automated Flight Control},
BOOKTITLE = { IEEE RTAS},
PAGES = {228-238},
MONTH = {June},
YEAR = {1997}
}
@INPROCEEDINGS{as98,
AUTHOR = {T. Abdelzaher and K. Shin},
TITLE = {End-host Architecture for QoS-Adaptive Communication},
BOOKTITLE = { IEEE RTAS},
PAGES = {121-130},
MONTH = {June},
YEAR = {1998}
}
@INPROCEEDINGS{abdallah95,
AUTHOR = {H. B-Abdallah and I. Lee and J-Y. Choi},
TITLE = {A Graphical Language with Formal Semantics for the
Specification and Analysis of Real-Time Systems},
BOOKTITLE = { IEEE RTSS},
PAGES = {276-286},
MONTH = {Dec.},
YEAR = {1995}
}
@INPROCEEDINGS{abeni98,
AUTHOR = {L. Abeni and G. Buttazzo},
TITLE = {Integrating Multimedia Applications in Hard Real-Time Systems},
BOOKTITLE = { IEEE RTSS},
PAGES = {3-13},
MONTH = {Dec.},
YEAR = {1998}
}
@ARTICLE{abr+93,
AUTHOR = {N. Audsley and A. Burns and M. Richardson and K. Tindell and A. Wellings},
TITLE = {Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling},
JOURNAL = {Software Engineering Journal},
PAGES = {284-292},
VOLUME = {8},
NUMBER = {5},
MONTH = {September},
YEAR = {1993}
}
@INPROCEEDINGS{atlas98,
AUTHOR = {A. Atlas and A. Bestavros},
TITLE = {Statistical Rate Monotonic Scheduling},
BOOKTITLE = { IEEE RTSS},
PAGES = {123-132},
MONTH = {Dec.},
YEAR = {1998}
}
@INPROCEEDINGS{mpr99,
AUTHOR = {D. Mosse and M. E. Pollack and Y. Ronen},
TITLE = {Value-Density Algorithm to Handle Transient Overloads in Scheduling},
BOOKTITLE = { Euromicro Conf. on Real-Time Systems},
PAGES = {278-286},
MONTH = {June},
YEAR = {1999}
}
@INPROCEEDINGS{abdelzaher98,
AUTHOR = {T. Abdelzaher and K. G. Shin},
TITLE = {End-host Architecture for QoS-Adaptive Communication},
BOOKTITLE = { The Fourth IEEE Real-Time
Technology and Applications
Symp.},
PAGES = {121-130},
MONTH = {June},
YEAR = {1998}
}
@BOOK{ada95,
AUTHOR = { Standard ANSI/ISO/IEC-8652:1995},
TITLE = {Ada 95 Reference Manual},
PUBLISHER = {Intermetrics, Inc.},
MONTH = {January},
YEAR = {1995}
}
@BOOK{allen90,
AUTHOR = {Arnold O. Allen},
TITLE = {Probability, Statistics, and Queueing Theory
with Computer Science Applications},
PUBLISHER = {Academic Press, Inc.},
SERIES = {Computer Science and Scientific Computing},
YEAR = {1990}
}
@BOOK{asimov66,
AUTHOR = {Isaac Asimov},
TITLE = {Understanding Physics},
VOLUME = {III},
PUBLISHER = {George Allen \& Unwin Ltd.},
ADDRESS = {London},
YEAR = {1966}
}
@INPROCEEDINGS{aucoin,
AUTHOR = {B. M. Aucoin and R. P. Heller},
TITLE = {Overcurrent and High Impedance Fault Relaying Using a
Microcomputer},
BOOKTITLE = { the 7th Texas Conf. on Computer
Systems},
PAGES = {2.5-2.9},
MONTH = {Nov.},
YEAR = {1978}
}
@PHDTHESIS{bettati,
AUTHOR = {R. Bettati},
TITLE = {End-to-End Scheduling to Meet Deadlines},
SCHOOL = {University of Illinois at Urbana-Champaign},
YEAR = {1994}
}
@ARTICLE{bihari91,
AUTHOR = {T. Bihari and P. Gopinath},
TITLE = {Real-Time Concurrent C: A Language for Programming
Dynamic Real-Time Systems},
JOURNAL = {Real-Time Systems},
VOLUME = {3},
NUMBER = {4},
PAGES = {337-406},
YEAR = {1991}
}
@ARTICLE{bihari92,
AUTHOR = {T. Bihari and P. Gopinath},
TITLE = {Object-Oriented Real-Time Systems},
JOURNAL = {IEEE Computer},
VOLUME = {25},
NUMBER = {12},
PAGES = {25-32},
MONTH = {Dec.},
YEAR = {1992}
}
@ARTICLE{birman93,
AUTHOR = {K. P. Birman},
TITLE = {The Process Group Approach to Reliable Distributed Computing},
JOURNAL = {Communications of the ACM},
VOLUME = {36},
NUMBER = {12},
PAGES = {127-133},
MONTH = {Dec.},
YEAR = {1993}
}
@BOOK{birman96,
AUTHOR = {K. P. Birman},
TITLE = {Building Secure and Reliable Network Applications},
PUBLISHER = {Manning Publications},
YEAR = {1996}
}
@BOOK{blackman,
AUTHOR = {S. S. Blackman},
TITLE = {Multiple Target Tracking With Radar Applications},
PUBLISHER = {Artech House},
ADDRESS = {Dedham, Massachusetts},
YEAR = {1986}
}
@INCOLLECTION{blazewicz,
AUTHOR = {J. Blazewicz},
TITLE = {Scheduling Dependent Tasks with Different Arrival Times
to meet Deadlines},
EDITOR = {E. Gelenbe and H. Beilner},
BOOKTITLE = {Modelling and Performance Evaluation of Computer Systems},
PUBLISHER = {Amsterdam},
YEAR = {1976}
}
@ARTICLE{boasson,
AUTHOR = {M. Boasson},
TITLE = {Control Systems Software},
JOURNAL = {IEEE Transactions on Automatic Control},
VOLUME = {38},
NUMBER = {7},
PAGES = {1094-1107},
YEAR = {1993}
}
@ARTICLE{braham97,
AUTHOR = {R. Braham},
TITLE = {Ballistic Missile Defense: it's back},
JOURNAL = {IEEE Spectrum},
VOLUME = {34},
NUMBER = {9},
PAGES = {26-39},
MONTH = {September},
YEAR = {1997}
}
@INPROCEEDINGS{bn+98,
AUTHOR = {S. Brandt and G. Nutt and others},
TITLE = {A Dynamic Quality of Service Middleware Agent for Mediating Application Resource Usage},
BOOKTITLE = { IEEE RTSS},
PAGES = {307-317},
MONTH = {Dec.},
YEAR = {1998}
}
@BOOK{burns97,
AUTHOR = {A. Burns and A. Wellings},
TITLE = {Real-Time Systems and Programming Languages},
PUBLISHER = {Addison-Wesley},
YEAR = {1997}
}
@ARTICLE{bucci95,
AUTHOR = {G. Bucci and M. Campanai and P. Nesi},
TITLE = {Tools for Specifying Real-Time Systems},
JOURNAL = {Real-Time Systems},
VOLUME = {8},
PAGES = {117-172},
YEAR = {1995}
}
@BOOK{butta97,
AUTHOR = {G. C. Buttazzo},
TITLE = {Hard Real-Time Computing Systems: Predictable
Scheduling Algorithms and Applications},
PUBLISHER = {Kluwer Academic Publishers},
YEAR = {1997}
}
@ARTICLE{rh01,
AUTHOR = {B. Ravindran and T. Hegazy},
TITLE = {RBA: A Best Effort Resource Allocation Algorithm for Asynchronous, Real-Time Distributed Systems},
JOURNAL = {Journal of Research and Practice in Information Technology},
VOLUME = {33},
NUMBER = {3},
PAGES = {213-227},
MONTH = {August},
YEAR = {2001}
}
@ARTICLE{rlh01,
AUTHOR = {B. Ravindran and P. Li and T. Hegazy},
TITLE = {Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems in the Presence of Processor Failures},
JOURNAL = {Journal of Parallel and Distributed Computing},
NOTE = {accepted Dec. 2002, to appear}
}
@INCOLLECTION{bs95,
AUTHOR = {G. Buttazzo and J. Stankovic},
TITLE = {Adding Robustness in Dynamic Preemptive Scheduling},
EDITOR = {D. Fussel and M. Malek},
BOOKTITLE = {Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems},
PUBLISHER = {Kluwer Academic Publishers},
MONTH = {October},
PAGES = {67-88},
YEAR = {1995}
}
@ARTICLE{carlow,
AUTHOR = {G. D. Carlow},
TITLE = {Architecture of the Space Shuttle Primary Avionics
Software System},
JOURNAL = {Communications of the ACM},
VOLUME = {27},
NUMBER = {9},
PAGES = {926-936},
YEAR = {1984}
}
@ARTICLE{cf99,
AUTHOR = {F. Cristian and C. Fetzer},
TITLE = {The Timed Asynchronous Distributed System Model},
JOURNAL = {IEEE Transactions on Parallel and Distributed Systems},
VOLUME = {10},
NUMBER = {6},
PAGES = {642-657},
MONTH = {June},
YEAR = {1999}
}
@INPROCEEDINGS{chan95,
AUTHOR = {M. C. Chan and G. Pacifici and R. Stadler},
TITLE = {Managing Real-Time Services in Multimedia
Networks Using Dynamic Visualization and
High-Level Controls},
BOOKTITLE = { The ACM Multimedia 1995},
YEAR = {1995}
}
@INPROCEEDINGS{cheng86,
AUTHOR = {S. Cheng and J. Stankovic and K. Ramamritham},
TITLE = {Dynamic Scheduling of Groups of Tasks With Precedence
Constraints in Distributed Hard Real-Time Systems},
BOOKTITLE = { IEEE RTSS},
YEAR = {1986}
}
@INCOLLECTION{cheng88,
AUTHOR = {S. Cheng and J. A. Stankovic and K. Ramamritham},
TITLE = {Scheduling Algorithms for Hard Real-Time Systems - A Brief
Survey},
EDITOR = {J. A. Stankovic and K. Ramamritham},
BOOKTITLE = {Tutorial on Hard Real-Time Systems},
PUBLISHER = {IEEE Computer Society Press},
YEAR = {1988}
}
@ARTICLE{chetto89,
AUTHOR = {H. Chetto and M. Chetto},
TITLE = {Some results of the Earliest Deadline Scheduling Algorithm},
JOURNAL = {IEEE Transactions on Software Engineering},
VOLUME = {15},
NUMBER = {10},
PAGES = {466-473},
YEAR = {1989}
}
@INPROCEEDINGS{choi95,
AUTHOR = {J-Y. Choi and I. Lee and H-L. Xie},
TITLE = {The Specification and Schedulability Analysis of Real-Time
Systems using ACSR},
BOOKTITLE = { IEEE RTSS},
PAGES = {266-275},
MONTH = {Dec.},
YEAR = {1995}
}
@INPROCEEDINGS{cjk+99,
AUTHOR = {R. Clark and E. D. Jensen and others},
TITLE = {An Adaptive, Distributed Airborne Tracking System},
BOOKTITLE = { IEEE Workshop on Parallel and Distributed Real-Time Systems},
SERIES = {LNCS},
PUBLISHER = {Springer-Verlag},
VOLUME = {1586},
PAGES = {353-362},
MONTH = {April},
YEAR = {1999}
}
@MASTERSTHESIS{deva01,
AUTHOR = {R. Devarasetty},
TITLE = {Heuristic Algorithms for Adaptive Resource Management of Periodic Tasks in Soft Real-Time
Distributed Systems},
SCHOOL = {Virginia Tech},
MONTH = {February},
YEAR = {2001},
NOTE = {\url{ http://nile.ece.vt.edu/ thesis/thesis.htm}}
}
@INPROCEEDINGS{gerber93,
AUTHOR = {R. Gerber and S. Hong},
TITLE = {Semantics-based compiler transformations for
enhanced schedulability},
BOOKTITLE = { IEEE RTSS},
PAGES = {232-242},
MONTH = {Dec.},
YEAR = {1993}
}
@INPROCEEDINGS{hong93,
AUTHOR = {S. Hong and R. Gerber},
TITLE = {Compiling Real-Time Programs into Schedulable Code},
BOOKTITLE = { The ACM SIGPLAN'93 Conf.
on Programming Language Design and Implementation},
MONTH = {June},
YEAR = {1993},
NOTE = {SIGPLAN Notices, 28(6): 166-176}
}
@TECHREPORT{maruti94,
AUTHOR = {Chintamaneni and X. Yuan and S. K. Tripathi
and A. K. Agrawala},
TITLE = {Scheduling Tasks in a Real-Time System},
INSTITUTION = { University of Maryland at College Park},
YEAR = {1994}
}
@PHDTHESIS{cla90,
AUTHOR = {R. K. Clark},
TITLE = {Scheduling Dependent Real-Time Activities},
SCHOOL = {CMU},
NOTE = {CMU-CS-90-155},
YEAR = {1990}
}
@ARTICLE{spin97,
AUTHOR = {Gerard J. Holzmann},
TITLE = {The Model Checker SPIN},
JOURNAL = {IEEE Transactions on Software Engineering},
YEAR = {1997},
VOLUME = {23},
NUMBER = {5},
PAGES = {279-295},
MONTH = {May}
}
@PHDTHESIS{stray92,
AUTHOR = {W. Timothy Strayer},
TITLE = {Function-DriveN Scheduling : A General Framework for Expressing and Analysis of Scheduling},
SCHOOL = {University of Virginia},
YEAR = {1992},
MONTH = {May},
NOTE = {Department of Computer Science},
ANNOTE = {TR-92-12}
}
@INPROCEEDINGS{chung89,
AUTHOR = {J. C. Chung and
M. R. Haris and F. P. Brooks and H. Fuchs and
M. T. Kelley and
J. Hughes and M. Ouh-Young and C. Cheung and R. L. Holloway and
M. Pique},
TITLE = {Exploring Virtual Worlds With Head-Mounted Displays},
BOOKTITLE = {Non-Holographic True 3-Dimensional Display Technologies},
ORGANIZATION = {SPIE Proc.},
NOTE = {Vol. 1083},
MONTH = {January},
YEAR = {1989}
}
@ARTICLE{CiGeLi94,
AUTHOR = {G. Ciardo and R. German and C. Lindemann},
TITLE = {A Characterization of the Stochastic Process Underlying a
Stochastic Petri Net},
JOURNAL = {IEEE Transactions on Software Engineering},
VOLUME = {20},
PAGES = {506-515},
YEAR = {1994}
}
@INPROCEEDINGS{davis93,
AUTHOR = {R. I. Davis and K. W. Tindell and A. Burns},
TITLE = {Scheduling Slack Time in Fixed-Priority Preemptive Systems},
BOOKTITLE = { IEEE RTSS},
PAGES = {222-231},
MONTH = {Dec.},
YEAR = {1993}
}
@ARTICLE{baker91,
AUTHOR = {T. P. Baker},
TITLE = {Stack-based Scheduling of Real-Time Processes},
JOURNAL = {Journal of Real-Time Systems},
VOLUME = {3},
NUMBER = {1},
PAGES = {67-99},
MONTH = {March},
YEAR = {1991}
}
@ARTICLE{devarakonda89,
AUTHOR = {M. V. Devarakonda and R. K. Iyer},
TITLE = {Predictability of Process Resource Usage: A Measurement
Based Study on UNIX},
JOURNAL = {IEEE Transactions on Software Engineering},
VOLUME = {15},
NUMBER = {12},
PAGES = {1579-1586},
MONTH = {Dec.},
YEAR = {1989}
}
@INPROCEEDINGS{dierks,
AUTHOR = {H. Dierks},
TITLE = {The Production Cell: A Verified Real-Time System},
BOOKTITLE = { The 4th Symp. on
Formal Techniques in Real-Time and Fault-Tolerant Systems},
NOTE = {Lecture Note in Computer Science, Vol. 1135},
PUBLISHER = {Springer-Verlag},
MONRTH = {September},
YEAR = {1996}
}
@TECHREPORT{dinatale,
AUTHOR = {M. DiNatale and J. A. Stankovic},
TITLE = {Dynamic End-to-End Guarantees in the Spring Environment},
INSTITUTION = {University of Massachusetts at Amherst},
YEAR = {1994}
}
@ARTICLE{Kim97,
AUTHOR = {K. Kim},
TITLE = {Object Structures for Real-Time Systems and Simulators},
JOURNAL = {IEEE Computer},
YEAR = {1997},
PAGES = {62-70},
MONTH = {August}
}
@INPROCEEDINGS{RSK+00,
AUTHOR = {C. O'Ryan and D. C. Schmidt and F. Kuhns and M. Spivak and J. Parsons and I. Pyarali and D. L. Levine},
TITLE = {Evaluating Policies and Mechanisms for Supporting Embedded, Real-Time Applications with
{CORBA} 3.0},
BOOKTITLE = {IEEE RTAS},
PAGES = {188-197},
YEAR = {2000}
}
@MISC{OMG99,
AUTHOR = {{Object Management Group}},
TITLE = {Real-Time CORBA (Joint Revised Submission)},
MONTH = {March},
YEAR = {1999},
NOTE = {orbos/99-02-12 ed.}
}
@MISC{rtcorba01,
AUTHOR = {{Object Management Group}},
TITLE = {Dynamic Scheduling Real-Time {CORBA} 2.0 (Joint Revised Submission)},
YEAR = {2001},
NOTE = {orbos/2001-04-01 ed.}
}
@MISC{omg:transport,
AUTHOR = {{Object Management Group}},
TITLE = {Extensible Transport Framework Specification -- Final Adopted Specification},
YEAR = {2004},
NOTE = {ptc/04-03-03 ed.}
}
@MISC{omg:dds,
AUTHOR = {{Object Management Group}},
TITLE = {Data Distribution Service for Real-time Systems, v1.1},
YEAR = {2005},
NOTE = {formal/2005-12-04}
}
@ARTICLE{SK00,
AUTHOR = {D. C. Schmidt and F. Kuhns},
TITLE = {An Overview of the Real-Time {CORBA} Specification},
JOURNAL = {IEEE Computer},
YEAR = {2000},
PAGES = {56-63},
MONTH = {June}
}
@ARTICLE{ZBS97,
AUTHOR = {J. A. Zinky and D. E. Bakken and R. E. Schantz},
TITLE = {Architectural Support for Quality of Service for {CORBA} Objects},
JOURNAL = {Theory and Practice of Object Systems},
YEAR = {1997},
MONTH = {April}
}
@INPROCEEDINGS{WDG+97,
AUTHOR = {V. F. Wolfe and L. C. DiPippo and R. Ginis and M. Squadrito and S. Wohlever and I. Zykh and R. Johnston},
TITLE = {Real-Time {CORBA}},
BOOKTITLE = { IEEE RTAS},
PAGES = {148-157},
YEAR = {1997}
}
@MISC{dirm97,
AUTHOR = {John Zinky},
TITLE = {Dynamic Integrated Resource Management (DIRM)},
ORGANIZATION = {BBN Corporation},
YEAR = {1997},
HOWPUBLISHED = {available at \url{http://www.ito.darpa.mil/research/ quorum/projlist.html}}
}
@MISC{rtlinux97,
AUTHOR = {V. Yodaiken},
TITLE = {The RTLinux Approach to Real-Time},
PUBLISHER = {FSMLabs},
HOWPUBLISHED = {\url{ http://fsmlabs.com/developers/ white_papers/ rtlinux_whitepaper.htm}}
}
@ARTICLE{cta02,
AUTHOR = {W. Chen and S. Toueg and M. K. Aguilera},
TITLE = {On the Quality of Service of Failure Detectors},
JOURNAL = {IEEE Transactions on Computers},
YEAR = {2002},
VOLUME = {51},
NUMBER = {5},
PAGES = {561-580},
MONTH = {May}
}
@INPROCEEDINGS{nagy+97,
AUTHOR = {Sue Nagy and Azer Bestavros},
TITLE = {Admission Control for Soft-Transactions in {ACCORD}},
PAGES = {160},
BOOKTITLE = {Third IEEE Real-Time Technology and Applications Symposium (RTAS'97},
YEAR = {1997}
}
@TECHREPORT{gg+95,
AUTHOR = {J. Goldberg and I. Greenberg and R. K. Clark and E. D. Jensen and K. Kim and D. M. Wells},
TITLE = {Adaptive Fault-Resistant Systems (Chapter 5: Adaptive Distributed Thread Integrity)},
YEAR = {1995},
INSTITUTION = {Computer Science Laboratory, SRI International},
ADDRESS = {Menlo Park, CA.},
NUMBER = {csl-95-02},
MONTH = {January},
NOTE = {\url{http://www.csl.sri.com/ papers/sri-csl-95-02/}}
}
@TECHREPORT{nc88-kernel,
AUTHOR = {J. D. Northcutt and R. K. Clark},
TITLE = {The {A}lpha Operating System: Kernel Internals},
INSTITUTION = {Department of Computer Science, Carnegie Mellon University},
YEAR = {1988},
TYPE = {Archons Project Technical Report},
NUMBER = {88051},
ADDRESS = {Pittsburgh, PA},
MONTH = {May}
}
@INPROCEEDINGS{cjr92,
AUTHOR = {R. K. Clark and E. D. Jensen and F. D. Reynolds},
TITLE = {An Architectural Overview of the {Alpha} Real-Time Distributed Kernel},
BOOKTITLE = {Proceedings of the USENIX Workshop on Microkernels and Other Kernel Architectures},
YEAR = {1992},
MONTH = {April}
}
@TECHREPORT{nc88-programming,
AUTHOR = {J. D. Northcutt and R. K. Clark},
TITLE = {The {A}lpha Operating System: Programming Model},
INSTITUTION = {Department of Computer Science, Carnegie Mellon University},
YEAR = {1988},
TYPE = {Archons Project Technical Report},
NUMBER = {88021},
ADDRESS = {Pittsburgh, PA},
MONTH = {February}
}
@ARTICLE{lrsf03,
AUTHOR = {P. Li and B. Ravindran and S. Suhaib and S. Feizabadi},
TITLE = {A Formally Verified Application-Level Framework for Real-Time Scheduling On {POSIX} Real-Time Operating Systems},
YEAR = {2004},
JOURNAL = {IEEE Transactions on Software Engineering},
NOTE = {To appear. \url{http://www.ee.vt.edu/ ~realtime/2004.html}}
}
@ARTICLE{lr-jss03,
AUTHOR = {P. Li and B. Ravindran},
TITLE = {Proactive QoS negotiation in asynchronous real-time distributed systems},
JOURNAL = {Journal of Systems and Software},
YEAR = {2003},
NOTE = {In Press, Corrected Proof, Available online 28 September 2003,
\url{http://authors.elsevier.com/ sd/article/S0164121202001620}}
}
@INPROCEEDINGS{lrcj04,
AUTHOR = {P. Li and B. Ravindran and H. Cho and E. D. Jensen},
TITLE = {Scheduling Distributable Real-Time Threads in {Tempus} Middleware},
BOOKTITLE = {IEEE Conference on Parallel and Distributed Systems},
YEAR = {2004},
MONTH = {July},
PAGES = {187 - 194}
}
@INPROCEEDINGS{driscoll,
AUTHOR = {K. Driscoll and K. Hoyme},
TITLE = {The Airplane Information Management System: An Integrated
Real-Time Flight-Deck Control System},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1992}
}
@INPROCEEDINGS{fathi,
AUTHOR = {E. T. Fathi and N. R. Fines},
TITLE = {Real-Time Data Acquisition, Processing and Distribution
For Radar Applications},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1984}
}
@INPROCEEDINGS{ferrari87,
AUTHOR = {D. Ferrari and S. Zhou},
TITLE = {An Empirical Investigation of Load Indices for Load
Balancing Applications},
BOOKTITLE = {The 12th Annual Symp. on
Computer Performance Modeling, Measurement and Evaluation },
PAGES = {515-528},
YEAR = {1987}
}
@INPROCEEDINGS{florissi94,
AUTHOR = {P. Florissi and Y. Yemini},
TITLE = {Management of Application Quality of Service},
BOOKTITLE = { The Fifth IFIP/IEEE
Workshop on Distributed Systems: Operations and Management},
MONTH = {October},
YEAR = {1994}
}
@INPROCEEDINGS{furht93,
AUTHOR = {B. Furht},
TITLE = {Real-Time Computer Systems: Current and Future Trends},
BOOKTITLE = { IEEE Workshop on Real-Time
Applications},
MONTH = {May},
YEAR = {1993}
}
@BOOK{furht91,
AUTHOR = {B. Furht and D. Grostick and D. Gluch and G. Rabbat
and J. Parker
and M. McRoberts},
TITLE = {Real-Time Unix Systems, Design and Applications Guide},
PUBLISHER = {Kluwer Academic Publishers},
ADDRESS = {Boston, Massachusetts},
YEAR = {1991}
}
@INPROCEEDINGS{gergeleit95,
AUTHOR = {M. Gergeleit and J. Kaiser and H. Streich},
TITLE = {Checking Timing Constraints in Distributed Object-Oriented
Programs},
BOOKTITLE = { The Object-Oriented Real-Time Systems (OORTS)
Workshop},
MONTH = {October},
NOTE = {Seventh IEEE Symp. on Parallel and Distributed Processing
(SPDP)},
YEAR = {1995}
}
@INPROCEEDINGS{streich97,
AUTHOR = {H. Streich and M. Gergeleit},
TITLE = {On the Design of a Dynamic Distributed Real-Time Environment},
BOOKTITLE = { The Workshop on Parallel and
Distributed Real-Time Systems},
PAGES = {251-256},
YEAR = {1997}
}
@ARTICLE{GKZH95,
AUTHOR = {R. German and Ch. Kelling and A. Zimmermann and G. Hommel},
TITLE = {TimeNET - A Toolkit for Evaluating Non-Markovian
Stochastic Petri Nets},
JOURNAL = {Performance Evaluation},
VOLUME = {24},
PAGES = {69-87},
YEAR = {1995}
}
@BOOK{gertsbakh,
AUTHOR = {I. B. Gertsbakh},
TITLE = {Statistical Reliability Theory},
SERIES = {Probability: Pure And Applied},
PUBLISHER = {Marcel Dekker, Inc.},
YEAR = {1989}
}
@ARTICLE{gehani91,
AUTHOR = {N. Gehani and K. Ramamritham},
TITLE = {Real-Time Concurrent C: A Language for Programming Dynamic
Real-Time Systems},
JOURNAL = {Real-Time Systems},
VOLUME = {3},
NUMBER = {4},
PAGES = {377-405},
MONTH = {Dec.},
YEAR = {1991}
}
@ARTICLE{ghosh,
AUTHOR = {S. Ghosh and R. Melhem and D. Mosse},
TITLE = {Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard
Real-Time Multiprocessor Systems},
JOURNAL = {IEEE Transactions on Parallel and Distributed Systems},
VOLUME = {8},
NUMBER = {3},
PAGES = {272-284},
MONTH = {March},
YEAR = {1997}
}
@ARTICLE{gupta96,
AUTHOR = {R. Gupta and M. Spezialetti},
TITLE = {A Compact Task Graph Representation for Real-Time Scheduling},
JOURNAL = {Real-Time Systems},
VOLUME = {11},
PAGES = {71-102},
MONTH = {July},
YEAR = {1996}
}
@INPROCEEDINGS{harrison94,
AUTHOR = {R. D. Harrison Jr.},
TITLE = {Combat System Prerequisites on Supercomputer Performance Analysis},
BOOKTITLE = { The NATO Advanced Study Institute on Real-Time Computing},
SERIES = {NATO ASI},
VOLUME = {F127},
PAGES = {512-513},
YEAR = {1994}
}
@ARTICLE{hac90,
AUTHOR = {A. Hac and T. J. Johnson},
TITLE = {Sensitivity Study of the Load Balancing Algorithm in
a Distributed System},
JOURNAL = {Journal of Parallel and Distributed Computing},
VOLUME = {10},
PAGES = {85-89},
YEAR = {1990}
}
@BOOK{halang,
AUTHOR = {W. A. Halang and A. D. Stoyenko},
TITLE = {Constructing Predictable Real-Time Systems},
PUBLISHER = {Kluwer Academic Publishers},
YEAR = {1991}
}
@ARTICLE{hanssen97,
AUTHOR = {H. Hansson and H. Lawson and O. Bridal and C. Eriksson,
S. Larsson and H. Lon and M. Stromberg},
TITLE = {BASEMENT: An Architecture and Methodology for
Distributed Automotive Real-Time Systems},
JOURNAL = {IEEE Transactions on Computers},
VOLUME = {46},
NUMBER = {9},
MONTH = {September},
PAGES = {1016-1027},
YEAR = {1997}
}
@ARTICLE{welch95,
AUTHOR = {L. R. Welch and A. D. Stoyenko and T. J. Marlowe},
TITLE = {Modeling Resource Contention among distributed Periodic Processes Specified
in CaRT-Spec},
JOURNAL = {Control Engineering Practice},
VOLUME = {3},
NUMBER = {5},
MONTH = {May},
PAGES = {651-664},
YEAR = {1995}
}
@ARTICLE{harel90,
AUTHOR = {D. Harel and H. Lachover and A. Naamad and A. Pnueli
and M. Politi and
R. Sherman and A. Shtull-Trauring and M. Trakhtenbrot},
TITLE = {STATEMATE: A Working Environment for the Development of
Complex Reactive Systems},
JOURNAL = {IEEE Transactions on Software Engineering},
VOLUME = {16},
NUMBER = {4},
PAGES = {403-414},
MONTH = {April},
YEAR = {1990}
}
@INCOLLECTION{harel85,
AUTHOR = {D. Harel and A. Pnueli},
TITLE = {On the Development of Reactive Systems},
BOOKTITLE = {Logics and Models of Concurrent Systems},
EDITOR = {K. R. Apt},
SERIES = {NATO ASI},
VOLUME = {F13},
PUBLISHER = {Springer-Verlag},
YEAR = {1985}
}
@MASTERSTHESIS{hega01,
AUTHOR = {T. Hegazy},
TITLE = {Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems},
SCHOOL = {Virginia Tech},
MONTH = {September},
YEAR = {2001},
NOTE = {\url{ http://nile.ece.vt.edu/ thesis/thesis.htm}}
}
@MASTERSTHESIS{wang-thesis02,
AUTHOR = {J. Wang},
TITLE = {Soft Real-Time Switched Ethernet: Best-Effort Packet Scheduling Algorithm, Implementation, and Feasibility Analysis},
SCHOOL = {Virginia Tech},
MONTH = {September},
YEAR = {2002},
NOTE = {\url{ http://nile.ece.vt.edu/ thesis/thesis.htm}}
}
@MISC{hiperd97,
AUTHOR = {The U.S. Naval Surface Warfare Center},
TITLE = {High Performance Distributed Computing},
ORGANIZATION = {The U.S. Naval Surface Warfare Center},
YEAR = {1997},
HOWPUBLISHED = {available at http://www.nswc.navy.mil/ hiperd/index.shtml}
}
@INPROCEEDINGS{hl98,
AUTHOR = {J.-F. Hermant and G. Le Lann},
TITLE = {A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks},
BOOKTITLE = { IEEE ICDCS},
PAGES = {360-369},
YEAR = {1998}
}
@INPROCEEDINGS{hold94,
AUTHOR = {B. Hold and P. C. P. Bhatt and V. K. Agarwal},
TITLE = {Rapid Prototyping and Synthesis of a Self-testing
ABS Controller Using CAD Tools},
BOOKTITLE = { IEEE Workshop on Real-Time
Applications},
MONTH = {July},
YEAR = {1994}
}
@INPROCEEDINGS{hou,
AUTHOR = {C-H. Hou and K. Shin},
TITLE = {Allocation of Periodic Task Modules with Precedence
and Deadline Constraints in Distributed Real-Time Systems},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1992}
}
@BOOK{howard1,
AUTHOR = {R. Howard},
TITLE = {Dynamic Probabilistic Systems, Volume I: Markov Models},
PUBLISHER = {John Wiley \& Sons, Inc.},
YEAR = {1971}
}
@BOOK{howard2,
AUTHOR = {R. Howard},
TITLE = {Dynamic Probabilistic Systems, Volume II: Semi-Markov And
Decision Processes},
PUBLISHER = {John Wiley \& Sons, Inc.},
YEAR = {1971}
}
@INPROCEEDINGS{howes95,
AUTHOR = {N. R. Howes and J. D. Wood and A. Goforth},
TITLE = {The Peer Tasking Design Method},
BOOKTITLE = { The Third Workshop on Parallel and
Distributed Real-Time Systems},
MONTH = {April},
YEAR = {1995}
}
@INPROCEEDINGS{huang97,
AUTHOR = {J. Huang and R. Jha and W. Heimerdinger and M. Muhammad
and S. Lauzac and B. Kannikeswaran and K. Schwan and
W. Zhao and R. Bettati},
TITLE = {RT-ARM: A Real-Time Adaptive Resource Management System
for Distributed Mission-Critical Applications},
BOOKTITLE = { IEEE Workshop on Middleware for
Distributed Real-Time Systems and Services},
PAGES = {179-186},
MONTH = {Dec.},
YEAR = {1997},
NOTE = {The 18th IEEE RTSS}
}
@INPROCEEDINGS{hsnl97,
AUTHOR = {D. Hull and A. Shankar and others},
TITLE = {An End-to-End QoS Model and Management Architecture},
BOOKTITLE = { IEEE Workshop on Middleware for
Distributed Real-Time Systems and Services},
PAGES = {82-89},
MONTH = {Dec.},
YEAR = {1997}
}
@INPROCEEDINGS{hbnb97,
AUTHOR = {M. Humphrey and S. Brandt and others},
TITLE = {The DQM Architecture: Middleware for Application Centered QoS Resource Management},
BOOKTITLE = { IEEE Workshop on Middleware for Distributed Real-Time Systems and Services},
PAGES = {97-104},
MONTH = {Dec.},
YEAR = {1997}
}
@BOOK{jal94,
AUTHOR = {P. Jalote},
TITLE = {Fault-Tolerance in Distributed Systems},
PUBLISHER = {Prentice Hall},
ADDRESS = {New Jersey},
YEAR = {1994}
}
@BOOK{liu00,
AUTHOR = {J. W. S. Liu},
TITLE = {Real-Time Systems},
PUBLISHER = {Prentice Hall},
ADDRESS = {New Jersey},
YEAR = {2000}
}
@PHDTHESIS{loc86,
AUTHOR = {C. D. Locke},
TITLE = {Best-Effort Decision Making for Real-Time Scheduling},
SCHOOL = {CMU},
NOTE = {CMU-CS-86-134},
YEAR = {1986}
}
@INPROCEEDINGS{lrh01,
AUTHOR = {P. Li and B. Ravindran and T. Hegazy},
TITLE = {Implementation and Evaluation of a Best-Effort Scheduling Algorithm in an Embedded Real-Time System},
BOOKTITLE = { IEEE Symp. on Performance Analysis of Systems and Software},
PAGES = {22-29},
MONTH = {Nov.},
YEAR = {2001}
}
@INPROCEEDINGS{martin78,
AUTHOR = {T. Martin},
TITLE = {Real-Time Programming Language PEARL - Concept and
Characteristics},
BOOKTITLE = { IEEE Computer Society Second
Computer Software and Applications Conf. (COMPSAC)},
PAGES = {301-306},
YEAR = {1978}
}
@BOOK{mk73a,
AUTHOR = {{Open Group Research Institute's Real-Time Group}},
DAY = {28},
YEAR = {1998},
NOTE = {Available: \url{http://www.real-time.org/docs/RelNotes7.Book.pdf}},
TITLE = {MK7.3a Release Notes},
PUBLISHER = {The Open Group Research Institute},
ADDRESS = {Cambridge, Massachusetts},
MONTH = {October}
}
@BOOK{nor87,
AUTHOR = {J. D. Northcutt},
TITLE = {Mechanisms for Reliable Distributed Real-Time Operating Systems --- The {A}lpha Kernel},
PUBLISHER = {Academic Press},
YEAR = {1987}
}
@TECHREPORT{omg0901,
AUTHOR = {OMG},
TITLE = {Real-time {CORBA} 2.0: Dynamic Scheduling Specification},
INSTITUTION = {Object Management Group},
NOTE = {OMG Final Adopted Specification, \url{http://www.omg.org/docs/ptc/01-08-34.pdf}},
MONTH = {September},
YEAR = {2001}
}
@INPROCEEDINGS{wells94,
AUTHOR = {D. Wells},
TITLE = {A Trusted, Scalable, Real-Time Operating System Environment},
BOOKTITLE = { Dual-Use Technologies and Applications Conference},
PAGES = {262-270},
YEAR = {1994}
}
@MISC{awacs,
AUTHOR = {GlobalSecurity.org},
TITLE = {E-3 Sentry {(AWACS)}},
YEAR = {},
MONTH = {},
HOWPUBLISHED = {\url{http:// www.globalsecurity.org/ military/systems/ aircraft/e-3.htm/}}
}
@MISC{ncw,
AUTHOR = {CCRP},
TITLE = {Network Centric Warfare},
YEAR = {},
MONTH = {},
HOWPUBLISHED = {\url{http:// www.dodccrp.org/ ncwPages/ncwPage.html}}
}
@INPROCEEDINGS{jlt85,
AUTHOR = {E. D. Jensen and C. D. Locke and H. Tokuda},
TITLE = {A Time-Driven Scheduling Model for Real-Time Systems},
BOOKTITLE = {IEEE Real-Time Systems Symposium},
YEAR = {1985},
PAGES = {112-122},
MONTH = {Dec.}
}
@MISC{mc2a,
AUTHOR = {GlobalSecurity.org},
TITLE = {Multi-Sensor Command and Control Aircraft},
YEAR = {},
MONTH = {},
HOWPUBLISHED = {\url{http:// www.globalsecurity.org/ military/systems/ aircraft/e-767-mc2a.htm}}
}
@PHDTHESIS{li-proposal03,
AUTHOR = {P. Li},
TITLE = {A Utility Accrual Scheduling Algorithm for Resource-Constrained Real-Time Activities},
SCHOOL = {Virginia Tech},
YEAR = {2003},
TYPE = {{Ph.D.} Dissertation Proposal},
NOTE = {\url{http://www.ee.vt.edu/ ~realtime/li-proposal03.pdf}}
}
@MISC{bm,
AUTHOR = {GlobalSecurity.org},
TITLE = {{BMC3I} Battle Management, Command, Control, Communications and Intelligence},
YEAR = {},
MONTH = {},
HOWPUBLISHED = {\url{http:// www.globalsecurity.org/ space/systems/bmc3i.htm/}}
}
@MISC{jstars,
AUTHOR = {GlobalSecurity.org},
TITLE = {E-8 Joint Surveillance Target Attack Radar System (JSTARS)},
YEAR = {},
MONTH = {},
HOWPUBLISHED = {\url{http://www.globalsecurity.org/intell/systems/jstars.htm/}}
}
@INPROCEEDINGS{jn90,
AUTHOR = {E. D. Jensen and J. D. Northcutt},
TITLE = {Alpha: A Non-Proprietary Operating System for Large, Complex,
Distributed Real-Time Systems},
BOOKTITLE = { IEEE Workshop on Experimental
Distributed Systems},
PAGES = {35-41},
YEAR = {1990}
}
@INPROCEEDINGS{jen00,
AUTHOR = {E. D. Jensen},
TITLE = {A proposed initial approach to distributed real-time {J}ava},
BOOKTITLE = {Proceedings of IEEE Symposium on Object-Oriented Real-Time Distributed Computing},
MONTH = {March},
YEAR = {2000},
PAGES = {2 - 6}
}
@INPROCEEDINGS{jw+02,
AUTHOR = {E. D. Jensen and A. Wellings and R. Clark and D. Wells},
TITLE = {The Distributed Real-Time Specification for {J}ava: A Status Report},
BOOKTITLE = {Proceedings of The Embedded Systems Conference},
YEAR = {2002}
}
@BOOK{wirth:pascal,
AUTHOR = {K. Jansen and N. Wirth},
TITLE = {Pascal: User Manual and Report},
EDITION = {2nd},
PUBLISHER = {Springer Verlag},
ADDRESS = {New York},
YEAR = {1974}
}
@ARTICLE{ishikawa92,
AUTHOR = {Y. Ishikawa and H. Tokuda and C. M. Mercer},
TITLE = {An Object-Oriented Real-Time Programming Language},
JOURNAL = {IEEE Computer},
VOLUME = {25},
NUMBER = {10},
PAGES = {66-73},
MONTH = {October},
YEAR = {1992}
}
@ARTICLE{jahanian94,
AUTHOR = {F. Jahanian, R. Rajkumar and S. Raju},
TITLE = { Run-time monitoring of timing constraints in distributed
real-time systems},
JOURNAL = {Real-Time Systems},
YEAR = {1994}
}
@ARTICLE{haban90,
AUTHOR = {D. Haban and K. G. Shin},
TITLE = {Applications of Real-Time Monitoring for Scheduling Tasks with Random Execution Times},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {16},
NUMBER = {12},
PAGES = {1374-1389},
MONTH = {Dec.},
YEAR = {1990}
}
@ARTICLE{jahanian86,
AUTHOR = {F. Jahanian and A. K.-L. Mok},
TITLE = {Safety analysis of timing properties in real-time systems},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {12},
NUMBER = {9},
PAGES = {890-904},
YEAR = {1986}
}
@INPROCEEDINGS{jeffay,
AUTHOR = {K. Jeffay and D. F. Stanat and C. U. Martel},
TITLE = {On Non-Preemptive Scheduling of Periodic and Sporadic Tasks},
BOOKTITLE = { The 12th IEEE RTSS},
MONTH = {Dec.},
YEAR = {1991}
}
@INPROCEEDINGS{jensen90,
AUTHOR = {E. D. Jensen and J. D. Northcutt},
TITLE = {Alpha: A Non-Proprietary Operating System for Large, Complex,
Distributed Real-Time Systems},
BOOKTITLE = { IEEE Workshop on Experimental
Distributed Systems},
PAGES = {35-41},
ADDRESS = {Huntsville, Alabama},
YEAR = {1990}
}
@INCOLLECTION{jensen92,
AUTHOR = {E. D. Jensen},
TITLE = {Asynchronous Decentralized Real-Time Computer Systems},
EDITOR = {W. A. Halang and A. D. Stoyenko},
BOOKTITLE = {Real-Time Computing},
SERIES = { the NATO Advanced Study Institute},
PUBLISHER = {Springer Verlag},
MONTH = {October},
YEAR = {1992}
}
@INPROCEEDINGS{jensen85,
AUTHOR = {E. D. Jensen and C. D. Locke and H. Tokuda},
TITLE = {A Time-Driven Scheduling Model for Real-Time Operating
Systems},
BOOKTITLE = { The 6th IEEE RTSS},
MONTH = {Dec.},
YEAR = {1985}
}
@INPROCEEDINGS{jones97,
AUTHOR = {M. B. Jones and D. Rosu and M-C. Rosu},
TITLE = {CPU Reservations and Time Constraints: Efficient,
Predictable Scheduling of Independent Activities},
BOOKTITLE = { The 16th ACM Symp. on
Operating Systems Principles},
MONTH = {October},
YEAR = {1997}
}
@INPROCEEDINGS{wsrk98,
AUTHOR = {L. R. Welch and others},
TITLE = {Instrumentation, Modeling and Analysis of Dynamic, Distributed Real-Time
Systems},
YEAR = {1999},
BOOKTITLE = { Journal of Parallel and Distributed
Systems and Networks},
NOTE = {Special Issue on Measurement of Program and System Performance, accepted for
publication. to appear}
}
@INPROCEEDINGS{welch-ccbc98,
AUTHOR = {L. R. Welch and others},
TITLE = {Resource Management Middleware: Open Systems and Applications},
YEAR = {1999},
BOOKTITLE = {Cluster Computing},
PUBLISHER = {Prentice Hall},
NOTE = {Book chapter, to appear}
}
@BOOK{kalashnikov94,
AUTHOR = {V. V. Kalashnikov},
TITLE = {Mathematical Methods in Queuing Theory},
SERIES = {Mathematics and Its Applications},
PUBLISHER = {Kluwer Academic Publishers},
YEAR = {1994}
}
@PHDTHESIS{kao:thesis,
AUTHOR = {B. C. Kao},
TITLE = {Scheduling in Distributed Soft Real-Time Systems With
Autonomous Components},
SCHOOL = {Princeton University},
MONTH = {Nov.},
YEAR = {1995}
}
@ARTICLE{kg97,
AUTHOR = {B. Kao and H. Garcia-Molina},
TITLE = {Deadline Assignment in a Distributed Soft Real-time System},
JOURNAL = {IEEE Trans. on Parallel and Distributed Systems},
VOLUME = {8},
NUMBER = {12},
PAGES = {1268-1274},
MONTH = {Dec.},
YEAR = {1997}
}
@ARTICLE{kaplan85,
AUTHOR = {G. Kaplan},
TITLE = {The X-29: Is it coming or going?},
JOURNAL = {IEEE Spectrum},
VOLUME = {22},
NUMBER = {6},
PAGES = {54-60},
MONTH = {June},
YEAR = {1985}
}
@BOOK{kavi92,
EDITOR = {K. M. Kavi},
TITLE = {Real-Time Systems: Abstractions, Languages, and
Design Methodologies},
PUBLISHER = {IEEE Computer Society Press},
YEAR = {1992}
}
@INPROCEEDINGS{kelton,
AUTHOR = {P. W. Kelton},
TITLE = {Distributed Computing for Astronomical Data Acquisition at
McDonald Observatory},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1984}
}
@ARTICLE{kenny91,
AUTHOR = {K. B. Kenny and K. J. Lin},
TITLE = {Building Flexible Real-Time Systems Using the Flex Language},
JOURNAL = {IEEE Computer},
PAGES = {70-78},
MONTH = {May},
YEAR = {1991}
}
@ARTICLE{kieburtz76,
AUTHOR = {R. B. Kieburtz and J. L. Hennessy},
TITLE = {TOMAL--A High-Level Programming Language for Microprocessor
Process Control Applications},
JOURNAL = {ACM SIGPLAN Notices},
PAGES = {127-134},
MONTH = {April},
YEAR = {1976}
}
@BOOK{kijima,
AUTHOR = {M. Kijima},
TITLE = {Markov Processes For Stochastic Modeling},
SERIES = {Stochastic Modeling Series},
PUBLISHER = {Chapman \& Hall},
YEAR = {1997}
}
@ARTICLE{kim,
AUTHOR = {J. Kim and K. G. Shin},
TITLE = {Execution Time Analysis of Communicating Tasks in Distributed
Systems},
JOURNAL = {IEEE Trans. on Computers},
VOLUME = {45},
NUMBER = {5},
PAGES = {572-579},
MONTH = {May},
YEAR = {1996}
}
@BOOK{kleinrock1,
AUTHOR = {L. Kleinrock},
TITLE = {Queueing Systems, Volume I: Theory},
PUBLISHER = {John Wiley \& Sons, Inc.},
YEAR = {1975}
}
@BOOK{kleinrock2,
AUTHOR = {L. Kleinrock},
TITLE = {``Queueing Systems, Volume II: Computer Applications},
PUBLISHER = {John Wiley \& Sons, Inc.},
YEAR = {1976}
}
@BOOK{kobayashi,
AUTHOR = {H. Kobayashi},
TITLE = {Modeling and Analysis: An Introduction to System Performance
Evaluation Methodology},
PUBLISHER = {Addison-Wesley},
YEAR = {1978}
}
@INPROCEEDINGS{koob96,
AUTHOR = {G. Koob},
TITLE = {Quorum},
BOOKTITLE = { The Darpa ITO General PI Meeting},
PAGES = {A-59-A-87},
MONTH = {October},
YEAR = {1996}
}
@INPROCEEDINGS{kopetz91,
AUTHOR = {H. Kopetz},
TITLE = {Event-Triggered versus Time-Triggered Real-Time Systems},
BOOKTITLE = { The Workshop on Operating
Systems of the 90s and Beyond},
EDITOR = {A. Karshmer and J. Nehmer},
NOTE = {Lecture Notes in Computer Science, Vol. 563},
PAGES = {87-101},
PUBLISHER = {Springer-Verlag},
YEAR = {1991}
}
@BOOK{kopetz97,
AUTHOR = {Hermann Kopetz},
TITLE = {Real-Time Systems, Design Principles for Distributed
Embedded Applications},
PUBLISHER = {Kluwer Academic Publishers},
YEAR = {1997}
}
@ARTICLE{kopetz89,
AUTHOR = {H. Kopetz and A. Damm and C. Koza and M. Mulazzani
and W. Schwabl and
C. Senft and R. Zainlinger},
TITLE = {Distributed Fault-Tolerant Real-Time Systems: The Mars
Approach},
JOURNAL = {IEEE Micro},
VOLUME = {9},
NUMBER = {1},
MONTH = {February},
PAGES = {25-40},
YEAR = {1989}
}
@INPROCEEDINGS{ks92,
AUTHOR = {G. Koren and D. Shasha},
TITLE = {D-Over: An Optimal On-line Scheduling Algorithm for Overloaded Real-Time Systems},
BOOKTITLE = { IEEE Real-Time Systems Symposium},
PAGES = {290-299},
MONTH = {December},
YEAR = {1992}
}
@BOOK{kovalenko,
AUTHOR = {I. N. Kovalenko and N. Yu. Kuznetsov and V. M. Shurenkov},
TITLE = {Models of Random Processes, A Handbook for Mathematicians
and Engineers},
PUBLISHER = {CRC Press},
YEAR = {1996}
}
@BOOK{krishna-shin97,
AUTHOR = {C. M. Krishna and K. G. Shin},
TITLE = {Real-Time Systems},
PUBLISHER = {McGraw-Hill},
YEAR = {1997}
}
@ARTICLE{krishna86,
AUTHOR = {C. M. Krishna and K. G. Shin},
TITLE = {Scheduling Tasks with a Quick Recovery from Failure},
JOURNAL = {IEEE Trans. on Computers},
VOLUME = {35},
NUMBER = {5},
PAGES = {448-455},
MONTH = {May},
YEAR = {1986}
}
@BOOK{kulkarni,
AUTHOR = {V. G. Kulkarni},
TITLE = {Modeling And Analysis Of Stochastic Systems},
PUBLISHER = {Chapman \& Hall},
YEAR = {1995}
}
@ARTICLE{kunz91,
AUTHOR = {T. Kunz},
TITLE = {The Influence of Different Workload Descriptions on
a Heuristic Load Balancing Scheme},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {17},
NUMBER = {7},
MONTH = {July},
YEAR = {1991}
}
@ARTICLE{kuo97,
AUTHOR = {T.-W. Kuo and A. K. Mok},
TITLE = {Incremental Reconfiguration and Load Adjustment in
Adaptive Real-Time Systems},
JOURNAL = {IEEE Trans. on Computers},
VOLUME = {46},
NUMBER = {12},
PAGES = {1313-1324},
MONTH = {Dec.},
YEAR = {1997}
}
@ARTICLE{kurose87,
AUTHOR = {J. F. Kurose and R. Chipalkatti},
TITLE = {Load Sharing in Soft Real-Time Distributed Computer Systems},
JOURNAL = {IEEE Trans. on Computers},
VOLUME = {36},
NUMBER = {8},
PAGES = {993-1000},
MONTH = {August},
YEAR = {1987},
NOTE = {Correspondence}
}
@BOOK{laplante97,
AUTHOR = {P. A. Laplante},
TITLE = {Real-Time Systems Design And Analysis, An Engineer's
Handbook},
PUBLISHER = {IEEE Computer Society Press},
EDITION = {2nd},
YEAR = {1997}
}
@ARTICLE{laplante90,
AUTHOR = {P. A. Laplante},
TITLE = {The Heisenberg Uncertainty Principle and its application
to Software Engineering},
JOURNAL = {ACM SIGSOFT Software Engineering Notes},
VOLUME = {15},
NUMBER = {5},
MONTH = {October},
YEAR = {1990}
}
@BOOK{lazowska,
AUTHOR = {E. D. Lazowska and J. Zahorjan and G. S. Graham
and K. C. Sevcik},
TITLE = {Quantitative System Performance: Computer System Analysis
Using Queueing Network Models},
PUBLISHER = {Prentice Hall},
YEAR = {1984}
}
@BOOK{lavenberg,
EDITOR = {S. S. Lavenberg},
TITLE = {Computer Performance Modeling Handbook},
NOTE = {Notes and Reports in Computer Science and Applied
Mathematics},
PUBLISHER = {Academic Press},
YEAR = {1983}
}
@INPROCEEDINGS{lee85,
AUTHOR = {I. Lee and V. Gehlot},
TITLE = {Language Constructs for Distributed Real-Time Systems},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1985}
}
@ARTICLE{ch-lee97,
AUTHOR = {C-H. Lee and K. G. Shin},
TITLE = {Optimal Task Assignment in Homogeneous Networks},
JOURNAL = {IEEE Trans. on Parallel and Distributed Systems},
VOLUME = {8},
NUMBER = {2},
PAGES = {119-129},
MONTH = {February},
YEAR = {1997}
}
@INPROCEEDINGS{lee82,
AUTHOR = {P. Lee and S. Schaaf and T. Tsai and N. Srinivasan},
TITLE = {Design and Development of a Real-Time System -- A Case Study},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1982}
}
@PHDTHESIS{lee99,
AUTHOR = {C. Lee},
TITLE = {On Quality of Service Management},
SCHOOL = {CMU},
YEAR = {1999},
MONTH = {August}
}
@INPROCEEDINGS{llrsh99,
AUTHOR = {C. Lee and J. Lehoczky and D. Siewiorek and R. Rajkumar and J. Hansen},
TITLE = {A Scalable Solution to the Multi-Resource QoS Problem},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = 1999
}
@INPROCEEDINGS{llrs99,
AUTHOR = {C. Lee and J. Lehoczky and R. Rajkumar and D. Siewiorek},
TITLE = {On Quality of Service Optimization with Discrete QoS Options},
BOOKTITLE = { IEEE RTAS},
YEAR = 1999,
PAGES = {276-286},
MONTH = {June}
}
@BOOK{yh-lee93,
EDITOR = {Y.-H. Lee and C. M. Krishna},
TITLE = {Readings in Real-Time Systems},
PUBLISHER = {IEEE Computer Society Press},
YEAR = {1993}
}
@INPROCEEDINGS{lehoczky97,
AUTHOR = {J. P. Lehoczky},
TITLE = {Real-Time Queueing Network Theory},
BOOKTITLE = { IEEE RTSS},
PAGES = {58-67},
MONTH = {Dec.},
YEAR = {1997}
}
@INPROCEEDINGS{lehoczky96,
AUTHOR = {J. P. Lehoczky},
TITLE = {Real-Time Queueing Theory},
BOOKTITLE = { IEEE RTSS},
PAGES = {186-195},
MONTH = {Dec.},
YEAR = {1996}
}
@INPROCEEDINGS{lehoczky92,
AUTHOR = {J. P. Lehoczky and S. Ramos-Thuel},
TITLE = {An Optimal Algorithm for Scheduling Soft-Aperiodic
Tasks in Fixed-Priority Preemptive Systems},
BOOKTITLE = { IEEE RTSS},
PAGES = {110-123},
YEAR = {1992}
}
@INPROCEEDINGS{lehoczky87,
AUTHOR = {J. P. Lehoczky and L. Sha and J. K. Strosnider},
TITLE = {Enhanced Aperiodic Responsiveness in Hard-Real-Time
Environments},
BOOKTITLE = { IEEE RTSS},
YEAR = {1987}
}
@ARTICLE{leung82,
AUTHOR = {J. Y.-T. Leung and J. Whitehead},
TITLE = {On the Complexity of Fixed-Priority Scheduling of Periodic
Real-Time Tasks},
JOURNAL = {Performance Evaluation},
NUMBER = {2},
PAGES = {237-250},
YEAR = {1982},
VOLUME = {2}
}
@ARTICLE{liestman86,
AUTHOR = {A. L. Liestman and R. H. Campbell},
TITLE = {A Fault-Tolerant Scheduling Problem},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {12},
NUMBER = {11},
PAGES = {1089-1095},
MONTH = {Nov.},
YEAR = {1986},
NOTE = {Concise paper}
}
@INPROCEEDINGS{lin88,
AUTHOR = {K. J. Lin and S. Natarajan},
TITLE = {Expressing and Maintaining Timing Constraints in FLEX},
BOOKTITLE = { The 9th IEEE RTSS},
PAGES = {96-105},
MONTH = {Dec.},
YEAR = {1988}
}
@ARTICLE{liu73,
AUTHOR = {C. L. Liu and J. W. Layland},
TITLE = {Scheduling Algorithms for Multiprogramming in a Hard Real-Time
Environment},
JOURNAL = {Journal of the ACM},
VOLUME = {20},
NUMBER = {1},
PAGES = {46-61},
YEAR = {1973}
}
@ARTICLE{locke92,
AUTHOR = {C. D. Locke},
TITLE = {Software Architecture for Hard Real-Time Applications:
Cyclic Executives vs. Fixed Priority Executives},
JOURNAL = {Real-Time Systems},
VOLUME = {4},
NUMBER = {1},
PAGES = {37-53},
MONTH = {March},
YEAR = {1992}
}
@INPROCEEDINGS{lynch93,
AUTHOR = {N. Lynch},
TITLE = {Simulation Techniques for Proving Properties of Real-Time
Systems},
BOOKTITLE = { The 1993 REX Summer School on Concurrency},
NOTE = {Lecture Note in Computer Science},
ADDRESS = {Mook, The Netherlands},
PUBLISHER = {Springer-Verlag},
YEAR = {1993}
}
@INPROCEEDINGS{hr02-hase,
AUTHOR = {T. Hegazy and B. Ravindran},
TITLE = {On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems},
BOOKTITLE = {IEEE International Symposium on High-Assurance Systems Engineering},
PAGES = {27-34},
YEAR = {2002}
}
@MISC{qt02,
AUTHOR = {Trolltech},
TITLE = {The Qt/Desktop Product Family},
HOWPUBLISHED = {\url{http://www.trolltech.com/products/qt/index.html}},
YEAR = {2002}
}
@INCOLLECTION{lelann98,
AUTHOR = {G. Le Lann},
TITLE = {Proof-Based System Engineering and Embedded Systems},
BOOKTITLE = {Lecture Notes in Computer Science},
EDITOR = {G. Rozenberg and F. Vaandrager},
PAGES = {208-248},
MONTH = {October},
YEAR = {1998},
VOLUME = {1494},
PUBLISHER = {Springer-Verlag}
}
@INPROCEEDINGS{cwg+93,
TITLE = {Effects of Multilevel Security on Real-Time Applications},
AUTHOR = {R. K. Clark and D. M. Wells and I. B. Greenberg and E. D. Jensen and P. K. Boucher and T. F. Lunt},
BOOKTITLE = {Proceedings of the Computer Security and Applications Conference},
YEAR = {1993}
}
@MASTERSTHESIS{chan03,
AUTHOR = {K. Channakeshava},
TITLE = {Utility Accrual Real-Time Channel Establishment in Multi-hop Networks},
SCHOOL = {ECE Dept., Virginia Tech},
YEAR = {2003},
TYPE = {Master's Thesis},
MONTH = {August},
NOTE = {\url{http://www.ee.vt.edu/~realtime/theses.html}}
}
@INPROCEEDINGS{cr04,
AUTHOR = {K. Channakeshava and B. Ravindran},
TITLE = {On Utility Accrual Real-Time Channel Establishment in Multi-hop Networks},
BOOKTITLE = {IEEE International Symposium on Object-oriented Real-time distributed Computing},
YEAR = {2004},
PAGES = {277-284},
MONTH = {May}
}
@BOOK{lynch96,
AUTHOR = {N. Lynch},
TITLE = {Distributed Algorithms},
PUBLISHER = {Morgan Kaufmann},
PAGES = {872},
ISBN = {1-55860-348-4},
YEAR = {1996}
}
@ARTICLE{flp85,
AUTHOR = {M. J. Fischer and N. A. Lynch and M. S. Paterson},
TITLE = {Impossibility of Distributed Consensus with One Faulty Process},
JOURNAL = {Journal of the ACM},
VOLUME = {32},
NUMBER = {2},
PAGES = {374-382},
MONTH = {April},
YEAR = {1985}
}
@BOOK{Ajm++95,
AUTHOR = {M. A. Marsan and G. Balbo and G. Chiola and
S. Donatelli and G.
Franceschinis},
TITLE = {Modeling with Generalized Stochastic Petri Nets},
PUBLISHER = {John Wiley \& Sons},
YEAR = {1995}
}
@INPROCEEDINGS{masters95,
AUTHOR = {M. W. Masters},
TITLE = {Real-Time Computing Cornerstones: A System Engineer's View},
BOOKTITLE = { The Workshop on Parallel and Distributed Real-Time Systems},
YEAR = {1995}
}
@ARTICLE{mills95,
AUTHOR = {D. L. Mills},
TITLE = {Improved Algorithms for Synchronizing Computer Network Clocks},
JOURNAL = {IEEE/ACM Trans. on Networking},
VOLUME = {3},
NUMMBER = {3},
PAGES = {245-254},
MONTH = {June},
YEAR = {1995}
}
@BOOK{posix,
AUTHOR = {IEEE and OpenGroup},
TITLE = {The Open Group Base Specifications Issue 6},
YEAR = {2001},
\URL = {http://www.opengroup.org/onlinepubs/007904975/nframe.html}
}
@ARTICLE{mirch,
AUTHOR = {R. Mirchandaney and D. Towsley and J. A. Stankovic},
TITLE = {Analysis of the effect of delays on load sharing},
JOURNAL = {IEEE Trans. on Computers},
VOLUME = {38},
PAGES = {1513-1525},
MONTH = {Nov.},
YEAR = {1989}
}
@ARTICLE{mehra97,
AUTHOR = {A. Mehra and A. Indiresan and K. G. Shin},
TITLE = {Structuring Communication Software for Quality of Service},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {23},
PAGES = {616-634},
NUMBER = {10},
YEAR = {1997}
}
@PHDTHESIS{mok:thesis,
AUTHOR = {A. K. Mok},
TITLE = {Fundamental Design Problems of Distributed Systems for the
Hard-Real-Time Environment},
SCHOOL = {M.I.T},
ADDRESS = {Cambridge, Massachusetts 02139},
YEAR = {1983}
}
@MISC{mshn97,
AUTHOR = {Debra Hensgen},
TITLE = {MSHN: Management System for Heterogeneous Networks},
ORGANIZATION = {Naval Postgraduate School},
YEAR = {1997},
HOWPUBLISHED = {available at http://www.ito.darpa.mil/research/quorum/projlist.html}
}
@INCOLLECTION{mt87,
AUTHOR = {S. Martello and P. Toth},
TITLE = {Algorithms for Knapsack Problems},
EDITOR = {G. Laporte and M. Minoux and C. Ribeiro},
BOOKTITLE = {Surveys in Combinatorial Optimization},
SERIES = {Annuals of Discrete Mathematics},
PUBLISHER = {North-Holland},
PAGES = {213-258},
VOLUME = {31},
YEAR = {1987}
}
@ARTICLE{rl03-dpr-lpr,
AUTHOR = {B. Ravindran and P. Li},
TITLE = {DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems},
JOURNAL = {IEEE Trans. on Computers},
VOLUME = {53},
NUMBER = {2},
MONTH = {February},
YEAR = {2004}
}
@BOOK{mullender,
EDITOR = {S. Mullender},
TITLE = {Distributed Systems},
PUBLISHER = {Addison-Wesley},
YEAR = {1994}
}
@ARTICLE{montz95,
AUTHOR = {A. B. Montz and D. Mosberger and S. W. O'Malley and L. L. Peterson and T. A. Proebsting},
TITLE = {Scout: A Communications-Oriented Operating System},
JOURNAL = { the Fifth Workshop on Hot Topics in Operating System},
MONTH = {May},
YEAR = {1995}
}
@ARTICLE{mutka95,
AUTHOR = {M. W. Mutka and J. P. Li},
TITLE = {A Tool for Allocating Periodic Real-Time Tasks to a Set of
Processors},
JOURNAL = {Journal of Systems and Software},
VOLUME = {29},
PAGES = {135-148},
YEAR = {1995}
}
@ARTICLE{nahrstedt95,
AUTHOR = {K. Nahrstedt},
TITLE = {End-to-End QoS Guarantees in Networked Multimedia Systems},
JOURNAL = {ACM Computing Surveys},
VOLUME = {27},
NUMBER = {4},
PAGES = {613-616},
MONTH = {Dec.},
YEAR = {1995}
}
@BOOK{nelson-stoch95,
AUTHOR = {B. L. Nelson},
TITLE = {Stochastic Modeling, Analysis and Simulation},
PUBLISHER = {McGraw-Hill, Inc.},
YEAR = {1995}
}
@ARTICLE{nelson81,
AUTHOR = {V. P. Nelson and H. L. Fellows, Jr.},
TITLE = {A Microcomputer-based Controller for an Amusement Park Ride},
JOURNAL = {IEEE Micro},
VOLUME = {1},
NUMBER = {3},
PAGES = {13-22},
MONTH = {August},
YEAR = {1981}
}
@BOOK{neuts,
AUTHOR = {M. F. Neuts},
TITLE = {Structured Stochastic Matrices of M/G/1 Type And Their
Applications},
SERIES = {Probability: Pure And Applied},
PUBLISHER = {Marcel Dekker, Inc.},
YEAR = {1989}
}
@ARTICLE{nielsen,
AUTHOR = {K. W. Nielsen and K. Shumate},
TITLE = {Designing Large Real-Time Systems with ADA},
JOURNAL = {Communications of the ACM},
VOLUME = {30},
NUMBER = {8},
PAGES = {695-715},
MONTH = {August},
YEAR = {1987}
}
@INPROCEEDINGS{nirkhe90,
AUTHOR = {V. M. Nirkhe and S. K. Tripathi and A. K. Agrawala},
TITLE = {Language Support for the Maruti Real-Time System},
BOOKTITLE = { The 11th IEEE RTSS},
PAGES = {257-266},
YEAR = {1990}
}
@ARTICLE{perry97,
AUTHOR = {T. S. Perry},
TITLE = {In Search of the Future Air Traffic Control},
JOURNAL = {IEEE Spectrum},
VOLUME = {34},
NUMBER = {8},
PAGES = {18-35},
MONTH = {August},
YEAR = {1997}
}
@BOOK{pressman97,
AUTHOR = {R. S. Pressman},
TITLE = {Software Engineering: A Practitioner's Approach},
PUBLISHER = {McGraw-Hill},
YEAR = {1997}
}
@BOOK{prigogine89,
AUTHOR = {I. Prigogine},
TITLE = {Exploring Complexity},
PUBLISHER = {W. H. Freeman \& Co.},
YEAR = {1989}
}
@ARTICLE{xu90,
AUTHOR = {J. Xu and D. L. Parnas},
TITLE = {Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {16},
NUMBER = {3},
PAGES = {360-369},
MONTH = {March},
YEAR = {1990}
}
@ARTICLE{sw+00,
AUTHOR = {B. Shirazi and L. R. Welch and B. Ravindran and C. Cavanaugh and E. Huh},
TITLE = {DynBench: A Benchmark Suite for Dynamic Real-Time Systems},
JOURNAL = {Parallel and Distributed Computing Practices},
VOLUME = {3},
NUMBER = {1},
PAGES = {89-107},
MONTH = {March},
YEAR = {2000}
}
@MISC{quorum,
KEY = {quorum},
TITLE = {Quorum},
ORGANIZATION = {DARPA ITO},
MONTH = {August},
YEAR = {1997},
HOWPUBLISHED = {\url{http://www.ito.darpa.mil/research/quorum/projlist.html}}
}
@INPROCEEDINGS{rlls97,
AUTHOR = {R. Rajkumar and C. Lee and J. Lehoczky and D. Siewiorek},
TITLE = {A Resource Allocation Model for QoS Management},
BOOKTITLE = { IEEE RTSS},
PAGES = {298-307},
YEAR = {1997}
}
@INPROCEEDINGS{rlls98,
AUTHOR = {R. Rajkumar and C. Lee and J. Lehoczky and D. Siewiorek},
TITLE = {Practical Solutions for QoS-based Resource Allocation Problems},
BOOKTITLE = { IEEE RTSS},
PAGES = {296-306},
MONTH = {Dec.},
YEAR = {1998}
}
@ARTICLE{ramam84,
AUTHOR = {K. Ramamritham and J. A. Stankovic},
TITLE = {Dynamic Task Scheduling in Hard Real-Time Distributed Systems},
JOURNAL = {IEEE Software},
VOLUME = {1},
NUMBER = {3},
PAGES = {65-75},
MONTH = {July},
YEAR = {1984}
}
@ARTICLE{ramam89,
AUTHOR = {K. Ramamritham and J. A. Stankovic and W. Zhao},
TITLE = {Distributed Scheduling of Tasks with Deadlines and Resource
Requirements},
JOURNAL = {IEEE Trans. on Computers},
VOLUME = {38},
NUMBER = {8},
PAGES = {1110-1123},
MONTH = {August},
YEAR = {1989}
}
@INPROCEEDINGS{ramos-thuel93,
AUTHOR = {S. Ramos-Thuel and J. P. Lehoczky},
TITLE = {On-Line Scheduling of Hard Deadline Aperiodic Tasks in
Fixed-Priority Systems},
BOOKTITLE = { IEEE RTSS},
PAGES = {160-171},
YEAR = {1993}
}
@TECHREPORT{ravindran97,
AUTHOR = {B. Ravindran and L. R. Welch},
TITLE = {A Taxonomy of Real-Time Systems},
INSTITUTION = {The University of Texas at Arlington},
MONTH = {April},
YEAR = {1997},
NUMBER = {TR-CSE-97-002}
}
@TECHREPORT{ravindran98-tr,
AUTHOR = {B. Ravindran and L. R. Welch and B. Shirazi},
TITLE = {A Resource Management Middleware for Dynamic, Dependable
Real-Time Systems},
INSTITUTION = {The University of Texas at Arlington},
MONTH = {August},
YEAR = {1998}
}
@PHDTHESIS{ravindran:thesis,
AUTHOR = {B. Ravindran},
TITLE = {Modeling and Analysis of Complex, Dynamic Real-Time Systems},
SCHOOL = {The University of Texas at Arlington},
MONTH = {August},
YEAR = {1998}
}
@ARTICLE{rws01,
AUTHOR = {B. Ravindran and L. R. Welch and B. Shirazi},
TITLE = {Resource Management Middleware for Dynamic, Dependable Real-time Systems},
JOURNAL = {Journal of Real-Time Systems},
VOLUME = {20},
NUMBER = {2},
PAGES = {183-196},
MONTH = {March},
YEAR = {2001}
}
@ARTICLE{rav02,
AUTHOR = {B. Ravindran},
TITLE = {Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {28},
NUMBER = {1},
YEAR = {2002},
MONTH = {January},
PAGES = {30-57}
}
@BOOK{rtss97,
KEY = {RTSS97},
TITLE = { IEEE RTSS},
PUBLISHER = {IEEE CS Press},
MONTH = {Dec.},
YEAR = {1997}
}
@BOOK{rtss80,
KEY = {RTSS80},
TITLE = { IEEE RTSS},
PUBLISHER = {IEEE CS Press},
MONTH = {Dec.},
YEAR = {1980}
}
@ARTICLE{ripoll97,
AUTHOR = {I. Ripoll and A. Crespo and A. G. Fornes},
TITLE = {An Optimal Algorithm for Scheduling Soft Aperiodic Tasks
in Dynamic Priority Preemptive Systems},
JOURNAL = {IEEE Transactions on Software Engineering},
VOLUME = {23},
NUMBER = {6},
PAGES = {388-400},
MONTH = {June},
YEAR = {1997}
}
@INPROCEEDINGS{rsyj97,
AUTHOR = {D. Rosu and K. Schwan and S. Yalamanchili and R. Jha},
TITLE = {On Adaptive Resource Allocation for Complex Real-Time
Applications},
BOOKTITLE = { IEEE Real-Time Systems Symposium},
PAGES = {320-329},
MONTH = {December},
YEAR = {1997}
}
@INPROCEEDINGS{rs99,
AUTHOR = {D. Rosu and K. Schwan},
TITLE = {FARACost: An Adaptation Cost Model
Aware of Pending Constraints},
BOOKTITLE = { the Twentieth IEEE RTSS},
PAGES = {224-233},
MONTH = {Dec.},
YEAR = {1999}
}
@INPROCEEDINGS{rsy98,
AUTHOR = {D. Rosu and K. Schwan and S. Yalamanchili},
TITLE = {FARA -- A Framework for Adaptive Resource Allocation in Complex Real-Time Systems},
BOOKTITLE = { IEEE RTAS},
PAGES = {79-84},
MONTH = {June},
YEAR = {1998}
}
@TECHREPORT{rosu97a,
AUTHOR = {D. Rosu and K. Schwan and S. Yalamanchili and R. Jha},
TITLE = {On Adaptive Resource Allocation for Complex Real-Time
Applications},
INSTITUTION = {Georgia Institute of Technology},
YEAR = {1997},
NUMBER = {GIT-CC-97-26}
}
@BOOK{sauer,
AUTHOR = {C. H. Sauer and K. M. Chandy},
TITLE = {Computer Systems Performance Modeling},
PUBLISHER = {Prentice Hall},
YEAR = {1981}
}
@BOOK{selic94,
AUTHOR = {B. Selic and G. Gullekson and P. T. Ward},
TITLE = {Real-Time Object-Oriented Modeling},
PUBLISHER = {John Wiley \& Sons, Inc.},
YEAR = {1994}
}
@ARTICLE{schwan92,
AUTHOR = {K. Schwan and H. Zhou},
TITLE = {Dynamic Scheduling of Hard Real-Time Tasks and
Real-Time Threads},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {18},
NUMBER = {8},
PAGES = {736-748},
YEAR = {1992}
}
@ARTICLE{shaw89,
AUTHOR = {A. Shaw},
TITLE = {Reasoning about Time in Higher-Level Language Software},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {15},
NUMBER = {7},
PAGES = {875-889},
MONTH = {July},
YEAR = {1989}
}
@ARTICLE{harts,
AUTHOR = {K. G. Shin},
TITLE = {HARTS: A distributed real-time architecture},
JOURNAL = {IEEE Computer},
VOLUME = {24},
NUMBER = {5},
PAGES = {25-35},
MONTH = {May},
YEAR = {1991}
}
@ARTICLE{shin93,
AUTHOR = {K. G. Shin and C-J. Hou},
TITLE = {Analytic Models of Adaptive Load Sharing Schemes in Distributed
Real-Time Systems},
JOURNAL = {IEEE Trans. on Parallel and Distributed Systems},
VOLUME = {4},
NUMBER = {7},
PAGES = {740-761},
MONTH = {July},
YEAR = {1993}
}
@ARTICLE{shin94,
AUTHOR = {K. G. Shin and C.-J. Hou},
TITLE = {Design and Evaluation of Effective Load Sharing in Distributed
Real-Time Systems},
JOURNAL = {IEEE Trans. on Parallel and Distributed Systems},
VOLUME = {5},
NUMBER = {7},
PAGES = {704-719},
MONTH = {July},
YEAR = {1994}
}
@MASTERSTHESIS{shirolkar97,
AUTHOR = {P. A. Shirolkar},
TITLE = {Multi-Objective Dynamic Resource Allocation and Management},
SCHOOL = {The University of Texas at Arlington},
MONTH = {Dec.},
YEAR = {1997}
}
@INPROCEEDINGS{sommer96,
AUTHOR = {S. Sommer and J. Potter},
TITLE = {Operating System Extensions for Dynamic Real-Time
Applications},
BOOKTITLE = { IEEE RTSS},
PAGES = {45-50},
MONTH = {Dec.},
YEAR = {1996}
}
@INPROCEEDINGS{rjl05,
TITLE = {On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management},
AUTHOR = {B. Ravindran and E. D. Jensen and P. Li},
BOOKTITLE = {IEEE ISORC},
MONTH = {May},
YEAR = {2005},
PAGES = {55 - 60}
}
@BOOK{son95,
EDITOR = {S. H. Son},
TITLE = {Advances in Real-time Systems},
PUBLISHER = {Prentice Hall},
YEAR = {1995}
}
@INPROCEEDINGS{sprunt88,
AUTHOR = {B. Sprunt and J. Lehoczky and L. Sha},
TITLE = {Exploiting Unused Periodic Time for Aperiodic Service Using
The Extended Priority Exchange Algorithm},
BOOKTITLE = { IEEE RTSS},
PAGES = {251-258},
YEAR = {1988}
}
@ARTICLE{sprunt89,
AUTHOR = {B. Sprunt and L. Sha and J. Lehoczky},
TITLE = {Aperiodic Task Scheduling in Hard-Real-Time Systems},
JOURNAL = {Real-Time Systems},
VOLUME = {1},
NUMBER = {1},
PAGES = {27-60},
YEAR = {1989}
}
@ARTICLE{spuri96,
AUTHOR = {M. Spuri and G. Buttazzo},
TITLE = {Scheduling Aperiodic Tasks in Dynamic Priority Systems},
JOURNAL = {Real-Time Systems},
MONTH = {March},
VOLUME = {10},
PAGES = {179-210},
YEAR = {1996}
}
@ARTICLE{stankovic96a,
AUTHOR = {J. A. Stankovic},
TITLE = {Real-Time and Embedded Systems},
JOURNAL = {ACM Computing Surveys},
VOLUME = {28},
NUMBER = {1},
PAGES = {205-208},
MONTH = {March},
YEAR = {1996}
}
@ARTICLE{stankovic96b,
AUTHOR = {J. A. Stankovic and others},
TITLE = {Strategic Directions in Real-Time and Embedded Systems},
JOURNAL = {ACM Computing Surveys},
VOLUME = {28},
NUMBER = {4},
PAGES = {751-763},
MONTH = {Dec.},
YEAR = {1996}
}
@BOOK{ssrb98,
AUTHOR = {J. A. Stankovic and M. Spuri and K. Ramamritham and G. C. Buttazzo},
TITLE = {Deadline Scheduling for Real-Time Systems},
PUBLISHER = {Kluwer Academic Publishers},
YEAR = {1998}
}
@BOOK{stankovic93,
EDITOR = {J. A. Stankovic and K. Ramamritham},
TITLE = {Advances in Real-Time Systems},
PUBLISHER = {IEEE Computer Society Press},
YEAR = {1993}
}
@INCOLLECTION{spring95,
AUTHOR = {J. A. Stankovic and K. Ramamritham},
TITLE = {A Reflective Architecture for Real-Time Operating Systems},
EDITOR = {S. H. Son},
BOOKTITLE = {Advances in Real-Time Systems},
PAGES = {23-38},
PUBLISHER = {Prentice Hall},
YEAR = {1995}
}
@INCOLLECTION{sha91,
AUTHOR = {L. Sha and M. H. Klein and J. B. Goodenough},
TITLE = {Rate Montonic Analysis for Real-Time Systems},
EDITOR = {A. M. van Tilborg and G. M. Koob},
BOOKTITLE = {Scheduling and Resource Management},
PUBLISHER = {Kluwer Academic Publishers},
PAGES = {129-156},
YEAR = {1991}
}
@INPROCEEDINGS{svensson90,
AUTHOR = {A. Svensson},
TITLE = {History, An Intelligent Load Sharing Filter},
BOOKTITLE = { The 11th IEEE Conf.
on Distributed Computing Systems},
PAGES = {546-553},
YEAR = {1990}
}
@BOOK{ss94,
AUTHOR = {Mukesh Singhal and Niranjan G. Shivaratri},
TITLE = {Advanced concepts in operating systems},
PUBLISHER = {McGraw-Hill Inc.},
YEAR = {1994}
}
@BOOK{tutorial88,
EDITOR = {J. A. Stankovic and K. Ramamritham},
TITLE = {Tutorial on Hard Real-Time Systems},
PUBLISHER = {IEEE Computer Society Press},
YEAR = {1988}
}
@ARTICLE{spring,
AUTHOR = {J. A. Stankovic and K. Ramamritham},
TITLE = {The Spring Kernel: A New Paradigm for Real-Time Systems},
JOURNAL = {IEEE Software},
VOLUME = {8},
NUMBER = {3},
PAGES = {62-72},
MONTH = {May},
YEAR = {1991}
}
@ARTICLE{stank85,
AUTHOR = {J. A. Stankovic and K. Ramamritham and S. Cheng},
TITLE = {Evaluation of a Flexible Task Scheduling Algorithm for
Distributed Hard Real-Time Systems},
JOURNAL = {IEEE Trans. on Computers},
VOLUME = {C-34},
NUMBER = {12},
PAGES = {1130-1141},
MONTH = {Dec.},
YEAR = {1985}
}
@ARTICLE{stok94,
AUTHOR = {P. D. V. v.d. Stok and F. v.d. Berk and R. Deckers and
Y. v.d. Vijver and J. I. Botman and C. J. Timmermans},
TITLE = {Object-Oriented Design for Accelerator Control},
JOURNAL = {IEEE Trans. on Nuclear Science},
VOLUME = {41},
NUMBER = {1},
PAGES = {200-208},
MONTH = {February},
YEAR = {1994},
NOTE = {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}
}
@INPROCEEDINGS{stoyenko87,
AUTHOR = {A. D. Stoyenko},
TITLE = {A Schedulability Analyzer For Real-Time Euclid},
BOOKTITLE = { The 8th IEEE RTSS},
PAGES = {218-227},
MONTH = {Dec.},
YEAR = {1987}
}
@ARTICLE{stoyenko92,
AUTHOR = {A. D. Stoyenko},
TITLE = {The Evolution and State-of-the-Art of Real-Time Languages},
JOURNAL = {The Journal of Systems and Software},
VOLUME = {18},
NUMBER = {1},
PAGES = {61-84},
MONTH = {April},
YEAR = {1992}
}
@ARTICLE{stoyenko91,
AUTHOR = {A. D. Stoyenko and C. Hamacher},
TITLE = {Analyzing Hard Real-Time Programs for Guaranteed
Schedulability},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {17},
NUMBER = {8},
PAGES = {737-749},
MONTH = {August},
YEAR = {1991}
}
@ARTICLE{kligerman86,
AUTHOR = {E. Kligerman and A. D. Stoyenko},
TITLE = {Real-Time Euclid: A Language for Reliable Real-Time Systems},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {12},
NUMBER = {9},
MONTH = {September},
PAGES = {941-949},
YEAR = {1986}
}
@BOOK{stuck,
AUTHOR = {B. W. Stuck and E. Arthurs},
TITLE = {A Computer \& Communications Network Performance Analysis
Primer},
PUBLISHER = {Prentice Hall},
YEAR = {1985}
}
@BOOK{sudkamp,
AUTHOR = {T. A. Sudkamp},
TITLE = {Languages and Machines},
PUBLISHER = {Addison-Wesley},
MONTH = {January},
YEAR = {1991}
}
@INPROCEEDINGS{sun96,
AUTHOR = {J. Sun and J. W. S. Liu},
TITLE = {Bounding Completion Times of Jobs with Arbitrary Release Times
and Variable Execution Times},
BOOKTITLE = { IEEE RTSS},
YEAR = {1996}
}
@INPROCEEDINGS{tia95,
AUTHOR = {T. S. Tia and Z. Deng and others},
TITLE = {Probabilistic Performance Guarantee for Real-Time Tasks with Varying Computation Times},
BOOKTITLE = { IEEE RTAS},
PAGES = {164-173},
YEAR = {1995}
}
@ARTICLE{liu91,
AUTHOR = {J. W. S. Liu and K. J. Lin and others},
TITLE = {Algorithms for Scheduling Imprecise Computations},
JOURNAL = {IEEE Computer},
VOLUME = {24},
NUMBER = {5},
PAGES = {129-139},
MONTH = {May},
YEAR = {1991}
}
@MISC{qnx62,
AUTHOR = {QNX Software Systems Ltd.},
TITLE = {QNX Neutrino OS -- Version 6.2.0},
\URL = {http://www.qnx.com/developer/docs/momentics_nc_docs/neutrino/index.html},
YEAR = {2002}
}
@ARTICLE{stewart97,
AUTHOR = {D. B. Stewart and P. K. Khosla},
TITLE = {Mechanisms for Detecting and Handling Timing Errors},
JOURNAL = {Communications of the ACM},
VOLUME = {40},
NUMBER = {1},
PAGES = {87-93},
MONTH = {January},
YEAR = {1997}
}
@ARTICLE{tia96,
AUTHOR = {T-S. Tia and J. W.-S. Liu and M. Shankar},
TITLE = {Algorithms and Optimality of Scheduling Soft Aperiodic Requests
in Fixed-Priority Preemptive Systems},
JOURNAL = {Real-Time Systems},
MONTH = {January},
VOLUME = {10},
PAGES = {23-43},
YEAR = {1996}
}
@BOOK{tilborg,
EDITOR = {A. M. Tilborg and G. M. Koob},
TITLE = {Foundations of Real-Time Computing: Scheduling and Resource
Management},
PUBLISHER = {Kluwer Academic Publishers},
YEAR = {1991}
}
@ARTICLE{tocsi02,
AUTHOR = {E. D. Jensen and B. Ravindran},
TITLE = {Guest Editor's Introduction to Special Section on Asynchronous Real-Time Distributed Systems},
JOURNAL = {IEEE Trans. on Computers, IEEE Computer Society},
YEAR = {2002},
MONTH = {August},
VOLUME = {51},
NUMBER = {8},
PAGES = {881-882}
}
@INPROCEEDINGS{tsuchiya,
AUTHOR = {T. Tsuchiya and Y. Kakuda and T. Kikuno},
TITLE = {Fault-Tolerant Scheduling Algorithm for Distributed
Real-Time Systems},
BOOKTITLE = {The Third Workshop on Parallel and Distributed
Real-Time Systems},
MONTH = {April},
YEAR = {1995}
}
@INPROCEEDINGS{wr02-icpp,
AUTHOR = {J. Wang and B. Ravindran},
TITLE = {BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks},
BOOKTITLE = { IEEE ICPP},
MONTH = {August},
YEAR = {2002},
PAGES = {519-526}
}
@ARTICLE{hl02,
AUTHOR = {J.-F. Hermant and G. Le Lann},
TITLE = {Fast asynchronous uniform consensus in real-time distributed systems},
BOOKTITLE = {IEEE Trans. on Computers},
VOLUME = {51},
NUMBER = {8},
MONTH = {August},
YEAR = {2002},
PAGES = {931 - 944}
}
@ARTICLE{wr03-tpds,
AUTHOR = {J. Wang and B. Ravindran},
TITLE = {Time-Utility Function-Driven Switched Ethernet: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis},
JOURNAL = {IEEE Trans. on Parallel and Distributed Systems},
PAGES = {119-133},
VOLUME = {15},
NUMBER = {2},
MONTH = {February},
YEAR = {2004}
}
@ARTICLE{hor74,
AUTHOR = {W. Horn},
TITLE = {Some simple scheduling algorithms},
JOURNAL = {Naval Research Logistics Quaterly},
VOLUME = {21},
PAGES = {177-185},
YEAR = {1974}
}
@PHDTHESIS{verhoosel:thesis,
AUTHOR = {J. P. C. Verhoosel},
TITLE = {Pre-Run-Time Scheduling of Distributed Real-Time Systems:
Models and Algorithms},
SCHOOL = {Eindhoven University of Technology},
ADDRESS = {The Netherlands},
MONTH = {January},
YEAR = {1995}
}
@ARTICLE{waldspurger92,
AUTHOR = {C. A. Waldspurger and T. Hogg and B. A. Huberman and
J. O. Kephart and W. S. Stornetta},
TITLE = {Spawn: A Distributed Computational Economy},
JOURNAL = {IEEE Trans. on Software Engineering},
VOLUME = {18},
NUMBER = {2},
PAGES = {103-117},
MONTH = {February},
YEAR = {1992}
}
@ARTICLE{verhoosel96,
AUTHOR = {J. Verhoosel and L. R. Welch and D. Hammer and E. J. Luit},
TITLE = {Incorporating Temporal Considerations During Assignment and Pre-run-time Scheduling of Objects and Processes},
JOURNAL = {Journal of Parallel and Distributed Computing},
VOLUME = {36},
NUMBER = {1},
PAGES = {13-31},
MONTH = {July},
YEAR = {1996}
}
@TECHREPORT{wang89,
AUTHOR = {K. Wang},
TITLE = {Real-Time Scheduling Theory and It's Application to Sensor
Schedulers},
NOTE = {IR\&D First Quarterly Report},
INSTITUTION = {Radar System Group, Hughes Aircraft Co.},
MONTH = {March},
YEAR = {1989}
}
@INPROCEEDINGS{wang94,
AUTHOR = {K. Wang and T-H. Lin},
TITLE = {Scheduling Adaptive Tasks in Real-Time Systems},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1994}
}
@TECHREPORT{welch-tr98,
AUTHOR = {L. R. Welch and others},
TITLE = {DynBench: A Dynamic Real-Time Benchmark Suite and Environment},
INSTITUTION = {CSE Dept., The University of Texas at Arlington},
MONTH = {August},
YEAR = {1998}
}
@INPROCEEDINGS{welch97,
AUTHOR = {L. R. Welch},
TITLE = {Large-Grain, Dynamic Control System Architectures},
BOOKTITLE = { The Workshop on Parallel and
Distributed Real-Time Systems},
MONTH = {April},
YEAR = {1997}
}
@INPROCEEDINGS{lrwk03,
AUTHOR = {P. Li and B. Ravindran and others},
TITLE = {Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation},
BOOKTITLE = { IEEE International Symposium on Object-oriented Real-time distributed Computing},
MONTH = {May},
PAGES = {292-299},
YEAR = {2003}
}
@ARTICLE{hr02,
AUTHOR = {T. Hegazy and B. Ravindran},
TITLE = {Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed System},
JOURNAL = {IEEE Trans. on Computers},
YEAR = {2002},
MONTH = {August},
VOLUME = {51},
NUMBER = {8},
PAGES = {945-962}
}
@INPROCEEDINGS{lr02-ben,
AUTHOR = {P. Li and B. Ravindran},
TITLE = {Proactive QoS Negotiation in Asynchronous Real-Time Distributed Systems},
BOOKTITLE = { 15th ISCA Conf. on Parallel and Distributed Computing Systems},
MONTH = {September},
YEAR = {2002},
PAGES = {237-242}
}
@INPROCEEDINGS{lr02-bea,
AUTHOR = {P. Li and B. Ravindran},
TITLE = {Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems},
BOOKTITLE = {IEEE International Symposium on High-Assurance Systems Engineering},
MONTH = {October},
YEAR = {2002},
PAGES = {19-26}
}
@INPROCEEDINGS{sbl+97,
AUTHOR = {D. Schmidt and R. Bector and D. Levine and others},
TITLE = {TAO: A middleware framework for real-time ORB endsystems},
BOOKTITLE = { IEEE Workshop on Middleware for Distributed Real-Time Systems and Services},
MONTH = {Dec.},
YEAR = {1997},
PUBLISHER = {IEEE Computer Society},
PAGES = {???},
NOTE = {The 18th IEEE RTSS}
}
@INPROCEEDINGS{gll+97,
AUTHOR = {G. Cooper and L. C. DiPippo and L. Esibov and others},
TITLE = {Real-Time {CORBA} development at MITRE, NRaD, Tri-Pacific and URI},
BOOKTITLE = { IEEE Workshop on Middleware for Distributed Real-Time Systems and Services},
MONTH = {Dec.},
YEAR = {1997},
PUBLISHER = {IEEE Computer Society},
PAGES = {???},
NOTE = {The 18th IEEE RTSS}
}
@INPROCEEDINGS{adf+97,
AUTHOR = {T. Abdelzaher and S. Dawson and W.-C Feng and others},
TITLE = {ARMADA middleware suite},
BOOKTITLE = { IEEE Workshop on Middleware for Distributed Real-Time Systems and Services},
MONTH = {Dec.},
YEAR = {1997},
PUBLISHER = {IEEE Computer Society},
PAGES = {11-18},
NOTE = {The 18th IEEE RTSS}
}
@BOOK{wmdrtss97,
AUTHOR = {R. Bettati (Program Chair)},
TITLE = { IEEE Workshop on Middleware for Distributed Real-Time Systems and Services},
MONTH = {Dec.},
YEAR = {1997},
PUBLISHER = {IEEE Computer Society},
NOTE = {The 18th IEEE RTSS}
}
@INPROCEEDINGS{wrsb98,
AUTHOR = {L. R. Welch and B. Ravindran and B. Shirazi and C. Bruggeman},
TITLE = {Specification and Modeling of Dynamic, Distributed Real-Time Systems},
BOOKTITLE = { IEEE Real-Time Systems Symposium},
PAGES = {72-81},
MONTH = {December},
YEAR = {1998}
}
@INPROCEEDINGS{welch-ipps99,
AUTHOR = {L. R. Welch and others},
TITLE = {Distributed, Scalable, Dependable Real-Time Systems:
Middleware Services and Applications},
BOOKTITLE = { The 13th Parallel Processing Symp. \& 10th Symp. on Parallel and Distributed Processing},
NOTES = {To Appear},
MONTH = {April},
YEAR = {1999}
}
@INPROCEEDINGS{ws99,
AUTHOR = {L. R. Welch and B. A. Shirazi},
TITLE = {A dynamic real-time benchmark for assessment of QoS and resource management technology},
BOOKTITLE = { The Fifth IEEE RTAS},
MONTH = {June},
YEAR = {1999}
}
@INPROCEEDINGS{welch-dccs98,
AUTHOR = {L. R. Welch and B. A. Shirazi and others},
TITLE = {DeSiDeRaTa: QoS Management Tools for Dynamic, Scalable, Dependable, Real-Time Systems},
BOOKTITLE = { The 15th IFAC Workshop on Distributed Computer Control Systems},
MONTH = {September},
YEAR = {1998}
}
@INPROCEEDINGS{welch-rtas99,
AUTHOR = {L. R. Welch and P. V. Werme and others},
TITLE = {Adaptive QoS and Resource Management using A Posteriori Workload Characterizations},
BOOKTITLE = { The RTAS},
YEAR = {1999}
}
@TECHREPORT{welch97-tr,
AUTHOR = {L. R. Welch and P. A. Shirolkar and S. M. Anwar and
B. Ravindran and T. Sergeant and B. A. Shirazi},
TITLE = {Adaptive Resource Management for Scalable, Dependable
Real-time Systems: Middleware Services and Applications to
Shipboard Computing Systems},
INSTITUTION = { The University of Texas at Arlington},
MONTH = {Dec.},
NUMBER = {TR-CSE-97-009},
YEAR = {1997}
}
@MISC{desiderata97,
AUTHOR = {L. R. Welch},
TITLE = {DeSiDeRaTa: Distributed Scalable Dependable Real-Time
System, QoS Management Tools},
ORGANIZATION = {The University of Texas at Arlington},
MONTH = {August},
YEAR = {1997},
HOWPUBLISHED = {available at http://www.ito.darpa.mil/research/quorum/projlist.html}
}
@INPROCEEDINGS{welch-rtss96,
AUTHOR = {L. R. Welch and others},
TITLE = {Challenges in Engineering Distributed Shipboard
Control Systems},
BOOKTITLE = { The Work-In-Progress Session},
NOTE = {The 17th IEEE RTSS},
MONTH = {Dec.},
YEAR = {1996}
}
@INPROCEEDINGS{wilkinson,
AUTHOR = {N. A. Wilkinson and M. S. Atkins and J. G. Rogers},
TITLE = {A Real-Time Parallel Processing Data Acquisition System},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1988}
}
@INPROCEEDINGS{williams,
AUTHOR = {C. D. Williams},
TITLE = {The Data Acquisition, Data Reduction And Control
System (DARCS) for the NRCC 2$\times$3m Windtunnel},
BOOKTITLE = { IEEE RTSS},
MONTH = {Dec.},
YEAR = {1984}
}
@BOOK{young,
AUTHOR = {S. J. Young},
TITLE = {Real-Time Languages: Design and Development},
PUBLISHER = {Ellis Horwood},
ADDRESS = {Chichester, England},
YEAR = {1982}
}
@ARTICLE{yu95,
AUTHOR = {G. Yu and L. R. Welch},
TITLE = {A Novel Approach to Off-Line Scheduling in Real-Time Systems},
JOURNAL = {Informatica, Special Issue on Parallel and Distributed
Real-Time Systems},
VOLUME = {19},
PAGES = {71-82},
YEAR = {1995}
}
@BOOK{zedan90,
AUTHOR = {H. Zedan},
TITLE = {Real-Time Systems, Theory and Applications},
PUBLISHER = {North-Holland},
YEAR = {1990}
}
@ARTICLE{zinky97,
AUTHOR = {J. A. Zinky and D. E. Bakken and R. D. Schantz},
TITLE = {Architectural Support for Quality of Service for
{CORBA} Objects},
JOURNAL = {Theory and Practice of Object Systems},
VOLUME = {3},
NUMBER = {1},
MONTH = {January},
PAGES = {55-73},
YEAR = {1997}
}
This file has been generated by bibtex2html 1.79