Recommended by leading embedded software and services company
Wind River.
Welcome! Bienvenido! Bienvenue! Benvenuto! Boa vinda! Willkommen!
Prof. Albert M. K. Cheng
Senior Member, IEEE;
Director, Real-Time
Systems Laboratory
Department of Computer
Science, University of Houston, Houston,
TX 77204-3010, USA
Office: 534 Philip G. Hoffman (PGH)
Phone: (713) 743-3353, Fax: (713) 743-3335
WWW: http://www.cs.uh.edu/~acheng/acheng.html
Email: cheng AT cs DOT uh DOT edu
Fall 2009 Office Hours: T Th 4:00pm-5:00pm and by appointment (please send email)
Professor Cheng to present a seminar entitled
``Saving Energy and Enhancing Quality of Service
in Battery-Operated Medical and Medication Systems''
at
Lamar University,
Friday, 2:00-3:00pm, October 30, 2009.
Two papers by RTS group members (one co-authored by
Jim Ras and another by Jian Lin) nominated for Best Paper Award at the
15th IEEE-CS International Conference on Embedded
and Real-Time Computing Systems and Applications (RTCSA), Beijing, China,
Aug. 2009.
NSF
Research Experiences for Undergraduates (REU) 2009-2010
openings (2 positions available) for upper-division students.
Please send email inquiry/application to Professor Cheng.
Robotic competition at RTSS 2009:
Please email Prof. Albert Cheng if interested in participating.
Professor Albert Cheng to chair
IEEE RTAS Session on Scheduling
System Day: Friday, April 10
Real-Time Systems Group's paper selected as
one of 4 best
in 2008
IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session
and published in ACM SIGBED Review.
Professor Albert Cheng leads team i'Traders to compete at
IEEE RTSS 2008 CiberMouse Cyber Robotic Competition.
Wind River donates software worth
over 1 million dollars to the Computer Science Department for
Professor Albert Cheng
to teach and perform research in real-time
and embedded systems.
Software includes VxWorks RTOS and Tornado development tools
for all target platforms.
New COSC 7384 (Fall 2008)
Advanced Real-Time Systems - A follow-up course to COSC 6384,
covering state-of-the-art topics in embedded/real-time systems.
NSF
Research Experiences for Undergraduates (REU)
openings for upper-division students.
Please send email inquiry/application to Professor Cheng.
Polytechnic University of Hong Kong
invites Professor Cheng to present a seminar,
July 2008.
Harbin Institute of Technology
invites Professor Cheng to present a seminar,
July 2008.
Professor Cheng invited to present a
seminar on real-time systems
at the University of Hong Kong,
June 30, 2008.
Chinese Academy of Sciences
invites Professor Cheng to present a seminar,
June 2008.
Call for Papers:
RTES 2008 - The Second International Workshop on Real Time and Embedded Systems.
Paper submissions due June 30, 2008.
Professor Cheng to chair session on
POWER MANAGEMENT at
IEEE Real-Time and Embedded
Technology and Applications Symposium,
St. Louis, MO, April 22-24, 2008.
Professor Cheng to present keynote at
ACM Computer Science Spring Banquet
at
Lamar University,
on April 4, 2008.
COSC 6384 (Real-Time Systems) will be offered in Fall 2008.
Professor Cheng
wins NSF Award for $765,000 collaborative
project with Rice and Yale researchers to build
Physically Safe Embedded Systems.
Member, Technical Program Committee Meeting,
IEEE-CS Real-Time
Systems Symposium,
August 17-18, 2007.
Lamar University's
Department of Computer Science
invites Professor Cheng to present a seminar
on
Building Safe and Secure Embedded Real-Time Systems
on July 30, 2007, 3:30pm - 4:30pm.
National Taiwan University's
Department of Computer Science and Information Engineering
invites Professor Cheng to present a seminar
on the
Debugging and Verification of Real-Time and Embedded Systems
on July 10, 2007.
Download MP4 video.
Hong Kong University of Science and Technology's
Department of Computer Science and Engineering
invites Professor Cheng to present a seminar
on
Debugging and Verifying of RTL-Specified Real-Time Systems
on July 5, 2007, 4:00pm-5:00pm, Room 5487.
Download MP4 video.
Call for Papers:
The First International Workshop on Real Time and
Embedded Systems International Conference (RTES),
Timisoara, Romania, September 28, 2007.
Submission due date: June 30, 2007.
Professor Cheng invited to speak
on
Verification of Real-Time Systems and Intrusion
Detection (download MP4 video)
in the seminar series of the
Center for Education and Research in Information
Assurance and Security (CERIAS)
at
Purdue University,
West Lafayette,
on March 28, 2007, 4:30pm, Room STEW G52.
The UH Chessfinder team beat last year's winner
(University of Pittsburgh) while placing fifth overall in the
grueling
CiberMouse Cyber Robotic Competition
at the
27th IEEE Real-Time Systems Symposium
held in Rio de Janeiro, Brazil.
Professor Cheng leading teams to participate at
The CiberMouse Cyber Robotic Competition
and presenting 3 papers by RTS group members at
The 27th IEEE-CS Real-Time Systems Symposium (RTSS)
December 5-8, 2006,
Rio de Janeiro, Brazil.
Best of luck to the UH-CS teams!
Professor Cheng is the Program Chair of
The 10th IASTED International Conference on
SOFTWARE ENGINEERING AND APPLICATIONS (SEA)
,
November 13-15, 2006,
Dallas, Texas, USA.
Registration is now open.
Professor Cheng has been invited to presented a
tutorial at
The 18th IASTED International Conference on
PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS (PDCS)
,
November 14, 2006,
Dallas, Texas, USA.
Member, Technical Program Committee Meeting,
IEEE-CS Real-Time
Systems Symposium,
August 26, 2006.
Tutorial Speaker,
Formal Methods Symposium, McMaster University,
Hamilton, Canada, August 2006.
Selected as the Featured Article by IEEE Transactions on Computers
(July 2006)
a paper co-authored by
Professor Albert
Cheng and a team led by
Dr. Stefan Andrei of NUS.
The paper is titled:
``Automatic Debugging of Real-Time Systems
Based on Incremental Satisfiability Counting.''
A. M. K. Cheng,
Professor Cheng invited to serve as
an Initiator of the
Chinese Forum On Global Software Collaboration
to be held in Shanghai, China, May 2006.
Call for Papers,
The 27th IEEE-CS Real-Time Systems Symposium (RTSS)
December 5-8, 2006,
Rio de Janeiro, Brazil.
Submission due date: May 26, 2006.
Call for Papers,
The 10th IASTED International Conference on
SOFTWARE ENGINEERING AND APPLICATIONS (SEA)
November 13-15, 2006,
Dallas, Texas, USA.
Submission due date: June 15, 2006.
New COSC 6384 (Fall 2006)
Real-Time Systems -
Embedded Systems; RTOS; Scheduling, Design, and Analysis.
Now with lab access to
the Latest Versions of
Wind River VxWorks RTOS and Tornado Developement Tools as well as
QNX Neutrino RTOS and Momentics Developement Tools.
90% of microprocessors are embedded in non-computer systems
such as cellphones, digital cameras, and automobiles.
Most of the software systems today are embedded
and most control systems must operate in real-time.
This is a "must-take" course
to enhance your qualifications
for a tough job market and for future research work.
Wind River VxWorks RTOS used in Aerospace and Defense,
Automotive Devices,
Consumer Devices,
Industrial, Oil & Gas, and
Network Infrastructure.
QNX Neutrino RTOS used in applications from
high-end routing equipment and in-car telematics
to massively distributed control systems.
An embedded development board with an Intel Xscale Processor
used in popular PDAs and cellphones.
Professor Cheng invited to present a seminar
titled
"Automatic Debugging of Real-Time Systems
Specified in RTL via Incremental Satisfiability
Counting"
at the
University of California,
Santa Cruz,
on April 3, 2006, 4:00-5:00pm, Room E2.599.
Professor Cheng invited to present a tutorial
on the
Analysis and Verification of Real-Time/Embedded Software and Systems
at the
Formal Methods Symposium
to be held in
Hamilton, Ontario,
Canada,
August
2006.
Professor Cheng to speak at
the
Workshop on
Research Directions for Security and Networking in
Critical Real-Time and Embedded Systems,
April
2006.
Real-Time Systems Group's paper accepted by
IEEE-CS Real-Time and Embedded Technology and
Applications Symposium (RTAS) WIP Session
(co-located with Embedded Systems Conference in
San Jose), April 2006.
A simulated robot developed by a team of computer science graduate students
(Navya Amerineni, Sandhya Dasu, and Swapna Gurajala)
led by Dr. Albert M. K. Cheng has been accepted to participate
in The maRTian Task Competition at the
26th IEEE Real-Time Systems Symposium
,
December 5-8, 2005, Miami, Florida, USA.
Only 4 other school teams (2 from USA, 1 from France, 1 from Portugal)
have been accepted to compete in this first-ever RTSS
international competition.
Professor Cheng invited to give a Distinguished Lecture Presentation
at the
University of Texas at Dallas,
September
2005.
Professor Cheng invited to speak at the Panel titled
``Software Engineering for Embedded Software: How Useful Are the Newer
Paradigms?'' at
SCOPES 2005.
Professor Cheng's article titled
``Embedded Operating Systems''
Section of Software,
Encyclopedia of Computer Science and Engineering,
John Wiley & Sons, 2005.
Jeff Schaffer,
Field Applications Engineer of
QNX Software Systems,
presents a seminar on QNX RTOS in Professor Cheng's
COSC 6384 class on 9/15/2005.
New COSC 4330 (Fall 2005)
Operating Systems -
In addition to traditional coverage of Linux/UNIX and Windows XP,
there will be an introduction to real-time and multimedia
systems, with
hands-on practice using the Wind River VxWorks and QNX Neutrino RTOS's.
Call for Papers,
IEEE-CS Real-Time and Embedded
Techonology and Applications
Symposium (RTAS), San Jose, CA, April 3-6, 2006.
Special Issue on RTAS WIP 2005,
ACM Special Interest Group on Embedded Systems (SIGBED) Review.
2 Real-Time Systems Group's papers accepted by
11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong,
2005.
IEEE-CS Real-Time and Embedded
Techonology and Applications
Symposium (RTAS) WiP
Session Call for Papers 2005
.
Real-Time Systems Group's paper accepted by IEEE RTAS
2005 (co-located with Embedded Systems Conference in
San Francisco)
.
Check out the VxWorks real-time operating system used in the
Mars Exploration Rovers.
New
COSC 6384 Real-Time Systems
(Fall 2004)
with Wind River VxWorks
RTOS and Tornado Development Tools.
IEEE-CS Real-Time and Embedded
Techonology and Applications
Symposium (RTAS), San Francisco, CA, March 7-10, 2005.
Project MULAN: MUlti-mode variable subtask Length dvs scheduling
Algorithms and Networks.
Project OPRATEL: Optimization of Path ReAl-TimE Logic Tool.
Project SDRTL: Systematic Debugging for path Real Time Logic.
Real-Time Programming and Ada-2005.
Keynote Speaker,
1st Intl. Conf. on Informatics in Control, Automation and
Robotics (ICINCO),
Setubal, Portugal, August 2004.
Session Chair and Member of
Program Committee,
IEEE-CS Real-Time and Embedded
Techonology and Applications
Symposium (RTAS), Toronto, Canada, May 25-28, 2004.
Invited Speaker,
``Formal Analysis and Verification
of Embedded and Real-Time Systems,''
IEEE Houston Meeting at HESS,
February 26, 2004.
New COSC 4351 Fundamentals of Software Engineering
(Spring 2004) covering both general and
embedded/real-time software
systems.
Check out the software used in the
Mars Exploration Rovers.
Member, Technical Program Committee Meeting,
IEEE-CS Real-Time and Embedded Technology and
Applications Symposium,
February 28, 2004.
Tutorial Speaker,
Intl. Conf. on
Intelligent Systems Design and Applications,
Tulsa, Oklahoma, August 10, 2003.
Member, Technical Program Committee Meeting,
IEEE-CS Real-Time Systems Symposium,
Carnegie Mellon University,
Pittsburgh, PA, July 19, 2003.
Invited Speaker,
``Formal Analysis and Verification
of Real-Time and Embedded Systems,''
IEEE Galveston Bay Meeting at NASA-JSC,
noon July 17, 2003. (Free admission)
Keynote Speaker,
Intl. Conf. on Enterprise Information Systems (ICEIS),
Angers, France, April 2003.
Keynote lecture slides.
Nominate your favorite professor for a
teaching/achievement award!
If you enjoy my teaching, please email a short nomination
letter to chair
Dr. Marc Garbey.
B.A. with Highest Honors in Computer Science,
M.S. in Computer Science (Minor in Electrical Engineering),
Ph.D. in Computer Science, University of
Texas at Austin
Associate Editor, International Journal of Embedded
Systems
Associate Editor, IEEE Transactions
on Software Engineering
Associate Editor, International Journal of Computer and Information Science
Honorary Member,
Institute for Systems
and Technologies of Information, Control and Communication
(INSTICC)
Making the News:
August 7, 2002, 5:21pm - Introduced as an expert computer
scientist at the University of Houston,
Professor Albert Cheng is interviewed live by
AM740 KTRH NewsRadio
on the apparently fizzled U.S. Internet attack
and what can be done if such attacks occur again.
September 25, 2003, 5:22pm -
Wind River
approves University Program Software License Grant
(VxWorks and Tornado) for instruction and research,
estimated value over $200,000.
July 21, 2005 -
QNX
approves University Program Software License Grant
(Neutrino RTOS) for instruction and research.
September 28, 2008 -
Wind River donates software worth
over 1 million dollars to the Computer Science Department for
Professor Albert Cheng
to teach and perform research in real-time
and embedded systems.
Software includes VxWorks RTOS and Tornado development tools
for all target platforms.
NEW TEXTBOOK by Professor Albert Cheng - Real-Time Systems: Scheduling, Analysis, and Verification (John Wiley & Sons) ISBN # 0-471-18406-3,
552 pages, August 2002; 2nd printing with updates, 2005.
Also available at other places, including:
bn.com
For senior-level undergraduate/first-year graduate courses in real-time systems, embedded systems (software and hardware) engineering, and formal methods. Serves as a supplement to courses in operating systems and system design, as well as a reference for practitioners and researchers.
Recommended by leading embedded software and services company
Wind River.
Webpage for
instructors and students
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), and
Prof. Farokh Bastani (University of Texas, Dallas, USA),
Prof. Alois Ferscha (University of Linz, Austria),
Prof. Miguel Ceballos (Universidad Autonoma de Queretaro, Mexico), and
Prof. Hugh Anderson
(National University of Singapore)
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.
National Science Foundation Research Initiation Award
(now known as NSF-CAREER Award) for research in
``Formal Analysis, Verification, Synthesis, and
Execution of Real-Time Rule-Based Expert Systems.''
Texas Higher Education-Coordinating Board
Advanced Research Program Award for research in
``Optimization and Scheduling of Real-Time
Database/Knowledge-Based Systems.''
IEEE Senior Member
Honorary Member of
Institute for Systems
and Technologies of Information, Control and Communication
(INSTICC).
Diploma,
Senior Program Committee Membership,
International Conference on Enterprise Information Systems
Fifth place,
ACM South Central USA Scholastic Programming Contest,
Advisor/Coach of the University of Houston Team,
November 1999.
GTE Foundation Fellowship
Member of the Honor Societies of
Phi Beta Kappa (Science),
Phi Kappa Phi (Arts and Science),
Upsilon Pi Epsilon (Computer Science),
Beta Alpha Phi (International), and
Golden Key (General)
Associate Editor, International Journal of Embedded
Systems
Associate Editor, International Journal of Computer and Information Science
Associate Editor, IEEE Transactions
on Software Engineering, 1998-2003
Special Issue Editor,
ACM Special Interest Group on Embedded Systems (SIGBED)
Review, Volume 2, Number 2, April 2005.
Program Committee Member,
15th IEEE International Conference on Embedded and Real-Time Computing Systems and
Applications (RTCSA),
co-located with UCS 2009,
Beijing, China,
August 24-26.
Program Committee Member,
Real-Time
Systems and Operating Systems track of the 7th IEEE/IFIP International
Conference on Embedded and Ubiquitous Computing (EUC'09),
Vancouver, Canada,
August 29-31 2009.
Program Committee Member,
First ACM International Workshop on Medical-Grade Wireless Networks (WiMD 2009) in
conjunction with Mobihoc 2009 in New Orleans, LA, 2009.
Program Committee Member,
2nd International Workshop on Real-Time Service-Oriented Architecture and Applications,
Seattle,Washington, July 20 - July 24,
2009. Co-located with COMPASS and SAINT 2009.
Program Committee Member,
Embedded Systems Track of the 11th International Symposium on
Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon, France, November
3-6, 2009.
Program Committee Member,
Second International Workshop on Cyber-Physical Systems (WCPS2009),
2009.
Senior Program Committee Member,
6th Intl. Conf. on Informatics in Control, Automation
and Robotics (ICINCO),
July 2009.
Member of
Program Committee,
International Conference on
Embedded Software and Systems 2009 (ICESS09),
HangZhou, Zhejiang,
China,
May 25 - 27, 2009.
Program Committee Member,
IEEE-CS Real-Time and Embedded Technology and Applications
Symposium (RTAS),
San Francisco, California, USA, April 13-16, 2009.
Member of
Program Committee,
ICEIS International
Conference on Enterprise Information Systems, 2009.
Member of
Program Committee,
International Conference on Artificial Intelligence and Applications (AIA
2009), Innsbruck, Austria, February 16-18, 2009.
Member of
Program Committee,
International Conference on Parallel and Distributed Computing and Networks
(PDCN 2009), Innsbruck, Austria, February 16-18,
2009.
Program Co-Chair,
The Second International Workshop on Real Time and
Embedded Systems International Conference (RTES),
The Second International Workshop on Real Time and
Timisoara, Romania, 2008.
Member of
Program Committee,
3rd International Workshop on Embedded Software
Optimization (ESO 2008) in conjunction with EUC 2008,
Shanghai, China,
December 17-20, 2008.
Member of
Program Committee,
Fifth IEEE International Symposium on
Embedded Computing (SEC),
Beijing, China, 2008.
Program Vice-Chair,
Real-Time Systems Track,
5th Intl. Conf. on Embedded and Ubiquitous
Computing (EUC),
Shanghai, China, December 2008.
Member of
Program Committee,
First international CPS workshop in conjunction with
ICDCS, Peking, 2008.
Senior Program Committee Member,
5th Intl. Conf. on Informatics in Control, Automation
and Robotics (ICINCO),
August 2008.
Program Committee Member,
ICESS-2008,
Chengdu, Sichuan, China,
July 28-31, 2008.
Senior Program Committee Member,
10th International Conference on
Enterprise Information Systems (ICEIS),
Barcelona, Spain,
June 12-16, 2008.
Member of
Program Committee,
IEEE-CS Real-Time and Embedded Technology and Applications
Symposium (RTAS), Saint Louis, April 2008.
Member of
Program Committee,
The Thirteenth IEEE International Conference on Engineering of
Complex
Computer Systems (ICECCS)
(co-located with ECBS 2008 and EASe2008),
Belfast, Northern Ireland
(hosted by the University of Ulster)
31 March - 4 April 2008.
Member of
Program Committee,
IEEE-CS Real-Time Systems
Symposium (RTSS), Tucson, Arizona, December 2007.
Member of
Program Committee,
10th IEEE High Assurance Systems Engineering Symposium, Dallas, Texas,
November 14 - 16, 2007.
Member of
Program Committee,
Sixth ACM International Conference on
Generative Programming and Component Engineering (GPCE'07),
co-located with ESWEEK'07,
Salzburg, Austria
October 1-3, 2007.
Member of
Program Committee,
IEEE-CS Real-Time Systems
Symposium (RTSS), Rio de Janeiro, Brazil, December 5-8, 2006.
Member of Program committee,
12th International Conference on Embedded and Real-Time Computing Systems and Applications, 2006.
Chair of Program Committee,
The 10th IASTED International Conference on
SOFTWARE ENGINEERING AND APPLICATIONS (SEA),
Dallas, TexaS, November 2006.
Member of
Program Committee,
International Workshop
on Embedded Software Optimization,
Seoul, Korea,
Aug. 1-4, 2006.
Member of
Program Committee,
3rd International
Workshop on Embedded
Computing, Columbus, Ohio, August 14, 2006.
Member of
Program Committee,
IEEE-CS Real-Time and Embedded
Techonology and Applications
Symposium (RTAS), San Jose, CA, April 3-6, 2006.
Distinguished Lecture Presentation
at the
University of Texas at Dallas,
2005.
Invited Panel Speaker,
``Software Engineering for Embedded Software: How Useful Are the Newer
Paradigms?'' at
SCOPES 2005.
Co-Chair,
Mini-Symposium on Real-Time/Embedded Systems ParCo 2005
Member of Program committee,
11th International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong, 2005.
Member of Program committee,
29th Annual International
Computer Software and Application Conference (COMPSAC),
Edinburgh, Scotland, UK, 2005.
Member of Program Committee,
International Workshop on Parallel and Distributed Embedded Systems,
2005.
Member of Program Committee,
11th International Conference on Parallel and Distributed
Systems
(ICPADS-2005).
Member of Program Committee,
International Workshop on Embedded Computing,
2005.
Member of Program Committee,
IEEE International Conference on
Engineering of Complex Computer Systems
(ICECCS), Shanghai, China, 2005.
Member of
Program Committee,
IEEE-CS Real-Time and Embedded
Techonology and Applications
Symposium (RTAS), San Francisco, CA, March 7-10, 2005.
Program Committee Member,
International Conference on Parallel and Distributed Computing
and Networks (PDCN),
Innsbruck,
Austria, February 15-17, 2005.
Member of
Program Committee,
28th Annual
International IEEE-CS International Computer Software and
Application Conference (COMPSAC), Hong Kong,
September
2004
Keynote Speaker,
1st Intl. Conf. on Informatics in Control, Automation and
Robotics (ICINCO),
Setubal, Portugal, August 2004
External Reviewer,
DSN-2004 Dependable Computing and Communications Symposium,
Florence, Italy, June 28th-July 1st, 2004.
Session Chair and
Member of
Program Committee,
IEEE-CS Real-Time and Embedded
Techonology and Applications
Symposium (RTAS), Toronto, Canada, May 2004
Member of
Program Committee,
IEEE International Conference on
Engineering of Complex Computer Systems,
IEEE ICECCS, Florence, Italy, 14-16 April, 2004
Senior Program Committee Member,
Intl. Conf. on Enterprise Information Systems (ICEIS),
Porto, Portugal, April 2004.
Program Committee Member,
Intl. Conf. on Artificial Intelligence and Applications (AIA)
2004
Program Committee Member,
Intl. Conf. on Databases and Applications (DBA)
2004
Program Committee Member,
Intl. Conf. on Parallel and Distributed Computing and
Networks (PDCN)
2004
Tutorial Speaker,
IEEE ICN, February 29, 2004
Member of
Program Committee,
Work-in-Progress Session,
IEEE-CS Real-Time Systems
Symposium (RTSS), Cancun, Mexico, December 2003
Member of
Program Committee,
IEEE-CS Real-Time Systems
Symposium (RTSS), Cancun, Mexico, December 2003
Member of
Program Committee,
IEEE-CS Conference on Local Computer Networks (LCN)
Bonn, Germany, October 2003
Member of
Program Committee,
Twelfth International Conference on
Computer Communications and Networks, 2003
Member of Panel Subcommittee
and
Program Committee,
27th Annual
International IEEE-CS International Computer Software and
Application Conference (COMPSAC), Hong Kong,
September 30-October 3,
2003
Keynote Speaker,
Intl. Conf. on Enterprise Information Systems (ICEIS),
Angers, France, April 2003.
Keynote lecture slides.
Guest Co-Editor,
IEEE-TSE Special
Issues on Software and Performance, Nov-Dec 2000
Member of
Program Committee,
IEEE-CS Conference on Local Computer Networks (LCN)
Tampa, FL, November 2002
Member of
Program Committee,
Intl. Conference on Computer Communications and
Networks, October 2002
Member of
Program Committee,
IEEE-CS Real-Time and Embedded Technology and Applications
Symposium (RTAS), San Jose, CA, September 2002
Member of Panel Subcommittee
and
Program Committee,
26th Annual
International IEEE-CS International Computer Software and
Application Conference (COMPSAC), Oxford, England,
August 2002
Member of Program Committee,
International Conference
on Enterprise Information
Systems (ICEIS),
April 2002
Work-in-Progress Program Chair, IEEE-CS Real-Time Technology and Applications
(RTAS), May 2001
COSC 6384 Real-Time Systems
Course webpage
Textbook webpage for
instructors and students (with lecture slides)
Reading assignments: read chapter 1,
review chapter 2 if needed,
read chapter 3.
Tutorial on Formal Analysis and Verification of Embedded/Real-Time Systems
Tornado tutorial
Selected basic references
Real-Time Operating Systems
Model checking overview.
Model checking examples.
How to do research, write papers/theses, and give
presentations (plus career development)
Suggested project topics
Note on Tornado: Set Tornado Registry to Local. This can be done in
tools\options\Tornado registry.
Last day to drop class: Nov. 4, 2009.
Homework 1 (due Tuesday, Oct. 13, in class)
Exam 1: Thursday, October 29, 2009 -
open-course-textbook, 1 page (both sides) of handwritten notes,
no photocopies of any materials,
no image-magnification equipment such as microscopes or magnifiers :),
no sharing of any material, calculator ok,
review to be held in class before the exam date.
Scheduling (chapters 1,3) plus some specification/verification (chapter 4:
constructing finite-state graphs and writing CTL formulas;
chapter 5: constructing simple state charts;
chapter 6: writing RTL formulas).
Schedule of presentations
Assignment 2 (due Tuesday, November 10, 11:59pm, Bonus +10% if submitted by
this original due date).
Extended till Friday, November 13, 11:59pm.
VxWorks guide: http://www-cdfonline.fnal.gov/daq/commercial/vxworks_programmers_guide5.5.pdf
Sample exam problems.
Assignment 3 (programming part, due Monday, December 7, 11:59pm).
Real-Time and Embedded Systems Power-Aware Computing Formal Verification Rule-Based Expert Systems Multimedia Communication Real-Time Networking Operating Systems E-Commerce Estella (Analysis and Optimization of Real-Time Rule-Based Systems)If a given rule-based system cannot deliver an adequate performance in bounded time, then it has to be optimized or resynthesized. The first part of the project investigates several approaches (state-space-based and semantics-based) for optimizing the rule base of expert systems. The second part of the project investigates the optimization of the match phase, which has a highly unpredictable runtime.
RETIMA-NET (REal-TIme MultimediA and Networking)
The objective of this project is to
develop and implement a unified framework for predictable real-time (wired and
wireless)
multimedia communication with several levels of guaranteed quality of
service (QoS).
Research issues include power-aware and location-aware computing.
MULAN: MUlti-mode variable subtask Length dvs scheduling Algorithms and Networks.
TAV (Timing Analysis and Verification of
Real-Time Systems)
Many of the systems and devices used in our modern society must
provide response that is both correct and timely.
More and more computer systems are built as integral parts of many
of these systems to monitor and control their functions and
operations.
These embedded systems often operate in environments where safety is
a major concern.
This project seeks to
develop sound methodologies and to apply the corresponding
tools to analyze and verify that these embedded
systems meet their specifications.
SDRTL: Systematic Debugging for path Real Time Logic
ECFCC: Expected Checksum based on Frames for Communication Circuits.
Scheduling of Real-Time
Tasks
Reward Optimization in (m,k)-firm Real-Time Systems
Real-Time Programming and Ada-2005
MULAN: MUlti-mode variable subtask Length dvs scheduling Algorithms and Networks
RealEnergy - Real Energy Usage of Power-Aware Algorithms
Real-Time
Database and Web Systems
OCTAVES (Optimizing Timing Analysis and Verification
of Embedded Systems
using Rule-Based-Analytic Techniques)
Most formal analysis and verification techniques suffer
from the combinatorial state explosion problem.
Despite advances in symbolic representations of the state
space of the system being analyzed,
more optimizations need to be performed to further combat
this problem.
This project develops a strategy for
optimizing the timing analysis and verification
of embedded systems
using analysis techniques that we have developed
for real-time rule-based systems.
Several strategies will be considered, two of which are: (1) Encode the embedded system and the timing requirements to be checked as a rule-based EQL program such that all timing requirements are satisfied if and only if the corresponding rule-based program has bounded response time. We then implement algorithms for computing numeric response time bounds. (2) Extend rule-based-analytic techniques to analyze the specification representing the embedded system. The specification may be written in an application-specific language or in a standard language designed for use with the analysis algorithm.
Medical Monitoring/Imaging Systems
Polytechnic University of Hong Kong
invites Professor Cheng to present a seminar,
July 2008.
Harbin Institute of Technology
invites Professor Cheng to present a seminar,
July 2008.
Professor Cheng invited to present a
seminar on real-time systems
at the University of Hong Kong,
June 30, 2008.
Chinese Academy of Sciences
invites Professor Cheng to present a seminar,
June 2008.
Invited Speaker,
``Formal Analysis and Verification
of Embedded and Real-Time Systems,''
IEEE Houston Meeting at HESS,
February 26, 2004.
Invited Speaker,
``Formal Analysis and Verification
of Real-Time and Embedded Systems,''
IEEE Galveston Bay Meeting at NASA-JSC,
noon July 17, 2003. (Free admission)
Tutorial Speaker,
Intl. Conf. on
Intelligent Systems Design and Applications,
Tulsa, Oklahoma, August 2003.
Keynote Speaker,
Intl. Conf. on Enterprise Information Systems (ICEIS),
Angers, France, April 2003.
Tutorial Speaker,
``Design and Analysis of Real-Time
and Multimedia Networking
Systems,''
Intl. Conference on Computer Communications and
Networks, October 12, 2002
Tutorial Speaker,
``Design and Analysis of Real-Time and Multimedia
Systems,''
IEEE Intl. Conf. on Multimedia and
Expo, Lausanne, Switzerland, August 26, 2002.
Invited Speaker,
``Formal Analysis and Verification of Real-Time Systems,''
University of Oklahoma, Norman, January 2002.
Invited Speaker,
``Timing Analysis and Scheduling of the X-38
Space Station Crew Return Vehicle Avionics,''
University of Maryland--College Park,
October 2000.
Keynote Speaker,
``E-commerce and its Real-Time Requirements,''
Intl. Conf. on Enterprise Information Systems (ICEIS),
Stafford, United Kingdom, July 2000.
Invited Speaker,
``Timing Analysis and Verification of Real-Time Rule-Based
Systems,''
Rice University, January 2000.
Invited Special Session/Panel Chair,
Special
Session on Software Engineering for Multimedia,
IEEE Intl. Conf. on Multimedia Computer Systems (ICMCS),
Florence, Italy, June 9, 1999.
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),
Prof. Alois Ferscha (University of Linz, Austria), and
Prof. Miguel Ceballos (Universidad Autonoma de Queretaro, Mexico), and
Prof. Hugh Anderson
(National University of Singapore)
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 2005.
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.
Y. W. Ahn, A. M. K. Cheng, J. Baek, and P. S. Fisher, ``A Multiplayer Real-Time Game Protocol Architecture for Reducing Network Latency,'' to appear in IEEE Transactions on Consumer Electronics, 2009.
A. M. K. Cheng and Yan Wang, ``A Dynamic Voltage Scaling Algorithm for Dynamic Workloads,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, July 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.
A. M. K. Cheng and Z. Zhang, ``Improving Web Server Performance with Adaptive Proxy Caching in Soft Real-Time Mobile Applications,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Vol. 47, pp. 103-115, February 2007.
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, Vol. 47, pp. 169-182, February 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.
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 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 Data Engineering, 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,'' accepted for publication in 1988, IEEE Transactions on Software Engineering.
Stefan Andrei and Albert M. K. Cheng, ``Decomposition-based Verification of Linear Real-Time Systems Specifications,'' 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), Washington, D.C., USA (Co-located with IEEE RTSS 2009), December 1, 2009.
Jim Ras and Albert M. K. Cheng, ``Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm,'' Proc. 15th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Beijing, China, Aug. 2009. Nominated for Best Paper Award.
Jian (Denny) Lin and Albert M. K. Cheng, ``Power-aware scheduling for Multiple Feasible Interval Jobs,'' Proc. 15th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Beijing, China, Aug. 2009. Nominated for Best Paper Award.
Albert M. K. Cheng and Sushil Digewade, ``Design Framework for Self-Stabilizing Real-Time Systems based on Real-Time Objects and Prototype implementation with Analysis,'' Software/Hardware Optimizations for Embedded Systems (SHOES) Symposium, in conjunction with ICESS-09, Hangzhou, China, May 25-27, 2009.
Jian (Denny) Lin and Albert M. K. Cheng, ``Real-time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries,'' IEEE International Conference on Advanced Information Networking and Applications (AINA), Bradford, UK, May 26-29, 2009.
Jim Ras and Albert M. K. Cheng, ``An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, CA, April 13 - 16, 2009.
Jim Ras and Albert M.K. Cheng, ``Real-Time Synchronization on Distributed Architecture with Ada 2005,'' ACM International Conference on the Ada Programming Language, Portland, Oregon, Oct. 2008.
Jian (Denny) Lin and Albert M. K. Cheng ``Real-time Task Assignment in Rechargeable Multiprocessor Systems,'' IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Kaohsiung, Taiwan, Aug. 2008.
A. M. K. Cheng, ``Cyber-Physical Medical and Medication Systems,'' First International Workshop on Cyber-Physical Systems (WCPS2008), sponsored by the United States National Science Foundation, Beijing, China, June 20, 2008 (in conjunction with IEEE ICDCS 2008, Beijing, China, June 17-20, 2008).
B. Sanati and A. M. K. Cheng, ``Maximizing Job Benefits on Multiprocessor Systems Using a Greedy Algorithm,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, St. Louis, MO, April 22-24, 2008. One of 4 best papers.
C. Belwal, A. M. K. Cheng, W. Taha, and A. Zhu, ``Time Analysis of the Priority based FRP System,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, St. Louis, MO, April 22-24, 2008.
J. Lin, Y. Chen, and A. M. K. Cheng ``On-Line Burst Header Scheduling in Optical Burst Switching Networks,'' IEEE AINA, Japan, 2008.
A. M. K. Cheng, ``Applying (m, k)-firm Scheduling to Medical and Medication Systems,'' Workshop on Software and Systems for Medical Devices and Services (SMDS), in conjunction with IEEE-CS Real-Time Systems Symposium, Tucson, Arizona, Dec. 2007.
S. Andrei and A. M. K. Cheng, ``Verifying Linear Real-Time Logic Specifications,'' IEEE-CS Real-Time Systems Symposium, Tucson, Arizona, Dec. 2007.
S. Gupta, R. Zheng, and A. M. K. Cheng,``ANDES: an Anomaly Detection System for Wireless Sensor Networks,'' The Fourth IEEE International Conference onMobile Ad-hoc and Sensor Systems (MASS), Pisa, Italy, October 8-11, 2007.
Albert M. K. Cheng and James Ras, ``The Implementation of the Priority Ceiling Protocol in Ada-2005 Using a Shared Memory Programming Model,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.
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, ``Systematic debugging of real-time systems based on incremental 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 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.
L. N. Nguyen and A. M. K. Cheng, ``An Imprecise Real-Time Image Magnification Algorithm,'' Proc. Intl. Symp. on Multimedia Systems, Yokohama, Japan, Mar. 1996.
A. M. K. Cheng and X. Huang, ``An Imprecise Real-Time Video Transmission Algorithm,'' Proc. Intl. Computer Science Conf., Hong Kong, Dec. 1995.
B. Zupan, A. M. K. Cheng, and M. Bohanec, ``Static Stability Analysis Method for Fuzzy Rule-Chaining Real-Time Systems,'' Proc. IFAC Conf. on Artificial Intelligence in Real-Time Control, Slovenia, Nov. 1995.
C.-Y. Wang and A. M. K. Cheng, ``Increasing Production System Parallelism via Synchronization Minimization and Look-Ahead Conflict Resolution,'' Proc. 24th Intl. Conf. on Parallel Processing, Oconomowoc, WI, Vol. III, pp. 85-92, Aug. 1995.
X. Huang and A. M. K. Cheng, ``Applying Imprecise Algorithms to Real-Time Image and Video Transmission,'' Proc. IEEE-CS Real-Time Technology and Applications Symp., Chicago, IL, pp. 96-101, May 1995.
J.-R. Chen and A. M. K. Cheng, ``Predicting the Response Time of OPS5-style Production Systems,'' Proc. IEEE-CS Conf. on Artificial Intelligence for Applications, Los Angeles, CA, pp. 203-209, Feb. 1995.
T. Lee and A. M. K. Cheng, ``Multiprocessor Scheduling of Independent Hard-Real-Time Periodic Tasks with Task Migration Constraints,'' Proc. IEEE-CS Workshop on Real-Time Computing Systems and Applications, Seoul, Korea, Dec. 1994.
J.-R. Chen and A. M. K. Cheng, ``Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments,'' Proc. 6th IEEE-CS Intl. Conf. on Tools with Artificial Intelligence, New Orleans, LA, pp. 297-303, Nov. 1994.
A. M. K. Cheng, ``Design of Knowledge-Based Expert Systems for Time-Critical Applications,'' Proc. 9th IEEE Annual Intl. Conf. on Frontiers of Computer Technology, Aug. 1994.
J.-R. Chen and A. M. K. Cheng, ``A Fast, Partially Parallelizable Algorithm for predicting Execution Time of EQL Rule-Based Programs,'' Proc. 23rd Intl. Conf. on Parallel Processing, St. Charles, IL, Aug. 1994.
H.-Y. Tsai and A. M. K. Cheng, ``Termination Analysis of OPS5 Expert Systems,'' Proc. 12th National Conf. on Artificial Intelligence (AAAI), Seattle, WA, pp. 193-198, Aug. 1994.
A. M. K. Cheng and L. Zhang, ``An Efficient On-Line Scheduler for Real-Time Main Memory Database Systems,'' Proc. IEEE Intl. Conf. on Data and Knowledge Systems for Manufacturing and Engineering, Hong Kong, pp. 680-685, May 1994.
B. Zupan and A. M. K. Cheng, ``Response Time Optimization of Rule-Based Expert Systems,'' Proc. SPIE OE/Aerospace Sensing Conference on Knowledge-Based Artificial Intelligence Systems in Aerospace and Industry, Orlando, FL, pp. 240-248, Apr. 1994.
B. Zupan and A. M. K. Cheng, ``Optimization of Rule-Based Systems via State Transition System Construction,'' Proc. IEEE-CS Conf. on Artificial Intelligence for Applications, San Antonio, TX, pp. 320-326, March 1994.
A. M. K. Cheng, ``Design Issues of Adaptive and Fault-Tolerant Real-Time Intelligent Systems,'' Proc. IEEE Intl. Conf. on Networks & Information Engineering, Singapore, pp. 178-182, Sept. 1993.
A. M. K. Cheng, ``Parallel Execution of Real-Time Rule-Based Systems,'' Proc. 7th IEEE-CS Intl. Parallel Processing Symp., Newport Beach, CA, pp. 779-786, Apr. 1993.
A. M. K. Cheng, ``Scheduling Transactions in Real-Time Database Systems,'' Proc. IEEE-CS Computer Conf., San Francisco, CA, pp. 222-231, Feb. 1993.
A. M. K. Cheng, ``Self-Stabilizing Real-Time Rule-Based Systems,'' Proc. 11th IEEE-CS Symp. on Reliable Distributed Systems, Houston, Texas, pp. 172-179, Oct. 1992.
A. M. K. Cheng and C.-H. Chen, ``Efficient Response Time Bound Analysis of Real-Time Rule-Based Systems,'' Proc. 7th IEEE Conf. on Computer Assurance, U.S. National Institute of Standards and Technology, Gaithersburg, MD, pp. 63-76, June 1992.
A. M. K. Cheng, ``Fast Static Timing Analysis of Real-Time Systems,'' Proc. 25th Intl. Conf. on System Sciences, Kauai, HI, Jan. 1992.
A. M. K. Cheng, ``Implementing a Tool for Timing Analysis of Real-Time Production Systems,'' Proc. 3rd IEEE-CS Intl. Conf. on Tools for Artificial Intelligence, San Jose, CA, Nov. 1991.
A. M. K. Cheng, J. C. Browne, A. K. Mok, and R.-H. Wang, ``Estella: A Language for Specifying Behavioral Constraint Assertions in Real-Time Rule-Based Systems,'' Proc. 6th IEEE Conf. on Computer Assurance, U.S. National Institute of Standards and Technology, Gaithersburg, MD, pp. 107-123, June 1991.
C.-K. Wang, A. K. Mok, and A. M. K. Cheng, ``MRL: A Real-Time Rule-Based Production System,'' Proc. 11th IEEE-CS Real-Time Systems Symposium, Orlando, FL, pp. 267-276, Dec. 1990.
A. M. K. Cheng and C.-K. Wang, ``Fast Static Analysis of Real-Time Rule-Based Systems to Verify Their Fixed Point Convergence,'' Proc. 5th IEEE Conf. on Computer Assurance, U.S. National Institute of Standards and Technology, Gaithersburg, Maryland, pp. 46-56, June 1990.
A. M. K. Cheng, ``On the Implementation of Distributed Agreement Protocols in Computer Networks,'' Proc. IEEE Intl. Conf. on Networks, Singapore, pp. 338-342.
A. M. K. Cheng and F. Jiang, ``An Improved Priority Ceiling Protocol to Reduce Context Switches in Task Synchronization,'' Technical Report UH-CS-05-23, November 2005.
A. M. K. Cheng and S. Fang, ``Study and Simulation of a Distributed Real-Time Fault-Tolerance Web Monitoring System,'' Technical Report UH-CS-05-20, August 2005.
A. M. K. Cheng and S. Fujii, ``Self-Stabilizing Real-Time OPS5 Production Systems,'' Technical Report UH-CS-04-07, 2004.
S. Digewade and Albert M. K. Cheng, ``Design Framework for Self-Stabilizing Real-Time Systems based on Real-Time Objects and Prototype implementation with Analysis,'' Technical Report UH-CS-04-06, 2004.