The Community for Technology Leaders
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) (2013)
Philadelphia, PA, USA USA
Apr. 9, 2013 to Apr. 11, 2013
ISSN: 1080-1812
ISBN: 978-1-4799-0186-9
TABLE OF CONTENTS
Papers

Atlas: Look-ahead scheduling using workload metrics (Abstract)

M. Roitzsch , Oper. Syst. Group, Tech. Univ. Dresden, Dresden, Germany
S. Wachtler , Oper. Syst. Group, Tech. Univ. Dresden, Dresden, Germany
H. Hartig , Oper. Syst. Group, Tech. Univ. Dresden, Dresden, Germany
pp. 1-10

Real-time USB communication in the Quest operating system (Abstract)

E. Missimer , Comput. Sci. Dept., Boston Univ., Boston, MA, USA
Ye Li , Comput. Sci. Dept., Boston Univ., Boston, MA, USA
R. West , Comput. Sci. Dept., Boston Univ., Boston, MA, USA
pp. 11-20

SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems (Abstract)

Man-Ki Yoon , Dept. of Comput. Sci., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
S. Mohan , Inf. Trust Inst., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Jaesik Choi , Dept. of Comput. Sci., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Jung-Eun Kim , Dept. of Comput. Sci., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Lui Sha , Dept. of Comput. Sci., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
pp. 21-32

Coordinated scheduling of thermostatically controlled real-time systems under peak power constraint (Abstract)

G. Karmakar , Bhabha Atomic Res. Centre, Mumbai, India
A. Kabra , Bhabha Atomic Res. Centre, Mumbai, India
K. Ramamritham , Indian Inst. of Technol., Mumbai, Mumbai, India
pp. 33-42

Real-time cache management framework for multi-core architectures (Abstract)

R. Mancuso , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
R. Dudko , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
E. Betti , Univ. of Rome “Tor Vergata”, Rome, Italy
M. Cesati , Univ. of Rome “Tor Vergata”, Rome, Italy
M. Caccamo , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
R. Pellizzoni , Univ. of Waterloo, Waterloo, ON, Canada
pp. 45-54

MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms (Abstract)

Heechul Yun , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Gang Yao , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
R. Pellizzoni , Univ. of Waterloo, Waterloo, ON, Canada
M. Caccamo , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Lui Sha , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
pp. 55-64

Measurement-based modeling of the cache replacement policy (Abstract)

A. Abel , Dept. of Comput. Sci., Saarland Univ., Saarbrucken, Germany
J. Reineke , Dept. of Comput. Sci., Saarland Univ., Saarbrucken, Germany
pp. 65-74

Integrating cache related pre-emption delay analysis into EDF scheduling (Abstract)

W. Lunniss , Dept. of Comput. Sci., Univ. of York, York, UK
S. Altmeyer , Dept. of Comput. Sci., Saarland Univ., Saarbrücken, Germany
C. Maiza , Verimag, Grenoble INP, Grenoble, France
R. I. Davis , Dept. of Comput. Sci., Univ. of York, York, UK
pp. 75-84

Precise micro-architectural modeling for WCET analysis via AI+SAT (Abstract)

A. Banerjee , Nat. Univ. of Singapore, Singapore, Singapore
S. Chattopadhyay , Nat. Univ. of Singapore, Singapore, Singapore
A. Roychoudhury , Nat. Univ. of Singapore, Singapore, Singapore
pp. 87-96

Sequoll: A framework for model checking binaries (Abstract)

B. Blackham , NICTA, Univ. of New South Wales Sydney, Sydney, NSW, Australia
G. Heiser , NICTA, Univ. of New South Wales Sydney, Sydney, NSW, Australia
pp. 97-106

A rapid cache-aware procedure positioning optimization to favor incremental development (Abstract)

E. Mezzetti , Dept. of Math., Univ. of Padua, Padua, Italy
T. Vardanega , Dept. of Math., Univ. of Padua, Padua, Italy
pp. 107-116

Two parameter workload characterization for improved dataflow analysis accuracy (Abstract)

J. P. H. M. Hausmans , Univ. of Twente, Enschede, Netherlands
S. J. Geuns , Univ. of Twente, Enschede, Netherlands
M. H. Wiggers , Fujitsu Labs. of America, Sunnyvale, CA, USA
M. J. G. Bekooij , Univ. of Twente, Enschede, Netherlands
pp. 117-126

