Sessions
Wednesday | Session 1: MemoryChair: Francisco Cazorla, Barcelona Supercomputing Center, Spain |
10:30 | DYNAMIC COMMAND SCHEDULING FOR REAL-TIME MEMORY CONTROLLERS Yonghui Li, Benny Akesson and Kees Goossens Eindhoven University, Netherlands, Czech Technical University in Prague, Czech Republic |
11:00 | EVALUATION OF CACHE PARTITIONING FOR HARD REAL-TIME SYSTEMS Sebastian Altmeyer, Roeland Douma, Will Lunniss and Robert Davis University of Amsterdam, Netherlands, University of York, United Kingdom |
11:30 | A RANK-SWITCHING, OPEN-ROW DRAM CONTROLLER FOR MIXED-CRITICALITY SYSTEMS Yogen Krishnapillai, Zheng Pei Wu and Rodolfo Pellizzoni University of Waterloo, Canada |
Wednesday | Session 2: Communication and SynchronizationChair: Christian Fraboul, Université de Toulouse, France |
13:30 | FORMAL VERIFICATION OF REAL-TIME WIRELESS SENSOR NETWORKS PROTOCOLS: SCALING UP Alexandre Mouradian and Isabelle Augé-Blum Institut National des Sciences Appliquées, Lyon, France |
14:00 | MODEL CHECKING PROCESS ALGEBRA OF COMMUNICATING RESOURCES FOR REAL-TIME SYSTEMS Jalil Boudjadar, Jin Hyun Kim, Kim G. Larsen and Ulrik Nyman Aalborg Universitet, Copenhagen, Denmark |
14:30 | THE FMLP+: AN ASYMPTOTICALLY OPTIMAL REAL-TIME LOCKING PROTOCOL FOR SUSPENSION-AWARE ANALYSIS Björn Brandenburg Max Planck Institute for Software Systems, Kaiserslautern, Germany |
Wednesday | Session 3: Multicore - AnalysisChair: Björn Brandenburg, Max Planck Institute for Software Systems, Germany |
15:30 | PUTTING RUN INTO PRACTICE: IMPLEMENTATION AND EVALUATION Davide Compagnin, Enrico Mezzetti and Tullio Vardanega University of Padua, Italy |
16:00 | ANALYSIS OF FEDERATED AND GLOBAL SCHEDULING FOR PARALLEL REAL-TIME TASKS Jing Li, Jian-Jia Chen, Kunal Agrawaly, Chenyang Luy, Chris Gill and Abusayeed Saifullah Washington University in St. Louis, USA, Karlsruhe Institute of Technology, Germany |
16:30 | IMPROVED MULTIPROCESSOR GLOBAL SCHEDULABILITY ANALYSIS OF SPORADIC DAG TASK SYSTEMS Sanjoy Baruah University of North Carolina at Chapel Hill, USA |
Thursday | Session 4: Mixed Criticality and SecurityChair: Robert Davis, University of York, United Kingdom |
10:30 | MULTI-CORE INTERFERENCE-SENSITIVE WCET ANALYSIS LEVERAGING RUNTIME RESOURCE CAPACITY ENFORCEMENT Jan Nowotsch, Michael Paulitsch, Daniel Bühler, Henrik Theiling, Simon Wegener and Michael Schmidt Airbus Group, SYSGO AG, AbsInt Angewandte Informatik GmbH, Germany |
11:00 | RUN-TIME CONTROL TO INCREASE TASK PARALLELISM IN MIXED-CRITICAL SYSTEMS Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange and Matthieu Roy ONERA, LAAS-CNRS, Toulouse, France |
11:30 | REAL-TIME SYSTEMS SECURITY THROUGH SCHEDULER CONSTRAINTS Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni and Rakesh Bobba University of Illinois at Urbana-Champaign, USA, University of Waterloo, Canada |
Thursday | Session 5: New Approaches for Singlecore SystemsChair: Sanjoy Baruah, University of North Carolina at Chapel Hill, USA |
13:30 | REFINEMENT-BASED EXACT RESPONSE-TIME ANALYSIS Martin Stigge, Nan Guan and Wang Yi Uppsala University, Sweden |
14:00 | OPTIMAL DESIGN FOR RESERVATION SERVERS UNDER SHARED RESOURCES Alessandro Biondi, Alessandra Melani, Marko Bertogna and Giorgio Buttazzo Scuola Superiore Sant'Anna, Pisa, Italy, University of Modena, Italy |
14:30 | EXACT INTERFERENCE OF ADAPTIVE VARIABLE-RATE TASKS UNDER FIXED-PRIORITY SCHEDULING Alessandro Biondi, Alessandra Melani, Mauro Marinoni, Marco Di Natale and Giorgio Buttazzo Scuola Superiore Sant'Anna, Pisa, Italy |
Thursday | Session 6: RTE MechanismsChair: Marco Di Natale, Scuola Superiore Sant'Anna, Pisa, Italy |
15:30 | EXPLICIT PREEMPTION PLACEMENT FOR REAL-TIME CONDITIONAL CODE Bo Peng, Nathan Fisher and Marko Bertogna Wayne State University, Detroit, USA, University of Modena, Italy |
16:00 | MULTI SLOTH: AN EFFICIENT MULTI-CORE RTOS USING HARDWARE-BASED SCHEDULING Rainer Müller, Daniel Danner, Wolfgang Schröder-Preikschat and Daniel Lohmann Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany |
Friday | Session 7: Harmonic Tasks SystemsChair: Nathan Fisher, Wayne State University, USA |
09:00 | ANALYSIS TECHNIQUES FOR SUPPORTING HARMONIC REAL-TIME TASKS WITH SUSPENSIONS Cong Liu, Jian-Jia Chen, Liang He and Yu Gu The University of Texas at Dallas, USA, Karlsruhe Institute of Technology, Germany, Singapore University of Technology and Design |
09:30 | A FRAMEWORK TO CONSTRUCT CUSTOMIZED HARMONIC PERIODS FOR REAL-TIME SYSTEMS Mitra Nasri, Gerhard Fohler and Mehdi Kargahi University of Tehran, Iran, Technische Universität Kaiserlautern, Germany |
Friday | Session 8: Power Aware System ControlChair: Jian-Jia Chen, TU Dortmund, Germany |
10:30 | COADAPT: PREDICTABLE BEHAVIOR FOR ACCURACY-AWARE APPLICATIONS RUNNING ON POWER-AWARE SYSTEMS Henry Hoffmann The University of Chicago, USA |
11:00 | PREDICTIVE THERMAL CONTROL FOR REAL-TIME VIDEO DECODING Mehmet Suzer and Kyoung-Don Kang Harran Üniversitesi, Sanliurfa, Turkey, State University of New York at Binghamton, USA |
11:30 | NECESSARY AND SUFFICIENT CONDITIONS FOR THERMAL SCHEDULABILITY OF PERIODIC REAL-TIME TASKS Rehan Ahmed, Parameswaran Ramanathan and Kewal K. Saluja University of Wisconsin–Madison, USA |
Friday | Session 9: Probabilistic MethodsChair: Sophie Quinton, INRIA, France |
13:30 | ON THE COMPARISON OF DETERMINISTIC AND PROBABILISTIC WCET ESTIMATION TECHNIQUES Jaume Abella, Damien Hardy, Isabelle Puaut, Eduardo Quinones and Francisco Cazorla Barcelona Supercomputing Center, Spain, Université de Rennes 1 / IRISA, France |
14:00 | PUB: PATH UPPER-BOUNDING FOR MEASUREMENT-BASED PROBABILISTIC TIMING ANALYSIS Leonidas Kosmidis, Jaume Abella, Franck Wartel, Eduardo Quinones, Antoine Colin and Francisco Cazorla Barcelona Supercomputing Center, Spain, Airbus Group, France |
14:30 | HEART OF GOLD: MAKING THE IMPROBABLE HAPPEN TO INCREASE CONFIDENCE IN MBPTA Jaume Abella, Eduardo Quinones, Franck Wartel, Tullio Vardanega and Francisco Cazorla Barcelona Supercomputing Center, Spain, Airbus Group, France, University of Padova, Italy |
Friday | Session 10: Multicore - SchedulingChair: Marko Bertogna, University of Modena, Italy |
15:30 | OPTIMAL AND ADAPTIVE MULTIPROCESSOR REAL-TIME SCHEDULING: THE QUASI-PARTITIONING APPROACH Ernesto Massa, George Lima, Paul Regnier, Greg Levin and Scott Brandt Universidade Federal da Bahia, Brazil, University of California, University of California Santa Cruz, USA |
16:00 | THE GLOBAL LIMITED PREEMPTIVE EARLIEST DEADLINE FIRST FEASIBILITY OF SPORADIC REAL-TIME TASKS Abhilash Thekkilakattil, Sanjoy Baruah, Radu Dobrin and Sasikumar Punnekkat Mälardalen University College, Västerås, Sweden, University of North Carolina at Chapel Hill, USA |