Director:Established in 1991 by Professor Albert Mo Kim Cheng with NSF and TX-ARP support, the Real-Time Systems Laboratory has the mission to identify and solve important problems in time-critical and safety-critical applications. The laboratory's research members are currently conducting fundamental and experimental research in power-aware systems, real-time intelligent controllers, data/knowledge-based systems, multimedia tools, computer networks, and distributed systems.
Director:
Current Real-Time Systems Group Members:
Publications:A. M. K. Cheng, Real-Time Systems: Scheduling, Analysis, and Verification John Wiley & Sons, 2002.
Webpage for instructors and students
Recommended by leading embedded software and services company Wind River.
Prof. Dino Mandrioli (Politecnico di Milano, Italy), Prof. Pedro Mejia-Alvarez (Instituto Tecnologico Nacional, Mexico), Prof. Sudarshan K. Dhall (University of Oklahoma, Norman, USA), Prof. Bernardo A. Leon de la Barra (University of Technology, Sydney (UTS), Australia), Prof. Binoy Ravindran (Virginia Tech, USA), Prof. Farokh Bastani (University of Texas, Dallas, USA), and Prof. Alois Ferscha (University of Linz, Austria) are among the first world-class professors adopting/recommending Prof. Cheng's new textbook in their classes.
Join these leading professors in using this exciting and up-to-date book in your classes.
A. M. K. Cheng, ``Embedded OS,'' article in the section of Software, Encyclopedia of Computer Science and Engineering, edited by Benjamin Wah, Wiley 2004, to appear.
A. M. K. Cheng, ``Real-Time Knowledge-Based Systems for Enterprise Decision Support and Systems Analysis,'' keynote paper/chapter in Enterprise Information Systems, Kluwer Academic Publishers, 2003.
A. M. K. Cheng, Contributions as invited panel member to a chapter on the evolution of the Internet in Enterprise Information Systems, Kluwer Academic Publishers, 2003.
A. M. K. Cheng, ``E-Commerce and its Real-Time Requirements: Modeling E-Commerce as a Real-Time System,'' keynote paper/chapter in Enterprise Information Systems, B. Sharp, J. Filipe, and J. Cordeiro, Editors, Kluwer Academic Publishers, 2001.
A. M. K. Cheng, Guest Co-Editor, Two Special Issues of Papers from The First International Workshop on Software and Performance, IEEE Transactions on Software Engineering, Nov. and Dec. 2000.
A. M. K. Cheng, Contributions as invited distinguished guest to a chapter in ``Enterprise Information Systems for the XXI Century,'' Kecheng Liu, Editor, Kluwer Academic Publishers, 1999.
A. M. K. Cheng, Coordinator/Chair/Editor, Parallel and Distributed Real-Time Systems Track, Proc. 26th International Conference on System Sciences, Jan. 1993.
A. M. K. Cheng and F. Shang, ''Priority-Driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, February 2007.
A. M. K. Cheng and J. Ras, ``The Implementation of the Priority Ceiling Protocol in Ada 2005,'' ACM Ada Letters, Vol. 27, Issue 1, April 2007.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, ``Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting,'' accepted 2/2006, IEEE Transactions on Computers, Vol. 55, No. 7, pp. 830-843, July 2006. Selected as this issue's featured article.
A. M. K. Cheng, ``A Survey of Formal Verification Methods and Tools for Embedded and Real-Time Systems,'' Journal of Embedded Systems, Issue 1, 2006.
A. M. K. Cheng and C. Feng, ``Predictive Thermal Management for Hard Real-Time Tasks,'' extended version, ACM Special Interest Group on Embedded Systems (SIGBED) Review, January 2006.
A. M. K. Cheng and R. Agarwal, ``Reducing Encoder Bit-Rate Variation in MPEG Video,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Kluwer Academic Publishers, Volume 40, Number 2, pp. 261-271, 2005.
A. M. K. Cheng and S. Fujii, ``Self-Stabilizing Real-Time OPS5 Production Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 12, pp. 1543-1554, Dec. 2004.
A. M. K. Cheng and R. Agarwal, ``Reducing Encoder Bit-Rate Variation in MPEG Video,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Kluwer Academic Publishers, Volume 40, Number 2, pp. 261-271, 2005.
J. A. Kang and A. M. K. Cheng, ``Shortening Matching Time in OPS5 Production Systems,'' IEEE Transactions on Software Engineering, Vol. 30, No. 7, pp. 448-457, July 2004. Y.-H. Lee and A. M. K. Cheng, `` Optimizing Real-Time Equational Rule-Based Systems,'' IEEE Transactions on Software Engineering, Vol. 30, No. 2, pages 112-125, Feb. 2004.
A. M. K. Cheng and H.-Y. Tsai, `` A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 2, pages 271-288, February 2004.
A. M. K. Cheng and N. Chanjaraspong, ``Implementing a low-cost, PC-based surveillance system with automatic real-time threat detection,'' submitted for journal publication, 2004.
A. M. K. Cheng and M. X. Xu, ``Least-Laxity-First Scheduling of Real-Time Multimedia Traffic in the Internet,'' submitted for journal publication, 2005.
A. M. K. Cheng, ``Structural Complexity of OPS5 Rule-Based Programs,'' submitted for journal publication, 2004.
A. M. K. Cheng and S. Rao, `` Real-Time Multimedia Traffic Scheduling and Routing in Packet-Switched Networks,'' Special Issue on Multimedia Communications, Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Kluwer Academic Publishers, Vol. 34 Nos. 1-2, 2003.
P.-Y. Lee and A. M. K. Cheng, ``HAL: A Faster Match Algorithm,''IEEE Transactions on Knowledge and DataEngineering, Vol. 14, No. 5, pp. 1047-1058,September/October 2002.
A. M. K. Cheng and J.-R. Chen,``Response Time Analysis of OPS5 Production Systems,''IEEE Transactions on Knowledge and Data Engineering,May/June 2000.
B. Zupan and A. M. K. Cheng, ``Optimization of Rule-Based Systems Using State Space Graphs,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 2, pp. 238-254, March/April 1998.
B. Zupan, A. M. K. Cheng, and M. Bohanec, ``Stability Analysis of Real-Time Systems: Porting Crisp Methods to Fuzzy,'' Electrotechnical Review: Journal for Electrical Engineering and Computer Science, Vol. 62, No. 3-4, pp. 163-170, 1995.
J.-R. Chen and A. M. K. Cheng, ``Response Time Analysis of EQL Real-Time Rule-Based Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 7, No. 1, pp. 26-43, Feb. 1995.
A. M. K. Cheng, J. C. Browne, A. K. Mok, and R.-H. Wang, ``Analysis of Real-Time Rule-Based Systems With Behavioral Constraint Assertions Specified in Estella,'' IEEE Transactions on Software Engineering, Vol 19, No. 9, pp. 863-885, Sept. 1993.
J. C. Browne, A. M. K. Cheng and A. K. Mok, ``Computer-Aided Design of Real-Time Rule-Based Decision Systems,'' to appear in IEEE Transactions on Software Engineering.
Albert M. K. Cheng and Jawad Rasheed, ``Detection of Malicious Nodes by Immediate Parents (DoMNiP) in Wireless Sensor Networks,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.
Timothy L. Allen and Albert M. K. Cheng, ``Real-Time, Dynamic Calculations of Polynomial Coefficients for Use in Telemetry,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.
Albert Mo Kim Cheng and James Ras, ``Event-Based Semantics in the Implementation Language for Embedded and Critical Systems,'' Workshop on Event-Based Semantics, in conjunction with IEEE-CS Real-Time and Embedded Technology and Applications Symposium, April 2007.
S. Andrei and A. M. K. Cheng, ``Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, December 2006.
Q. S. Lewis and Albert M. K. Cheng, ``3D GC: Towards a Garbage Collector that Considers Time, Space, and Energy,'' IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rio de Janeiro, Brazil, December 2006.
G. Aruchamy and A. M. K. Cheng ``Translating Real-Time UML Timing Constraints into Real-Time Logic Formulas,'' IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rio de Janeiro, Brazil, December 2006.
Jian (Denny) Lin and Albert M. K. Cheng ``Maximizing Guaranteed QoS in (m,k)-firm Real-time Systems,'' Proc. 12th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Sydney, Australia, Aug. 2006.
S. Andrei and A. M. K. Cheng, ``Optimization of Real-Time Systems Timing Specifications,'' Proc. 12th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Sydney, Australia, Aug. 2006.
A. M. K. Cheng and Z. Zhang, ``Improving Web Server Performance in Soft Real-Time Mobile Applications with Adaptive Proxy Caching,'' Proc. MobEA IV-Empowering the Mobile Web, collocated with ACM WWW Conference, Edinburgh, Scotland, May 2006.
Albert M. K. Cheng, ``Intrusion Detection via Automatic Rule-Base Generation and Semantic Analysis,' ' Proc. SCISS, Houston, TX, April 2006.
Albert M. K. Cheng, ``On-Time and Scalable Intrusion Detection in Embedded Systems,'' Proc. Workshop on Research Directions for Security and Networking in Critical Real-Time and Embedded Systems, in conjunction with IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, CA, April 2006.
Jian (Denny) Lin and Albert M. K. Cheng ``Maximizing Guaranteed QoS within (m,k)-firm Real-time Constraints,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, San Jose, CA, April 2006.
W. Zhang, A. M. K. Cheng, B. Fang, M. Hu, ``An adaptive multisite scheduling algorithm for parallel jobs in computational grid environments,'' Proc. Third High-Performance Grid Computing Workshop, in conjunction with International Parallel and Distributed Processing Symposium, in Rhodes Island, Greece, April 29, 2006.
A. M. K. Cheng and S. Fang, ``Study and Simulation of a Distributed Real-Time Fault-Tolerance Web Monitoring System,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Miami, FL, December 2005.
A. M. K. Cheng and C. Feng, ``Predictive Thermal Management for Hard Real-Time Tasks,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Miami, FL, December 2005.
A. M. K. Cheng and F. Shang, ``Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications,'' Proc. 11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong, Aug. 2005.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and Yongxin Zhu, ``Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits based on #SAT Problem,'' Proc. 11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong, Aug. 2005.
Y. Wang and A. M. K. Cheng, ``A Dynamic-Mode DVS Algorithm under Dynamic Workloads,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, San Francisco, March 2005. Also as invited paper, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005.
H. Chen and A. M. K. Cheng ``Applying Ant Colony Optimization to the Partitioned Scheduling Problem for Heterogeneous Processors,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, San Francisco, March 2005. Also as invited paper, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, ``Incremental Automatic Debugging of Real-Time Systems Based on Satisfiability Counting,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium, San Francisco, March 2005.
A. M. K. Cheng and Rong Wang, ``A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation,'' Proc. 28th Annual International IEEE-CS International Computer Software and Application Conference (COMPSAC), Hong Kong, September 2004.
Jharna J. Chokhawala and Albert M. K. Cheng, ``Optimizing Power Aware Routing in Mobile Ad Hoc Networks,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.
Chien-Chih Chu and Albert M. K. Cheng, ``Static and Dynamic Methods to Improve Total Reward of Tasks in Battery-Powered Devices,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.
F. Shang and A. M. K. Cheng, ``Time-Constrained Transmission of JPEG Images via Variable-Quality Coding,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.
S. Sodhi and A. M. K. Cheng, ``Optimizing Timing Analysis and Verification of Embedded Systems using Rule-Based-Analytic Techniques,'' Proc. WIP Session of IEEE-CS Real-Time Systems Symposium, Cancun, Mexico, Dec. 2003.
Z. Zhu and A. M. K. Cheng, ``Worst Case Round Trip Time Prediction and Statistical Analysis Using Extreme Values Theory,'' Proc. WIP Session of IEEE-CS Real-Time Systems Symposium, Cancun, Mexico, Dec. 2003.
A. M. K. Cheng and K. Rajan, ``A Digital Map/GPS-Based Routing and Addressing Scheme for Wireless Ad Hoc Networks,'' Proc. IEEE Intelligent Vehicles Symposium, Columbus, OH, USA, June 9-11, 2003.
Ming Zu and Albert M. K. Cheng, ``Real-Time Scheduling of Hierarchical Reward-Based Tasks,'' Proc. IEEE-CS Real-Time Technology and Applications Symp., May 2003.
A. M. K. Cheng and Z. Zhang, ``Adaptive Proxy Caching for Web Servers in Soft Real-Time Applications,'' Proc. WIP Session, 23rd IEEE Real-Time Systems Symposium, Austin, TX, December 3-5, 2002.
Jeong A. Kang and A. M. K. Cheng, ``Reducing Matching Time for OPS5 Production Systems,'' Proc. 25th IEEE-CS Computer Software and Applications Conference (COMPSAC), Chicago, IL, Oct. 2001.
F. Jiang and A. M. K. Cheng, ``A Context Switch Reduction Technique for Real-Time Task Synchronization,'' Proc. IEEE-CS Intl. Parallel and Distributed Processing Symposium, San Francisco, CA, May 2001.
L. Miller and A. M. K. Cheng, ``Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels,'' Proc. 21th IEEE-CS Real-Time Systems Symposium, Nov. 2000.
S. M. Bak, A. M. K. Cheng et al., ``Load-Balanced Routing in Real-Time Packet-Switched Networks,'' Proc. 25th Intl. Conf. on Local Computer Networks, Nov. 2000.
S. Rao and A. M. K. Cheng, ``Scheduling and Routing of Real-Time Multimedia Traffic in Packet-Switched Networks,'' Proc. IEEE Intl. Conf. on Multimedia and Expo, New York, MA, July-Aug. 2000.
L. Miller and A. M. K. Cheng, ``CAC with Bandwidth Reallocation and Active Channel Rerouting Techniques in ATM Networks: Simulation and Performance Results,'' Intl. Conf. on Applied Simulation and Modeling (ASM 2000), Banff, Canada, July 2000.
Y.-H. Lee and A. M. K. Cheng, ``Run-time Dynamic Optimization for Real-Time Rule-Based Systems,'' Proc. IEEE-CS Real-Time Technology and Applications Symposium, Washington, D.C., May-June 2000.
S. Fujii and A. M. K. Cheng, ``Bounded-Response-Time Self-Stabilizing OPS5 Production Systems,'' Proc. IEEE-CS Intl. Parallel and Distributed Processing Symp., Cancun, Mexico, May 2000.
J.-C. Wang and A. M. K. Cheng, ``A State-Space-Based Approach for Optimizing MRL Rule-Based Programs,'' Proc. Intl. Conf. on Parallel and Distributed Computer Systems, MIT, Cambridge, MA, Nov. 1999.
R. Agarwal and A. M. K. Cheng, ``Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video,'' Proc. IEEE-CS Intl. Conf. on Multimedia Computing and Systems, Florence, Italy, June 1999.
L. E. P. Rice and Albert M. K. Cheng, ``Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics,'' Proc. IEEE-CS Real-Time Technology and Applications Symposium, Vancouver, Canada, June 2-4, 1999.
A. M. K. Cheng and J.-C. Wang, ``Applying a Modified EQL Optimization Method to MRL Rule-Based Programs,'' Proc. 1st IEEE Workshop on Application-Specific Software Engineering and Technology, Richardson, TX, Mar. 1998.
A. M. K. Cheng, ``Optimization of Real-Time MRL Rule-Based Systems with the EQL Optimizer,'' Proc. WIP Session, 18th IEEE-CS Real-Time Systems Symposium, San Francisco, CA, Dec. 1997.
P.-Y. Lee and A. M. K. Cheng, ``Reducing Match Time Variance in Production Systems with HAL,'' Proc. 6th Intl. ACM Conf. on Information and Knowledge Management, Las Vegas, Nevada, Nov. 1997.
S. Avery and A. M. K. Cheng, ``Optimizing OPS5 Rule-Based Programs by Rule-Splitting,'' Proc. Intl. Conf. on Software Engineering, San Francisco, CA, Nov. 1997.
C. Wong and A. M. K. Cheng, ``An Approach for Imprecise Transmission of TIFF Image Files Through Congested Real-Time ATM Networks,'' Proc. 22nd Intl. Conf. on Local Computer Networks, Minneapolis, MN, Nov. 1997.
X. Chen and A. M. K. Cheng, ``An Imprecise Algorithm for Real-Time Compressed Image/Video Transmission,'' Proc. 6th Intl. Conf. on Computer Communications and Networks, Las Vegas, Nevada, Sept. 1997.
A. M. K. Cheng, ``Predicting the Match Time in Real-Time Rule-Based Systems,'' Proc. Workshop on Formal Methods for the Design of Real-Time Systems, 3rd IEEE Intl. Conf. on Engineering of Complex Computer Systems, Como, Italy, Sept. 1997.
C. Wong and A. M. K. Cheng, ``Maintaining High Transmitted Image Quality in Congested ATM Networks,'' Proc. Workshop on Resource Allocation Problems in Multimedia Systems, held in conjunction with the 17th IEEE Real-Time Systems Symposium, Washington, D.C., Dec. 1996.
A. M. K. Cheng, ``Fault-Tolerant EQL and MRL Rule-Based Programs,'' Proc. 2nd World Conf. on Integrated Design and Process Technology (IDPT), Austin, Texas, Dec. 1996.
A. M. K. Cheng, ``Measuring the Structural Complexity of OPS5 Rule-Based Programs,'' Proc. 20th IEEE-CS Computer Software and Applications (COMPSAC) Conf., Seoul, Korea, Aug. 1996.
A. M. K. Cheng and X. Gu, ``Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures'' Proc. 25th Intl. Conf. on Parallel Processing, Bloomingdale, IL, Vol. I, pp. 204-211, Aug. 1996.
Pointers to related information:
Back to the home page of
CS Dept., Univ. of Houston
Created on: 3/12/96.
Last Modified: 5/185/2007.
Maintained by Albert Cheng.