A Penalty Upper Bound in an Optimal Schedule of a Set of Soft Real-Time Tasks ∗

[1]  J. Lawall,et al.  A framework for simplifying the development of kernel schedulers: design and performance evaluation , 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

[2]  Pravin Varaiya,et al.  Energy efficient routing with delay guarantee for sensor networks , 2007, Wirel. Networks.

[3]  Raimund Kirner,et al.  Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems , 2006, 2006 International Workshop on Intelligent Solutions in Embedded Systems.

[4]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[5]  Dong Wang,et al.  Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates , 2003, CAV.

[6]  Marianne Shaw,et al.  Scale and performance in the Denali isolation kernel , 2002, OSDI '02.

[7]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[8]  Guoliang Xing,et al.  A Spatiotemporal Query Service for Mobile Users in Sensor Networks , 2005, 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05).

[9]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[10]  Kedar S. Namjoshi,et al.  Efficient Decompositional Model Checking for Regular Timing Diagrams , 1999, CHARME.

[11]  F. Vernadat,et al.  The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .

[12]  Kenneth L. McMillan,et al.  Automatic Abstraction without Counterexamples , 2003, TACAS.

[13]  Raymond R. Devillers,et al.  Feasibility intervals for the deadline driven scheduler with arbitrary deadlines , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[14]  Pravin Varaiya,et al.  PEDAMACS: power efficient and delay aware medium access protocol for sensor networks , 2004, IEEE Transactions on Mobile Computing.

[15]  Celso A. S. Santos,et al.  Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique , 2000, Comput. Commun..

[16]  Jin-Cherng Lin,et al.  Generating Real-Time Software Test Cases by Time Petri Nets , 2000 .

[17]  Sanjoy K. Baruah,et al.  A Categorization of Real-Time Multiprocessor Scheduling Problems and Algorithms , 2004, Handbook of Scheduling.

[18]  Liliana Cucu-Grosjean,et al.  Feasibility Intervals for Fixed-Priority Real-Time Scheduling on Uniform Multiprocessors , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[19]  Andreas Podelski,et al.  Boolean and Cartesian abstraction for model checking C programs , 2001, International Journal on Software Tools for Technology Transfer.

[20]  Bernardo Wagner,et al.  RTnet - a flexible hard real-time networking framework , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[21]  Andrea C. Arpaci-Dusseau,et al.  Antfarm: Tracking Processes in a Virtual Machine Environment , 2006, USENIX Annual Technical Conference, General Track.

[22]  Nicolas Navet,et al.  Trends in Automotive Communication Systems , 2005, Proceedings of the IEEE.

[23]  John Regehr,et al.  HLS: a framework for composing soft real-time schedulers , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[24]  Samuel T. King,et al.  Detecting past and present intrusions through vulnerability-specific predicates , 2005, SOSP '05.

[25]  Ludovic Apvrille,et al.  TURTLE: a real-time UML profile supported by a formal validation toolkit , 2004, IEEE Transactions on Software Engineering.