Sample project topics: (this is only a sample, you are not restricted to working on these topics) 0. Real-Time Virtual Resources Yu Li and Albert M. K. Cheng, ``Transparent Real-Time Task Scheduling on Temporal Resource Partitions,'' IEEE Transactions on Computers, pages 1646-1655, May 2016. Yu Li and Albert M. K. Cheng, `` Static Approximation Algorithms for Regularity-based Resource Partitioning,'' 33rd Real-Time Systems Symposium (RTSS), San Juan, Puerto Rico, USA, December 5-7, 2012. Functional Reactive Systems 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. Yu Jiang, Albert M. K. Cheng, and Xingliang Zou, ``Schedulability Analysis for Real-Time P-FRP Tasks Under Fixed Priority Scheduling,'' 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),, Hong Kong, Aug 19-21, 2015. Zeinab Kazemi and Albert M. K. Cheng, ``A Scratchpad Memory-Based Execution Platform for Functional Reactive Systems and its Static Timing Analysis,'' 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Daegu, Korea, August 17-19, 2016. Chaitanya Belwal and Albert M. K. Cheng, `` Determining Actual Response Time in P-FRP,'' Thirteenth International Symposium on Practical Aspects of Declarative Languages ( PADL), Austin, Texas, USA January 24-25, 2011. Cloud Computing Yong woon Ahn, Albert M. K. Cheng, Jinsuk Baek, Minho Jo, and Hsiao-Hwa Chen, `` An Auto-Scaling Mechanism for Virtual Resources to Support Mobile, Pervasive, Real-Time, Healthcare Applications in Cloud Computing,'' IEEE Network, September 2013. Yong woon Ahn and Albert M. K. Cheng, ``MIRRA: Rule-Based Resource Management for Heterogeneous Real-Time Applications Running in Cloud Computing Infrastructures,'' 10th International Workshop on Feedback Computing, co-located with CPSWeek, Seattle, Washington, April 13, 2015. Yong woon Ahn and Albert M. K. Cheng, `` Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture,'' Medical Cyber Physical Systems Workshop (MedicalCPS), Cyber-Physical Systems Week (CPSWeek), Berlin, Germany, April 14, 2014. Yong woon Ahn and Albert M. K. Cheng, `` Autonomic Computing Architecture for Real-Time Medical Application Running on Virtual Private Cloud Infrastructures,'' 33rd Real-Time Systems Symposium (rtss) WIP Session, San Juan, Puerto Rico, USA, December 4-7, 2012. 1. Real-Time Scheduling of Heterogeneous Multiprocessors 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. Also see: http://www.utdallas.edu/~edsha/ http://www.cs.unc.edu/~anderson/papers.html Behnaz Sanati and Albert M. K. Cheng, ``LBBA: An Efficient Online Benefit-Aware Multiprocessor Scheduling for QoS via Online Choice of Approximation Algorithms,'' Future Generation Computer Systems, Elsevier, Volume 59, pages 125-135, June 2016. 2. Research directions given in section 7 of: 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. 3. Apply fault tolerance techniques to EQL, C, C++, Ada, or Java programs with timing constraints. See M. Demirbas and A. Arora. Convergence refinement. Proceedings of the 22nd International Conference on Distributed Systems (ICDCS 2002), Vienna, Austria, 589-597. 2002. A. Arora, M. Demirbas and S. Kulkarni. Graybox stabilization. International Conference on Dependable Systems and Networks (DSN'2001), Goteborg, Sweden, July 2001. http://www.cis.ohio-state.edu/siefast/group/publications.html 4. Using ideas from chapter 12 of the textbook, develop timing optimization strategies for C, C++, Ada, or Java programs. 5. Develop more accurate worst-case execution time (WCET) prediction for C, C++, or Java programs running in a specific architecture with a specific OS. See http://www.cs.york.ac.uk/rts/papers.php 6. Develop algorithms for routing, connection, and security with timing constraints guarantee for wireless ad hoc networks. See Proceedings of the IEEE Symposium on Security & Privacy 2005 http://www.monarch.cs.rice.edu/papers.html http://www.ee.washington.edu/research/nsl/faculty/radha/ 7. Apply self-stabilizing techniques (non-masking fault tolerance) used in these 2 papers (available from the library IEEE-CD) A. M. K. Cheng, ``Self-Stabilizing Real-Time Rule-Based Systems,'' 11th IEEE-CS Symp. on Reliable Distributed Systems, Houston, Texas, pp. 172-179, Oct. 1992, and A. M. K. Cheng and S. Fujii, ``Bounded-Response-Time Self-Stabilizing OPS5 Production Systems,'' Proc. IEEE-CS Intl. Parallel and Distributed Processing Symp., Cancun, Mexico, 2000 in C, C++, or Java programs. Also, see 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. Fault Tolerance Jim Ras and Albert M. K. Cheng, `` On the Toyota's Throttle Control Problem,'' IEEE/ACM International Conference on Green Computing and Communications and IEEE/ACM International Conference on Cyber, Physical and Social Computing , Hangzhou, Zhejiang, China, December 18-19, 2010. Jian Lin, Albert M. K. Cheng, and Gokhan Gercek, `` Partitioning Real-Time Tasks with Replications on Multiprocessor Embedded Systems,'' IEEE Embedded Systems Letters, December 2016. 8. Develop more efficient model checking algorithms. See the ideas on symmetry and partial order reduction: http://www.cs.utexas.edu/users/emerson/publications.html 9. Design and analysis of networked embedded/real-time systems such as a network of sensors or surveillance units to acomplish an overall task of threat monitoring. See IEEE Computer Sept. 2002 issue. 10.Use of expert systems, fuzzy-logic, neural networks, and other techniques to detect threats and track persons, cars, objects, etc. in a network of sensor/cameras. See G. T. Kogut and M. M. Trivedi, ``Real-Time Wide Area Tracking: Hardware and Software Infrastructure,'' Proc. 5th IEEE Intl. Conf. On Intelligent Transportation Systems, Singapore, Sept. 2002. 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. 11.Compressing BDDs to yield smaller size! https://www.fastlane.nsf.gov/servlet/showaward?award=9986308 12.More model checking and verification: https://www.fastlane.nsf.gov/servlet/showaward?award=9988884 https://www.fastlane.nsf.gov/servlet/showaward?award=9734115 http://www.cs.rice.edu/~vardi/papers/index.html 13.Sensor networks http://web.engr.illinois.edu/~zaher/ http://www.ee.washington.edu/research/nsl/faculty/radha/ 14.Develop a conversion methodology and tool to specify systems in an industrial/commercial domain efficiently as a finite-state system, which can then be analyzed by an existing model checker to determine if it is a model of specified properties expressed in CTL and some logic. See, for example, Nina Amla, E. Allen Emerson and Kedar S. Namjoshi. Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME 1999: Pages 67-81. http://www.cs.utexas.edu/users/emerson/publications.html 15.WWW research: extend the work in UH-CS-05-20 (download from pre-prints in our CS website) STUDY AND SIMULATION OF A DISTRIBUTED REAL-TIME FAULT-TOLERANCE WEB MONITORING SYSTEM, Albert M. K. Cheng, Shaohong Fang, August 29, 2005 16.Power-Aware Computing 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. Jian Lin and Albert M. K. Cheng, `` Assigning Real-Time Tasks in Environmentally Powered Distributed Systems,'' Circuits and Systems, 5, pages 98-113, April 2014. Jian (Denny) Lin, Albert M. K. Cheng, and Wei Song, `` A Practical Study of Low-Power Scheduling Algorithms on Real-Time and Embedded Systems,'' Journal of Low Power Electronics and Applications, 2014. Jian (Denny) Lin and Albert M. K. Cheng, `` Energy Reduction for Scheduling a Set of Multiple Feasible Interval Jobs,'' Special Issue (SI) on Selected Top Papers of RTCSA 2009, Journal of Systems Architecture: Embedded Software Design, Elsevier, 56(11), November 2010. Jian (Denny) Lin, Wei Song, and Albert M. K. Cheng, `` RealEnergy: a New Framework and a Case Study to Evaluate Power-Aware Real-Time Scheduling Algorithms,'' ACM International Symposium on Low Power Electronics and Design (ISLPED), Austin, Texas, USA, August 18-20, 2010. 17.Modular Verification and Debugging of Real-Time System Components 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. 18.Security in real-time/embedded systems, sensors, and networks https://www.nsf.gov/pubs/2016/nsf16580/nsf16580.htm#toc http://www.cs.unc.edu/~reiter/ http://web.engr.illinois.edu/~zaher/ 19.Real-Time Java and Garbage Collection http://www.ccis.northeastern.edu/people/jan-vitek/ Prof. Jan Vitek's papers 20.Enhancements to: Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng, and Bozheng Liu, ``Regularity-based Virtualization under the ARINC 653 Standard for Embedded Systems,'' IEEE Transactions on Computers (TC), preprint, December 24, 2021. Pavan Kumar Paluri, Guangli Dai, and Albert M. K. Cheng, ``ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen,'' 22nd ACM International Conference on Languages Compilers, Tools and Theory of Embedded Systems (LCTES), co-located with PLDI, Virtual, June 2021. Artifact Evaluated: Available and Functional. 21.Enhancements to: Sayeda Farzana Aktar, Stefan Andrei, and Albert M. K. Cheng, ``Heart Disease Detection Methodology using E-Stethoscope,'' 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) BP, Virtual, May 2021. 22.Enhancements to: Elena Torre, Albert M. K. Cheng, Guangli Dai, and Pavan Kumar Paluri, ``Two-State Checkpointing Regularity-Based System for Mixed-Criticality Tasks,'' 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) BP, Virtual, May 2021. Elena Torre and Albert M. K. Cheng, ``Fault Tolerance in a Two-State Checkpointing Regularity-Based System,'' 41th IEEE Real-Time Systems Symposium (RTSS), Virtual (changed from in-person, Houston, Texas, USA), December 1-4, 2020. 23.Enhancements to RT-CIRAM: Real-Time COVID-19 Infection Risk Assessment and Mitigation based on Public-Domain Data, Workshop on HPC for urgent decision making (UrgentHPC), in conjunction with SC2021: The International Conference on High Performance Computing, Networking, Storage and Analysis, November 19, 2021.