Spring 2015 Presentations *********************************************** Note: Each presentation is around 10 to 15 minutes. For a team project, each member of the team must present. Everyone is expected to attend and ask questions (attendance will be taken). A discussion follows each set of talks. If you are at the beginning or midway through your project, present an outline of what you are doing and expected results. Write a short review (a paragraph) of each talk for submission with your hardcopy project report (also email me an e-version) due 5:00pm, 5/6/2015. Extended till Monday, 5/11/2015, 4:00pm. Also send me the presentation slides after the talk. If I am not in my office, slide final hardcopy report under my office door. Please email me your topic and referenced paper(s)' titles at least one week before your presentation. *********************************************** 4/22 Rincon,Carlos Alberto Title: Entropy as a parameter to schedule real-time systems tasks. References: C.E.Shannon, A mathematical theory of communication, Bell system technical journal, vol. 27, 1948. C. L. Liu and James W. Layland. 1973. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM 20, 1 (January 1973), 46-61. J. P. Lehoczky, L. Sha and Y. Ding. 1989. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Real Time Systems Symposium, pp. 166-171 R. Sharma and Nitin. 2014. Entropy, a new dynamics governing parameter in real time distributed system: a simulation study. International Journal of Parallel, Emergent and Distributed Systems. Vol. 29, Iss. 6, 2014 ---------------------------------------------------------------------------------- Chacko,Arun C "Tool/GUI to simulate the schedulability of tasks" ---------------------------------------------------------------------------------- Prof. Cheng Timed Automata 4/27 Gunasekar,Aishwarya Title: "Simulation and enhancement of On-Line Burst Header Scheduling in Optical Burst Switching Networks" Reference: "On-Line Burst Header Scheduling in Optical Burst Switching Networks" - Jian Lin, Yuhua Chen, Cheng, A.M.K ---------------------------------------------------------------------------------- Tan,Su Hui Title: "Video Feed with scheduling" ---------------------------------------------------------------------------------- ---------------------------------------------------------------------------------- Pham,Nguyen D Title: "Restricted RTL Verification with Efficient Circuits Enumeration" ---------------------------------------------------------------------------------- Zhou,Xianping Title: "Scheduling Fault-Tolerant Resource Partitions" Reference: 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. 4/29 Team: Pochiraju,Anirudh Venkata Sriperumbooduru,Harshavardhan Title: "Implementation of traffic signal preemption" ---------------------------------------------------------------------------------- Alavi,Seyed Mohsen Title: "Implementing a scheduling tool using python" ---------------------------------------------------------------------------------- Team: Sitter,Adrien Chotard,David Loic GUI to enable the user to define a task set and the scheduler to use. The application then computes schedulability tests and displays schedulability plots. ---------------------------------------------------------------------------------- 5/4 Li,Chonghua Title: "Fault-Tolerant Mixed-Criticality Scheduling" Reference: Jian (Denny) Lin, Albert M. K. Cheng, Douglas Steel, and Michael Yu-Chi Wu, ``Scheduling Mixed-Criticality Real-Time Tasks with Fault Tolerance,'' 2nd Workshop on Mixed Criticality (WMC), in conjuction with IEEE RTSS, Rome, Italy, December 2, 2014. ---------------------------------------------------------------------------------- Vyas,Meenal Implementation of: "End-to-End Delay Analysis of Distributed Systems with Cycles in the Task Graph" by Praveen Jayachandran and Tarek Abdelzaher ---------------------------------------------------------------------------------- Xing,Yutao Title: Deterministic Finite Automation Application in Real Time System References: 1. Timed Automata: Semantics, Algorithms and Tools, Johan Bengtsson and Wang Yi, Uppsala University 2. Real-Time Systems: Scheduling, Analysis, and Verification, Ch 2 and Ch7, A. M. K. Cheng, Real-Time Systems: Scheduling, Analysis, and Verification John Wiley & Sons, 2002. ----------------------------------------------------------------------------------