Resource sharing using the rollback mechanism in hierarchically scheduled real-time open systems (Abstract)

M. Asberg , MRTC, Malardalen Univ., Vasteras, Sweden
T. Nolte , MRTC, Malardalen Univ., Vasteras, Sweden
M. Behnam , MRTC, Malardalen Univ., Vasteras, Sweden
pp. 129-140

On confidentiality-preserving real-time locking protocols (Abstract)

M. Volp , Dept. of Comput. Sci., Tech. Univ. Dresden, Dresden, Germany
B. Engel , Dept. of Comput. Sci., Tech. Univ. Dresden, Dresden, Germany
C. Hamann , Dept. of Comput. Sci., Tech. Univ. Dresden, Dresden, Germany
H. Hartig , Dept. of Comput. Sci., Tech. Univ. Dresden, Dresden, Germany
pp. 153-162

AdaSense: Adapting sampling rates for activity recognition in Body Sensor Networks (Abstract)

Xin Qi , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
M. Keally , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
Gang Zhou , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
Yantao Li , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
Zhen Ren , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 163-172

Throughput-constrained DVFS for scenario-aware dataflow graphs (Abstract)

M. Damavandpeyma , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands
S. Stuijk , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands
T. Basten , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands
M. Geilen , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands
H. Corporaal , Dept. of Electr. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands
pp. 175-184

Predicting thermal behavior for temperature management in time-critical multicore systems (Abstract)

Buyoung Yun , EECS Dept., Univ. of Michigan, Ann Arbor, MI, USA
K. G. Shin , EECS Dept., Univ. of Michigan, Ann Arbor, MI, USA
Shige Wang , Gen. Motors Global R&D, Warren, MI, USA
pp. 185-194

Energy-driven proportional fair scheduling for industrial measurement devices (Abstract)

F. Bruns , Ruhr Univ. - Bochum, Bochum, Germany
S. Bruggemann , Ruhr Univ. - Bochum, Bochum, Germany
D. Kuschnerus , Ruhr Univ. - Bochum, Bochum, Germany
A. Bilgic , KROHNE Messtech. GmbH, Duisburg, Germany
pp. 195-204

Energy-aware partitioning of tasks onto a heterogeneous multi-core platform (Abstract)

M. A. Awan , ISEP, Polytech. Inst. of Porto, Porto, Portugal
S. M. Petters , ISEP, Polytech. Inst. of Porto, Porto, Portugal
pp. 205-214

Improving schedulability of fixed-priority real-time systems using shapers (Abstract)

L. T. X. Phan , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
Insup Lee , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
pp. 217-226

Overhead-aware compositional analysis of real-time systems (Abstract)

L. T. X. Phan , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
Meng Xu , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
Jaewoo Lee , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
Insup Lee , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
O. Sokolsky , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
pp. 237-246

ORTAP: An Offset-based response time analysis for a pipelined communication resource model (Abstract)

H. Kashif , Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
S. Gholamian , Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
R. Pellizzoni , Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
H. D. Patel , Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
S. Fischmeister , Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada
pp. 247-258

Reliable code generation and execution on unreliable hardware under joint functional and timing reliability considerations (Abstract)

S. Rehman , Dept. of Inf., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
A. Toma , Dept. of Inf., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
F. Kriebel , Dept. of Inf., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
M. Shafique , Dept. of Inf., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
Jian-Jia Chen , Dept. of Inf., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
J. Henkel , Dept. of Inf., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
pp. 273-282

Bringing theory into practice: A userspace library for multicore real-time scheduling (Abstract)

M. S. Mollison , Dept. of Comput. Sci., Univ. of North Carolina at Chapel Hill, Chapel Hill, NC, USA
J. H. Anderson , Dept. of Comput. Sci., Univ. of North Carolina at Chapel Hill, Chapel Hill, NC, USA
pp. 283-292

Mapping a multi-rate synchronous language to a many-core processor (Abstract)

W. Puffitsch , DTIM, ONERA, Toulouse, France
E. Noulard , DTIM, ONERA, Toulouse, France
C. Pagetti , DTIM, ONERA, Toulouse, France
pp. 293-302
97 ms
(Ver 3.3 (11022016))