The Community for Technology Leaders
2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2013)
Taipei, Taiwan
Aug. 19, 2013 to Aug. 21, 2013
ISSN: 1533-2306
ISBN: 978-1-4799-0850-9
TABLE OF CONTENTS

Table of contents (PDF)

pp. i-iv

Messages from the conference chairs (PDF)

Tei-Wei Kuo , Academia Sinica, National Taiwan University, Taiwan
Lothar Thiele , Swiss Federal Institute of Technology (ETH) Zuerich, Switzerland
Li-Pin Chang , National Chiao-Tung University, Taiwan
Christopher D. Gill , Washington University, St. Louis, USA
Jin Nakazawa , Keio University, Japan
pp. v

Keynote: “Re-engineering acute care” (PDF)

Lui Sha , University of Illinois at Urbana - Champaign, USA
pp. xi-xii

Global fixed priority scheduling with deferred pre-emption (Abstract)

R.I. Davis , University of York, UK
A. Burns , University of York, UK
J. Marinho , CISTER/INESC-TEC, ISEP, Porto, Portugal
V. Nelis , CISTER/INESC-TEC, ISEP, Porto, Portugal
S.M. Petters , CISTER/INESC-TEC, ISEP, Porto, Portugal
M. Bertogna , University of Modena, Italy
pp. 1-11

The Carousel-EDF scheduling algorithm for multiprocessor systems (Abstract)

Paulo Baltarejo Sousa , CISTER/INESC-TEC Research Center, Portugal
Pedro Souto , CISTER/INESC-TEC Research Center, Portugal
Eduardo Tovar , CISTER/INESC-TEC Research Center, Portugal
Konstantinos Bletsas , CISTER/INESC-TEC Research Center, Portugal
pp. 12-21

Applying the peak over thresholds method on worst-case response time analysis of complex real-time systems (Abstract)

Meng Liu , Mälardalen University, Västerås, Sweden
Moris Behnam , Mälardalen University, Västerås, Sweden
Thomas Nolte , Mälardalen University, Västerås, Sweden
pp. 22-31

Aperiodic job handling in cache-based real-time systems (Abstract)

Sankalpanand Motakpalli , Southern Illinois University Carbondale, USA
Vardhman Pukhraj Jain , Southern Illinois University Carbondale, USA
Harini Ramaprasad , Southern Illinois University Carbondale, USA
pp. 32-41

Worst-case memory traffic analysis for many-cores using a limited migrative model (Abstract)

Borislav Nikolic , CISTER/INESC-TEC, ISEP, IPP, Porto, Portugal
Patrick Meumeu Yomsi , CISTER/INESC-TEC, ISEP, IPP, Porto, Portugal
Stefan M. Petters , CISTER/INESC-TEC, ISEP, IPP, Porto, Portugal
pp. 42-51

Timing analysis of PCM main memory in multicore systems (Abstract)

Dakshina Dasari , CISTER-ISEP Research Centre, Polytechnic Institute of Porto, Portugal
Vincent Nelis , CISTER-ISEP Research Centre, Polytechnic Institute of Porto, Portugal
Daniel Mosse , Department of Computer Science, University of Pittsburgh, USA
pp. 52-61

Generalized Standby-Sparing techniques for energy-efficient fault tolerance in multiprocessor real-time systems (Abstract)

Yifeng Guo , University of Texas at San Antonio, 78249, USA
Dakai Zhu , University of Texas at San Antonio, 78249, USA
Hakan Aydin , George Mason University, Fairfax, VA 22030, USA
pp. 62-71

An experimental evaluation of the cache partitioning impact on multicore real-time schedulers (Abstract)

Giovani Gracioli , Software/Hardware Integration Lab, Federal University of Santa Catarina, Florianópolis, Brazil
Antonio Augusto Frohlich , Software/Hardware Integration Lab, Federal University of Santa Catarina, Florianópolis, Brazil
pp. 72-81

Energy efficiency analysis for the Single Frequency Approximation (SFA) scheme (Abstract)

Santiago Pagani , Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany
Jian-Jia Chen , Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany
pp. 82-91

Design space exploration for low-power memory systems in embedded signal processing applications (Abstract)

Florin Balasa , Dept. Computer Science & Engineering, American University in Cairo, Egypt
Cristian V. Gingu , Fermilab, Batavia, IL 60555, USA
Ilie I. Luican , Microsoft, Inc., Redmond, WA 98052, USA
Hongwei Zhu , ARM, Inc., San Jose, CA 95134, USA
pp. 92-100

