Workshop Program

IMPORTANT NOTICE: Oral presentations are 25 minutes long instead of 30 minutes due to the time constraints of a 1-day workshop program, including the invited papers sessions. We appreciate highly your understandings.

OPENING REMARKS
9:40 - 9:50

SESSION: SOFTWARE AND HARDWARE PLATFORMS
9:50 - 11:30 (Chair: Benny Akesson)

Predictability and Efficiency in Contemporary Hard RTOS for Multiprocessor Systems
Andre Nogueira and Mario Calha (University of Lisbon)

Dynamic Voltage and Frequency Scaling for Real-Time Scheduling on a Prioritized SMT Processor
Kei Fujii, Hiroyuki Chishiro, Hiroki Matsutani, and Nobuyuki Yamasaki (Keio University)

A Thread Speed Control Scheme for Real-time Microprocessors
Kohei Matsumoto, Hiroyuki Umeo, and Nobuyuki Yamasaki (Keio University)

Design and Implementation of On-chip Adaptive Router with Predictor for Regional Congestion
Masakazu Taniguchi, Hiroki Matsutani, and Nobuyuki Yamasaki (Keio University)

LUNCH
11:30 - 13:00

SESSION: INVITED PAPERS I
13:00 - 14:40 (Chair: Songhwai Oh)

SAGA: Tracking and Visualization of Building Energy
Maxim Buevich, Anthony Rowe, and Raj Rajkumar (Carnegie Mellon University)

A Framework for Programming Sensor Networks with Scheduling and Resource-sharing Optimizations
Vikram Gupta (Polytechnic Institute of Porto/Carnegie Mellon University), Karthik Lakshmanan (Carnegie Mellon University), Eduardo Tovar (Polytechnic Institute of Porto), and Raj Rajkumar (Carnegie Mellon University)

Grounding Cyber Information in the Physical World with Attachable Social Cues
Hirotaka Osawa (Keio University), Kentaro Ishii (University of Tokyo), Seiji Yamada (National Institute of Informatics), and Michita Imai (Keio University)

Real-World Constraints of GPUs in Real-Time Systems
Glenn A. Elliott and James H. Anderson (University of North Carolina)

SESSION: INVITED PAPERS II
15:00 - 16:15 (Chair: Jian-Jia Chen)

Compositionality and CPS from a Platform Perspective
Thomas Nolte (Malardalen University)

HW Resource Componentizing for Addressing the Mega-Complexity of Cyber-Physical Systems
Jong-Chan Kim, Kyoung-Soo We, and Chang-Gun Lee (Seoul National University)

Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems
Linh T.X. Phan and Insup Lee (University of Pennsylvania)

SESSION: APPLICATIONS AND STORAGE
16:45 - 18:00 (Chair: Thomas Nolte)

Virtual Lock: A Smartphone Application for Personal Surveillance Using Camera Sensor Networks
Sangseok Yoon, Hyeongseok Oh, Donghoon Lee, and Songhwai Oh (Seoul National University)

Energy-Aware Navigation and Guidance Algorithms for Unmanned Aerial Vehicles
Ondrej Spinka (Research and Technical Institute of the Czech Air Force) and Zdenek Hanzalek (Czech Technical University in Prague)

Detecting Solid-State Disk Geometry for Write Pattern Optimization
Chun-Chieh Kuo (National Chiao-Tung University), Jen-Wei Hsieh (National Taiwan University of Science and Technology), and Li-Pin Chang (National Chiao-Tung University)

POSTERS AND RECEPTION
18:00 - 19:30

Dynamic Activation Timing Configuration for Product Line Development
Tasuku Ishigooka and Fumio Narisawa (Hitachi, Ltd.)

Hardware-assisted Reliability Enhancement for Embedded Multi-core Virtualization Design
Tsung-Han Lin, Yuki Kinebuchi, Hiromasa Shimada, Hitoshi Mitake, Chen-Yi Lee, and Tatsuo Nakajima (Waseda University)

A Dynamic Link-Width Optimization for Network-on-Chip
Daihan Wang, Michihiro Koibuchi, Tomohiro Yoneda (National Institute of Informatics), Hiroki Matsutani, and Hideharu Amano (Keio University)

Mobile Image Search via Local Crowd: a User Study
Yefeng Liu, Todorka Alexandrova (Waseda Univerisity), Vili Lehdonvirta (Helsinki Institute for Information Technology), and Tatsuo Nakajima (Waseda Univerisity)

Stabilization of Projected Image for Wearable Walking Support System Using Pico-Projector Satoshi Murata and Kaori Fujinami (Tokyo University of Agriculture and Technology)

Enhancing Security of Embedded Linux on a Multi-core Processor
Ning Li, Yuki Kinebuchi, and Tatsuo Nakajima (Waseda University)

External Integrity Checking with Invariants
Hiromasa Shimada and Tatsuo Nakajima (Waseda University)

Feedback Design in Augmented Musical Instruments: A Case Study with An AR Drum Kit
Tetsuo Yamabe, Hiroshi Asuma, Sumire Kiyono, and Tatsuo Nakajima (Waseda University)

Improving Branch Prediction related WCET Abstract Interpretation
Stephane Louise (CEA LIST)

A Study about Identification of Pedestrian by using 3-axis Accelerometer
Daisuke Sugimori, Takeshi Iwamoto, and Michito Matsumoto (Toyama Prefectural University)

Feature Selection and Activity Recognition to Detect Water Waste from Water Tap Usage
Trang Thuy Vu, Akifumi Sokan, Hironori Nakajo, Kaori Fujinami (Tokyo University of Agriculture and Technology), Jaakko Suutala, Pekka Siirtola, Tuomo Alasalmi, Ari Pitkanen, and Juha Roning (University of Oulu)


Copyright © 2011 CPSNA Organization