Constraint-based real-time scheduling for process control

vi

[1]  Kevin Driscoll,et al.  ARINC 659 scheduling: problem definition , 1994, 1994 Proceedings Real-Time Systems Symposium.

[2]  Stephen F. Smith,et al.  Is Scheduling a Solved Problem , 2005 .

[3]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

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

[5]  Sang Hyuk Son,et al.  Allocating fixed-priority periodic tasks on multiprocessor systems , 1995, Real-Time Systems.

[6]  Jun Sun,et al.  Perts: a Prototyping Environment for Real-Time Systems , 1996, Int. J. Softw. Eng. Knowl. Eng..

[7]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[8]  Deji Chen,et al.  Similarity-based traffic reduction to increase battery life in a wireless process control network , 2005 .

[9]  Joseph Sifakis,et al.  A framework for scheduler synthesis , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[10]  Song Han,et al.  A complete wirelessHART network , 2008, SenSys '08.

[11]  Song Han,et al.  WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[12]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[13]  Song Han,et al.  Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[14]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[15]  Aloysius K. Mok,et al.  Improving PID Control with Unreliable Communications , 2006 .

[16]  Morris J. Dworkin,et al.  Recommendation for Block Cipher Modes of Operation: The CCM Mode for Authentication and Confidentiality [including updates through 7/20/2007] , 2004 .

[17]  Krithi Ramamritham,et al.  Allocation and scheduling of complex periodic tasks , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[18]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[19]  Saurabh Ganeriwal,et al.  Timing-sync protocol for sensor networks , 2003, SenSys '03.

[20]  Louis E. Rosier,et al.  The pinwheel: a real-time scheduling problem , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[21]  Mohamed F. Younis,et al.  A survey on routing protocols for wireless sensor networks , 2005, Ad Hoc Networks.

[22]  Qun Li,et al.  Global Clock Synchronization in Sensor Networks , 2006, IEEE Trans. Computers.

[23]  Luqi.  Real-Time Constraints in a Rapid Prototyping Language , 1993, Comput. Lang..

[24]  Edgar H. Callaway,et al.  Wireless Sensor Networks: Architectures and Protocols , 2003 .

[25]  Lui Sha,et al.  Real-time communication and coordination in embedded sensor networks , 2003, Proc. IEEE.

[26]  Dong-Ik Oh,et al.  Utilization Bounds for N-Processor Rate Monotone Scheduling with Static Processor Assignment , 1998, Real-Time Systems.

[27]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[28]  P. Bahl,et al.  SSCH: slotted seeded channel hopping for capacity improvement in IEEE 802.11 ad-hoc wireless networks , 2004, MobiCom '04.

[29]  Deji Chen,et al.  Optimizing Distributed Foundation Fieldbus Process Control with MSP.RTL Tool , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[30]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[31]  Daniel FrostDepartment.  Backtracking Algorithms for Constraint Satisfaction Problems { a Tutorial Survey , 1998 .

[32]  Ruud C. M. de Rooij,et al.  The MSP.RTL real-time scheduler synthesis tool , 1996, 17th IEEE Real-Time Systems Symposium.

[33]  Jose A. Gutierrez,et al.  IEEE 802.15.4 Low-Rate Wireless Personal Area Networks: Enabling Wireless Sensor Networks , 2003 .

[34]  Aloysius K. Mok,et al.  Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

[35]  Sudarshan K. Dhall,et al.  An On Line Algorithm for Real-Time Tasks Allocation , 1986, IEEE Real-Time Systems Symposium.

[36]  Aloysius K. Mok,et al.  A Graph-Theoretic Approach for Timing Analysis and its Implementation , 1987, IEEE Transactions on Computers.

[37]  C.C. Bissell.  Advanced Control Unleashed: Plant Performance Management for Optimum Benefit [Book Review] , 2003, IEEE Control Systems.