SolarTune: Real-time scheduling with load tuning for solar energy powered multicore systems (Abstract)

Yi Wang , Department of Computing, The Hong Kong Polytechnic University, China
Renhai Chen , Department of Computing, The Hong Kong Polytechnic University, China
Zili Shao , Department of Computing, The Hong Kong Polytechnic University, China
Tao Li , Department of Electrical and Computer Engineering, University of Florida, USA
pp. 101-110

On-line thermal-aware task management for three-dimensional dynamically partially reconfigurable systems (Abstract)

Yen-Wen Wang , Department of Electrical Engineering, National Taiwan University of Science and Technology, Taipei City, Taiwan, ROC
Ya-Shu Chen , Department of Electrical Engineering, National Taiwan University of Science and Technology, Taipei City, Taiwan, ROC
pp. 111-120

Online optimization of security-sensitive real-time storage applications for NAND flash memory storage systems (Abstract)

Wei Jiang , College of Computer Science and Engineering, University of Electronic Science and Technology of China, China
Yue Ma , College of Computer Science and Engineering, University of Electronic Science and Technology of China, China
Xia Zhang , College of Computer Science and Engineering, University of Electronic Science and Technology of China, China
Xupeng Wang , College of Computer Science and Engineering, University of Electronic Science and Technology of China, China
Zili Shao , Department of Computing, The Hong Kong Polytechnic University, China
pp. 121-130

A hybrid storage access framework for virtual machines (Abstract)

Chih-Kai Kang , Research Center for Information Technology Innovation, Academia Sinica, Taipei, Taiwan
Yu-Jhang Cai , Department of Electronic and Computer Engineering, National Taiwan University of Science and Technology, Taipei, Taiwan
Chin-Hsien Wu , Department of Electronic and Computer Engineering, National Taiwan University of Science and Technology, Taipei, Taiwan
Pi-Cheng Hsiu , Research Center for Information Technology Innovation, Academia Sinica, Taipei, Taiwan
pp. 131-138

A fifty-percent rule to minimize the energy consumption of PCM-based storage systems (Abstract)

Ming-Chang Yang , Institute of Information Science, Academia Sinica, Taipei 115, Taiwan, R.O.C.
Martin , Department of Computer Science and Engineering, National Taiwan Ocean Uni., Taipei 202, Taiwan, R.O.C.
Che-Wei Tsao , Institute of Information Science, Academia Sinica, Taipei 115, Taiwan, R.O.C.
Yuan-Hao Chang , Institute of Information Science, Academia Sinica, Taipei 115, Taiwan, R.O.C.
pp. 139-144

A space-based wear leveling for PCM-based embedded systems (Abstract)

Linbo Long , College of Computer Science, Chongqing University, China
Dou Liu , College of Computer Science, Chongqing University, China
Jingtong Hu , Department of Computer Science, University of Texas at Dallas, Richardson, 75080, USA
Shouzhen Gu , College of Computer Science, Chongqing University, China
Qingfeng Zhuge , College of Computer Science, Chongqing University, China
Edwin H.-M. Sha , College of Computer Science, Chongqing University, China
pp. 145-148

IDAMC: A NoC for mixed criticality systems (Abstract)

Sebastian Tobuschat , Institute of Computer and Network Engineering, Technische Universität Braunschweig, Germany
Philip Axer , Institute of Computer and Network Engineering, Technische Universität Braunschweig, Germany
Rolf Ernst , Institute of Computer and Network Engineering, Technische Universität Braunschweig, Germany
Jonas Diemer , Symtavision GmbH, Braunschweig, Germany
pp. 149-156

Transparent software replication and hardware monitoring leveraging modern System-on-Chip features (Abstract)

Michael Paulitsch , EADS Innovation Works, Munich, Germany
Jan Nowotsch , EADS Innovation Works, Munich, Germany
Daniel Munch , EADS Innovation Works, Munich, Germany
Ludwig Girbinger , EADS Innovation Works, Munich, Germany
pp. 157-164

Integrated time- and event-triggered scheduling - An overhead analysis on the ARM architecture (Abstract)

Stefan Schorr , Technische Universität Kaiserslautern, Germany
Gerhard Fohler , Technische Universität Kaiserslautern, Germany
pp. 165-174

The case for practical multi-resource and multi-level scheduling based on Energy/Utility (Abstract)

