Final Conference Program

• Session 1: Resource Management and Scheduling (April 17 -- 10:00)
  Chair: Shinpei Kato

• Explicit Reservation of Local Memory in a Predictable, Preemptive Multitasking Real-time System
  by Jack Whitham and Neil Audsley

• Realizing Compositional Scheduling through Virtualization
  by Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T,X, Phan, Chris Gill, Insup Lee, Chenyang Lu and Oleg Sokolsky

• Implementation and Evaluation of Mixed-Criticality Scheduling Algorithms for Periodic Tasks
  by Huang-Ming Huang, Christopher Gill and Chenyang Lu

• Session 2: Real-time Applications (April 17 -- 13:00)
  Chair: Zonghua Gu

• Low Contention Mapping of Real-Time Tasks onto a TilePro 64 Core Processor
  by Christopher Zimmer and Frank Mueller

• Soft Real-Time Scheduling in Google Earth
  by Jeremy P Erickson, Greg Coombe and James H Anderson

• Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding 
  by Wei Tong, Orlando Moreira, Rick Nas and Kees van Berkel

• Session: Work in Progress (WiP) (April 17, 15:00)
  Chair: Shinpei Kato
  
• Session: Poster session for WiP papers (April 17, 16:30 -- 19:00)
  
  
• Session 3: Real-Time Systems with Temperature Constraints: Real-Time Becomes "Hot" (April 18 -- 10:00)
  Chair: Daniel Mosse

• The Design and Analysis of Thermal-Resilient Hard-Real-Time Systems
  by Pradeep Hettiarachchi, Nathan Fisher, Masud Ahmed, Le Yi Wang, Shinan Wang and Weisong Shi

• Timing Analysis on a Processor with Temperature-Controlled Speed Scaling
  by Pratyush Kumar and Lothar Thiele

• Worst-Case Temperature Guarantees for Real-Time Applications on Multi-Core Systems
  by Lars Schor, Iuliana Bacivarov, Hoeseok Yang and Lothar Thiele

• Session 4: Wireless Sensor Networks (April 18 -- 13:00)
  Chair: Tarek Abdelzaher

• Near Optimal Rate Selection for Wireless Control Systems
  by Abusayeed Saifullah, Chengjie Wu, Paras Tiwari, You Xu, Yong Fu, Chenyang Lu and Yixin Chen

• RoamingHART: A Collaborative Localization System on WirelessHART
  by Xiuming Zhu, Pei-Chi Huang, Song Han, Aloysius K, Mok, Deji Chen and Mark Nixon

• MultiNets: Policy Oriented Real-Time Switching of Wireless Interfaces on Mobile Devices
  by S, M, Shahriar Nirjon, Angela Nicoara, Cheng-Hsin Hsu, Jatinder Singh and John Stankovic

• Session 5: Real-time Architectures for Memory Storage and Caches (April 18 -- 13:00)
  Chair: Steve Goddard

• Real-Time Flash Translation Layer for NAND Flash Memory Storage Systems
  by Zhiwei Qin, Yi Wang, Duo Liu and Zili Shao 

• A small and effective data cache for real-time multitasking systems
  by Juan Segarra, Clemente Rodríguez, Rubén Gran, Luis Carlos Aparicio and Víctor Viñals

• WCET Analysis with MRU Caches: Challenging LRU for Predictability
  by Nan Guan, Mingsong Lv and Wang Yi

• Session 6: Models and Analysis Methods for Real-time Architectures (April 18 -- 15:00)
  Chair: Luis Almeida

• A Federated Approach to Increasing the Timely Throughput of Real-Time Data Services
  by Yan Zhou and KD Kang

• From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
  by Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky and Rahul Mangharam

• Schedulability Analysis for the Dynamic Segment of FlexRay: A Generalization to Slot Multiplexing
  by Bogdan Tanasa, Unmesh Bordoloi, Stefanie Kosuch, Petru Eles and Zebo Peng

• Session 7: HW-SW Codesign (April 18 -- 15:00)
  Chair: Jian-Jia Chen

• A Unified WCET Analysis Framework for Multi-core Platforms
  by Sudipta Chattopadhyay, Chong Lee Kee, Abhik Roychoudhury, Timon Kelter, Heiko Falk and Peter Marwedel

• Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding
  by Xue-Yang Zhu, Marc Geilen, Twan Basten and Sander Stuijk

• Leveraging both Data Cache and Scratchpad Memory through Synergetic Data Allocation
  by Sangyeol Kang and Alexander Dean
  

• Session 8: Real-Time Operating Systems and Tools (April 19 -- 10:00)
  Chair: Linh T.X. Phan

• RTOS Support for Multicore Mixed-Criticality Systems
  by Jonathan Herman, Christopher Kenna, Malcolm Mollison, James Anserson and Daniel Johnson

• PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems
  by Jia Zou, Slobodan Matic and Edward A, Lee
  

• Developing Predictable Real-Time Embedded Systems using AnvilJ
  by Ian Gray and Neil Audsley

• Session 9: Energy-Efficient Designs (April 19 -- 13:00)
  Chair: Zili Shao

• Thread assignment optimization with real-time performance and memory bandwidth guarantees for energy-efficient heterogeneous multi-core systems
  by Vinicius Petrucci, Orlando Loques, Daniel Mosse, Rami Melhem, Neven Gazala and Sameh Gobriel

• Power-Saving Design for Server Farms with Response Time Percentile Guarantees
  by Shengquan Wang, Jun Liu, Waqaas Munawar, Jian-Jia Chen and Xue Liu

• Energy Management under General Task-Level Reliability Constraints
  by Baoxian Zhao, Hakan Aydin and Dakai Zhu

• Session 10: Designing Efficient Task Models (April 19 -- 15:00)
  Chair: Oleg Sokolsky

• Schedulability Analysis and Priority Assignment for Global Job-Level Fixed-Priority Multiprocessor Scheduling
  by Hyoungbu Back, Hoon Sung Chwa and Insik Shin

• pCOMPATS: Period-Compatible Task Allocation and Splitting On Multi-Core Processors
  by Arvind Kandhalu, Karthik Lakshamanan and Ragunathan (Raj) Rajkumar

• Modeling Task Systems Using Parameterized Partial Orders
  by Fred Houben, Georgeta Igna and Frits Vaandrager