Hermann Hartig , Institute of Systems Architecture, Operating Systems Group, Technische Universität Dresden, Germany
Marcus Volp , Institute of Systems Architecture, Operating Systems Group, Technische Universität Dresden, Germany
Marcus Hahnel , Institute of Systems Architecture, Operating Systems Group, Technische Universität Dresden, Germany
pp. 175-182

A software-based technique enabling composable hierarchical preemptive scheduling for time-triggered applications (Abstract)

Ashkan Beyranvand Nejad , Delft University of Technology, The Netherlands
Anca Molnos , CEA-Leti, Grenoble, France
Kees Goossens , Eindhoven University of Technology, The Netherlands
pp. 183-192

Optimizing task assignment for heterogeneous multiprocessor system with guaranteed reliability and timing constraint (Abstract)

Juan Yi , College of Computer Science, Chongqing University, China
Qingfeng Zhuge , College of Computer Science, Chongqing University, China
Jingtong Hu , Department of Computer Science, University of Texas at Dallas, Richardson, 75080, USA
Shouzhen Gu , College of Computer Science, Chongqing University, China
Mingwen Qin , Department of Electrical Engineering, The Hong Kong Polytechnic University, China
Edwin H.-M. Sha , College of Computer Science, Chongqing University, China
pp. 193-200

Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores (Abstract)

Hazem Ismail Abdel Aziz Ali , CISTER Research Centre/INESC-TEC, Polytechnic Institute of Porto, Portugal
Luis Miguel Pinho , CISTER Research Centre/INESC-TEC, Polytechnic Institute of Porto, Portugal
Benny Akesson , Eindhoven University of Technology, The Netherlands
pp. 201-208

Branch Prediction directed Dynamic instruction Cache Locking for embedded systems (Abstract)

Keni Qiu , Department of Computer Science, City University of Hong Kong, China
Mengying Zhao , Department of Computer Science, City University of Hong Kong, China
Chun Jason Xue , Department of Computer Science, City University of Hong Kong, China
Alex Orailoglu , Department of Computer Science and Engineering, University of California, San Diego, USA
pp. 209-216

Utility-based resource overbooking for Cyber-Physical Systems (Abstract)

Dionisio de Niz , SEI - Carnegie Mellon University, USA
Lutz Wrage , SEI - Carnegie Mellon University, USA
Anthony Rowe , ECE - Carnegie Mellon University, USA
Ragunathan Rajkumar , ECE - Carnegie Mellon University, USA
pp. 217-226

Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm (Abstract)

Qingling Zhao , Zhejiang University, China
Zonghua Gu , Zhejiang University, China
Haibo Zeng , McGill University, Canada
pp. 227-236

Response-time analysis of mixed criticality systems with pessimistic frequency specification (Abstract)

Sanjoy Baruah , The University of North Carolina, USA
Bipasa Chattopadhyay , The University of North Carolina, USA
pp. 237-246

Improving OCBP-based scheduling for mixed-criticality sporadic task systems (Abstract)

Chuancai Gu , Northeastern University, China
Nan Guan , Northeastern University, China
Qingxu Deng , Northeastern University, China
Wang Yi , Northeastern University, China
pp. 247-256

INSTEP: A static instrumentation framework for preserving extra-functional properties (Abstract)

Hany Kashif , Dept. of Electrical and Computer Engineering, University of Waterloo, Canada
Pansy Arafa , Dept. of Electrical and Computer Engineering, University of Waterloo, Canada
Sebastian Fischmeister , Dept. of Electrical and Computer Engineering, University of Waterloo, Canada
pp. 257-266

On thermal utilization of periodic task sets in uni-processor systems (Abstract)

Rehan Ahmed , Department of Electrical and Computer Engineering, University of Wisconsin Madison, 53706, USA
Parameswaran Ramanathan , Department of Electrical and Computer Engineering, University of Wisconsin Madison, 53706, USA
Kewal K. Saluja , Department of Electrical and Computer Engineering, University of Wisconsin Madison, 53706, USA
pp. 267-276

Multi-ASIP platform synthesis for Event-Triggered applications with cost/performance trade-offs (Abstract)

Deepak Gangadharan , Embedded Systems Engineering, DTU Compute, Technical University of Denmark, Denmark
Laura Micconi , Embedded Systems Engineering, DTU Compute, Technical University of Denmark, Denmark
Paul Pop , Embedded Systems Engineering, DTU Compute, Technical University of Denmark, Denmark
Jan Madsen , Embedded Systems Engineering, DTU Compute, Technical University of Denmark, Denmark
pp. 277-286

Using run-time checking to provide safety and progress for distributed cyber-physical systems (Abstract)

Stanley Bak , University of Illinois at Urbana-Champaign, USA
Fardin Abdi Taghi Abad , University of Illinois at Urbana-Champaign, USA
Zhenqi Huang , University of Illinois at Urbana-Champaign, USA
Marco Caccamo , University of Illinois at Urbana-Champaign, USA
pp. 287-296

Scheduling temporal data for real-time requests in roadside-to-vehicle communication (Abstract)

Kai Liu , Dept of Computer Science, City University of Hong Kong, Kowloon, Hong Kong
Victor C.S. Lee , Dept of Computer Science, City University of Hong Kong, Kowloon, Hong Kong
Joseph K.Y. Ng , Dept of Computer Science, Hong Kong Baptist University, Kowloon, Hong Kong
Sang H. Son , Dept of Information and Communication Engineering, DGIST, Daegu, Korea
pp. 297-305

Improving GPOS real-time responsiveness using vCPU migration in an embedded multicore virtualization platform (Abstract)

Tsung-Han Lin , Department of Computer Science and Engineering, Waseda University, Japan
Hitoshi Mitake , Department of Computer Science and Engineering, Waseda University, Japan
Tatsuo Nakajima , Department of Computer Science and Engineering, Waseda University, Japan
pp. 306-309

High performance logging system for embedded UNIX and GNU/Linux applications (Abstract)

Jaein Jeong , Cisco Systems, San Jose, California 95134, USA
pp. 310-319

Multi-level adaptive hierarchical scheduling framework for composing real-time systems (Abstract)

Nima Moghaddami Khalilzad , MRTC/Mälardalen University, P.O. Box 883, SE-721 23 Västerås, Sweden
Moris Behnam , MRTC/Mälardalen University, P.O. Box 883, SE-721 23 Västerås, Sweden
Thomas Nolte , MRTC/Mälardalen University, P.O. Box 883, SE-721 23 Västerås, Sweden
pp. 320-329

Specifying automated oracles for Simulink models (Abstract)

Paulo A. Nardi , ICMC, Universidade de São Paulo, USP, São Carlos, Brazil
Marcio E. Delamaro , ICMC, Universidade de São Paulo, USP, São Carlos, Brazil
Luciano Baresi , Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy
pp. 330-333

Targeting different abstraction layers by model-based design methods for embedded systems: A case study (Abstract)

Omair Rafique , Department of Computer Science, University of Kaiserslautern, Germany
Manuel Gesell , Department of Computer Science, University of Kaiserslautern, Germany
Klaus Schneider , Department of Computer Science, University of Kaiserslautern, Germany
pp. 334-337

A new utilization based admission control algorithm for aperiodic tasks with constant time complexity under EDF scheduling (Abstract)

Chang Leng , Bejing key Lab of Human-computer Interaction, Institute of Software Chinese Academy of Sciences, Beijing, China
Ying Qiao , University of Chinese Academy of Sciences, Beijing, China
Hongan Wang , University of Chinese Academy of Sciences, Beijing, China
Jian Liu , Shanxi Electric Power Research Institute, Xi'an, China
Xiaoqing Zhang , Shanxi Electric Power Research Institute, Xi'an, China
pp. 338-341

Maximizing online service profit for time-dependent applications (Abstract)

Shuhui Li , Computer Science Department, Illinois Institute of Technology, Chicago, 60616, USA
Miao Song , Computer Science Department, Illinois Institute of Technology, Chicago, 60616, USA
Zheng Li , Computer Science Department, Illinois Institute of Technology, Chicago, 60616, USA
Shangping Ren , Computer Science Department, Illinois Institute of Technology, Chicago, 60616, USA
Gang Quan , Electrical and Computer Engineering Department, Florida International University, Miami, 33174, USA
pp. 342-345

On the equivalence of idealised DVFS and thermally constrained DPM in real-time systems (Abstract)

Muhammad Ali Awan , CISTER/INESC-TEC, ISEP, Polytechnic Institute of Porto, Portugal
Stefan M. Petters , CISTER/INESC-TEC, ISEP, Polytechnic Institute of Porto, Portugal
pp. 346-351

Scheduling algorithms for Elastic Mixed-Criticality tasks in multicore systems (Abstract)

Hang Su , University of Texas at San Antonio, USA
Dakai Zhu , University of Texas at San Antonio, USA
Daniel Mosse , University of Pittsburgh, USA
pp. 352-357
87 ms
(Ver 3.3 (11022016))