Final Program

 

Date Time Activities
May 25, 2009 (Monday) 7:00am-8:30am Breakfast
8:30am-8:40am Opening Remarks (Tianlang Hall, 1st floor)
8:40am-9:30am Keynote 1: Endurance Barriers and Solutions for Flash Memory
by Prof. Tei-Wei Kuo (National Taiwan University)
 (Tianlang Hall, 1st floor)
9:30am-9:45am Coffee Break
9:45am-10:35am Keynote 2: Event Driven Software Quality
by Prof. Jens Palsberg (University of California at Los Angeles, USA)
 (Tianlang Hall, 1st floor)
10:35am-11:25am Keynote 3: Wireless Sensor Network in Industrial Automation
by Dr. Richard Zurawski (ISA Group, CA, USA)
 (Tianlang Hall, 1st floor)
11:30am-1:00pm Lunch (Baihe Hall, 1st floor)
1:00pm-2:30pm S1: Formal Methods I
(Jingui Hall, 2nd floor)		 S2: Embedded Architecture and Reconfigurable Systems
(Yingui Hall, 2nd floor)		 S3: Real-Time Scheduling Algorithms
(Dangui Hall, 2nd floor)
2:30pm-2:45pm Coffee Break
2:45pm-4:15pm S4: Formal Methods II
(Jingui Hall, 2nd floor)		 S5: Embedded Architectures
(Yingui Hall, 2nd floor)		 S6: Embedded Systems
(Dangui Hall, 2nd floor)
4:15pm-4:30pm Coffee Break
4:30pm-6:00pm S7: Component-Based Design
(Jingui Hall, 2nd floor)		 S8: SoC & Multicore Systems
(Yingui Hall, 2nd floor)		 S9: Real-Time Systems
(Dangui Hall, 2nd floor)
7:00pm-9:00pm Dinner (Fangzhou Hall, 2nd floor)
     
May 26, 2009 (Tuesday) 7:00am-8:00am Breakfast
8:00am-9:30am S10: Embedded Multimedia Systems
(Yingui Hall 2nd floor)		 S11: Software Tool and Design Environments
(Dangui Hall, 2nd floor)
9:30am-9:45am Coffee Break
9:45am-11:15am S12: Power Aware Computing
(Yingui Hall 2nd floor)		 S13: Pervasive and Ubiquitous Computing
(Dangui Hall, 2nd floor)
11:30am-1:00pm Lunch (Baihe Hall, 1st floor)
1:00pm-2:30pm Panel:  "Trends and challenges on embedded system/software design"
Moderator: Yann-Hang Lee
Paneliests: Sanjoy Baruah, Jingde Cheng, Tei-Wei Kuo, Marco Di Natale,
Jens Palsberg, ZiLi Shao, Edwin Sha, Walid Taha, Marisol Garcma-Valls, Yongxin Zhu
 (Multi-function Hall, 3rd floor)
2:30pm-2:45pm Coffee Break
2:45pm-4:15pm Tutorial (Part I) (Multi-function Hall, 3rd floor)
4:15pm-4:30pm Coffee Break
4:30pm-6:00pm Tutorial (Part II) (Multi-function Hall, 3rd floor)
7:00pm-9:00pm Banquet Dinner (Fangzhou Hall, 2nd floor)
     
May 27, 2009 (Wednesday) 7:00am-8:00am Breakfast
8:00am-9:30am ICESS/S14: Distributed and Mobile Computing
(Jingui Hall, 2nd floor)		 SHOES/S1: Embedded Hardware and Software I
(Yingui Hall, 2nd floor)		 MINES/S1: Wireless and Intelligent Systems
(Dangui Hall, 2nd floor)
9:30am-9:45am Coffee Break
9:45am-11:15am ICESS/S15: Image and Graphics Processing
(Jingui Hall, 2nd floor)		 SHOES/S2: Real-Time Systems and Optimizations
(Yingui Hall, 2nd floor)		 MINES/S2: Auto, Medical and Avionics Systems
(Dangui Hall, 2nd floor)
11:30am-1:00pm Lunch
1:00pm-2:30pm ICESS/S16: Wireless Sensor Networks
(Jingui Hall, 2nd floor)		 SHOES/S3: Embedded Hardware and Software II
(Yingui Hall, 2nd floor)		 MINES/S3: Networked Embedded Systems
(Dangui Hall, 2nd floor)
2:30pm-2:45pm Coffee Break
2:45pm-4:15pm ICESS/S17: Optimization and Verification
(Jingui Hall, 2nd floor)		 SHOES/S4: FT and Trusted Embedded Systems
(Yingui Hall, 2nd floor)		 MINES/S4: Distributed and Mobile Systems
(Dangui Hall, 2nd floor)

 

  • ICESS/Session 1: Formal Methods I (Chair: Dr. Eric Rutten)
     
    • Model-Based Design of Embedded Control Systems with a Synchronous Intermediate Model
      by Mouaiad Alras, Paul Caspi, Alain Girault and Pascal Raymond
       
    • Efficient Model-Checking for Real-Time Task Networks
      by Henning Dierks, Alexander Metzner and  Ingo Stierand,
       
    • A Formal Model for Component-Based Embedded Software Development
      by Changde Li, Xingshe Zhou, Yunwei Dong and Zhiwen Yu
       
  • ICESS/Session 2: Embedded Architecture and Reconfigurable Systems (Chair: Dr. Qingxu Deng)
     
    • RAM_based Reconfigurable Implementation of the MD6 Hash Function
      by Xianwei Gao, Jianxin Wang, Haiwen Qu and Xiuying Li
       
    • A Parallel Reconfigurable Architecture for Real-Time Stereo Vision
      by Lei Chen and Yunde Jia
       
    • Automatic Code Generation for Synchronous Reactive Communication
      by Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman and Alberto Sangiovanni-Vincentell
       
  • ICESS/Session 3: Real-Time Scheduling Algorithms (Chair: Dr. Marco Di Natale)
     
    • A Scheduling Algorithm for Hybrid Distributed Real-time Systems
      by Ke Liang, Xingshe Zhou, Ruiqing Sheng and Kailong Zhang
       
    • Earliest Deadline Scheduling for Continuous Queries over Data Streams
      by Xin Li, Zhiping Jia, Li Ma,  Ruihua Zhang and Haiyang Wang
       
    • A Survey of WCET Analysis of Real-Time Operating Systems
      by Mingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng , Ge Yu and Jianming Zhang
       
  • ICESS/Session 4: Formal Methods II (Chair: Dr. Jens Palsberg)
     
    • A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
      by Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval and Eric Rutten
       
    • Abstract Simulation: a Static Analysis of Simulink Models
      by Alexandre Chapoutot and Matthieu Martel
       
    • Deterministic Data Flow Communication in AADL
      by Mohamed Yassin Chkouri and Marius Bozga
  • ICESS/Session 5: Embedded Architectures (Chair: Dr. Edwin Sha)
     
    • A Global Replacement Based on Actual Set Association
      by PeiXiang Yan, XianJu Yang and MinXuan Zhang
       
    • Statistical Estimation for Total Communication Load in Application-Specific Network-on-Chip
      by Naifeng Jing, Zhigang Mao and Yongxin Zhu
       
    • In Pursuit of Real Answers
      by Angela Yun Zhu, Walid Taha, Robert Cartwright, Mattieu Martel and Jeremy G. Siek
       
  • ICESS/Session 6: Embedded Systems (Chair: Dr. Nathan W. Fisher)
     
    • An Embedded High Performance Ultrasonic Signal Processing Subsystem
      by Hui Li and Dong C. Liu
       
    • OSEK/VDX-based Dynamic Network Management on Automotive Network
      by Chengjiong Wei, Min Yao, Pan Lu, Qi Hu and Nenggan Zheng
       
    • An Approach to Optimize Intra-ECU Communication Based on Mapping of AUTOSAR Runnable Entities
      by Rongshen Long, Hong Li, Wei Peng and Yi Zhang and Minde Zhao
       
  • ICESS/Session 7: Component-Based Design (Chair: Dr. Tei-Wei Kuo)
     
    • Think: View-Based Support of Non-Functional Properties in Embedded Systems
      by Matthieu Anne, Ruan He, Tahar Jarboui, Marc Lacoste, Olivier Lobry, Guirec Lorant, Maxime Louvel, Juan Navas, Vincent Olive, Juraj Polajovic, Marc Poulhiès, Jacques Pulou, Stéphane Seyvoz, Julien Tous and Thomas Watteyne
       
    • Component-Based Design of Software for Embedded Control Systems: the Medical Ventilator Case Study
      by Feng Zhou, Wei Guan, Krzysztof Sierszecki and Christo Angelov
       
    • SmartSAR: A Component-based Hierarchy Software Platform for Automotive Electronics
      by Hong Li, Pan Lu, Min Yao and Nan Li
       
  • ICESS/Session 8: System-on-Chip (SoC) and Multicore Systems (Chair: Dr. Qingsong Shi)
     
    • The Hardware Thread Interface Design and Adaptation on Dynamically Reconfigurable SoC
      by Ying Wang, Wei-Nan Chen, Xiao-Wei Wang, Hong-Jun You, Cheng-Lian and Peng
       
    • The Design and Implementation of Hardware Task Configuration Management Unit on Dynamically Reconfigurable SoC
      by Xiao-Wei Wang, Wei-Nan Chen, Ying Wang, Hong-jun You and Cheng-lian Peng
       
    • Implementation and Optimization of DSP Suspend Resume on Dual-Core SOC
      by Ming-Wei Chang, Shau-Yin Tsen, Homn Lin and Ching-Lung Su
       
  • ICESS/Session 9: Real-Time Embedded Systems (Chair: Dr. Marisol G. Valls)
     
    • A Mixed Timing System-level Embedded Software Modelling and Simulation Approach
      by Ke Yu and Neil C. Audsley
       
    • A Genetic Algorithm Based Approach for Event Synchronization Analysis in Real-time Embedded Systems
      by Yan Chen, Yann-Hang Lee, Xiaofen Xu, W. Eric Wong and Donghui Guo
       
    • Component-Based Design in Multiprocessor Real-Time Systems
      by Sanjoy Baruah and Nathan Fisher
       
  • ICESS/Session 10: Embedded Multimedia Systems (Chair: Dr. Wei Hu)
     
    • Privacy-protection in Real-time Video Communication
      by Jie Shen
       
    • Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems
      by Marisol Garcia-Valls, Alejandro Alonso, and Juan A. de la Puente
       
    • Memory Analysis of Low Power MPEG-4 Decoder Architecture
      by Andreas Dahlin, Johan Ersfolk, Haitham Habli and Johan Lilius
       
  • ICESS/Session 11: Software Tools and Design Environment (Chair: Dr. Tetsuo Yokoyama)
     
    • Uncertainty Problem in Dynamic Slicing of Concurrent Programs
      by Jingde Cheng
       
    • A Bidirectional Generation Method of SmartC Models and Codes
      by Liping Zhang, Minde Zhao, Chao Wang, Ruyi Wu, Hong Li, Dongdong Wang and Renfa Li
       
    • A Lightweight Dynamic Performance Monitoring Framework for Embedded Systems
      by Yao Guo, Ziwen Chen and Xiangqun Chen
       
  • ICESS/Session 12: Power Aware Computing (Chair: Dr. Xiyang Liu)
     
    • Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems
      by Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama and Hiroaki Takada
       
    • On-line and Off-line DVS for Fixed Priority with Preemption Threshold Scheduling
      by Liu Yang and Man Lin
       
    • Energy Consumption Optimization in Real-Time Embedded Systems
      by Xuefeng Piao, Heeheon Kim, Yookun Cho, Moonju Park, Sangchul Han, Minkyu Park and Seongje Cho
       
  • ICESS/Session 13: Pervasive and Ubiquitous Computing (Chair: Dr. Jeff Yang)
     
    • Analysis and Evaluation of the Scheduling Algorithms in Virtual Environment
      by Xindong You, Xianghua Xu, Jian Wan and Congfeng Jiang
       
    • Ontology-based Smart Home Solution and Service Composition
      by Jingjing Xu, Yann-Hang Lee, Wei-Tek Tsai, Wu Li, Young-Sung Son, Jun-Hee Park and Kyung-Duk Moon
       
    • Performance Analysis of p-persistent Aloha for Multihop hop Underwater Acoustic Sensor Networks
      by Yang Xiao, Yanping Zhang, John H. Gibson and Geoffrey G. Xie
       
  • ICESS/Session 14: Distributed and Mobile Computing (Chair: Dr. Dakai Zhu)
     
    • Checkpoint Interval and System’s Overall Quality for Message Logging-based Rollback and Recovery in Distributed and Embedded Computing
      by Nianen Chen, Yue Yu and Shangping Ren
       
    • The Web of Things: interconnecting devices with high usability and performance
      by Simon Duquennoy, Gilles Grimaud and Jean-Jacques Vandewalle
       
    • A Semantic Context Management Framework on Mobile Device
      by Dexter H. Hu, Fan Dong, and Cho-Li Wang
       
  • ICESS/Session 15: Image and Graphics Processing (Chair: Dr. Yongxin Zhu)
     
    • Drowing Detection Based on Background Substraction
      by Lei Fei, Wang Xueli and Chen Donsheng
       
    • Hand Gesture Recognition Based on MEB-SVM
      by Yu Ren and Fengming Zhang
       
    • Speedup Multi-Camera video-Surveillance System for Elder Falling Detection
      by Wann-Yun Shieh and Ju-Chin Huang
       
  • ICESS/Session 16: Wireless Sensor Networks (Chair: Dr. Hongjun Dai)
     
    • Error Analysis of Scheduling Sleeping Nodes in Wireless Sensor Networks
      by Miao Peng and Yang Xiao
       
    • A Channel Aware Contention based Forwarding scheme in Wireless Sensor Networks
      by Xiaofang Zhou, Yugui Qu and Yusheng Ji
       
    • The Improved Scheme of Prolong-Lifetime in Wireless Sensor Networks
      by Ruihua Zhang, Zhi-ping Jia, He-you Cheng, Xin Li and Dong-xue Han
       
  • ICESS/Session 17: Embedded Optimization and Verification (Chair: Dr. Alexandre Chapoutot)
     
    • An Automatic Compiler Optimizations Selection Framework for Embedded Applications
      by Shih-Hao Hung, Chia-Heng Tu, Huang-Sen Lin and Chi-Meng Chen
       
    • Designing an Effective Constraint Solver in Coverage Directed Test Generation
      by Haihua Shen, Pengyu Wang, Yunji Chen, Qi Guo and Heng Zhang
       
    • Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
      by Lucas Cordeiro, Bernd Fischer, Huan Chen and Joao Marques-Silva
  • SHOES/Session 1: Embedded Hardware and Software I (Chair: Dr. Nenggan Zheng)
     
    • Tolerating Memory Latency Using a Hardware-based Active-pushing Technique
      by Liwen Shi, Xiaoya Fan, Jie Chen, Xiaoping Huang and Hangpei Tian
       
    • Research on Web Server Application on Multi-core Embedded Systems
      by Jianfeng Yang, Yinbo Xie and Tianzhou Chen
       
    • Analysis of Embedded Kernel using Kernel Analysis System
      by Ki-duk Kwon, Midori Sugaya and Tatsuo Nakajima
       
    • Design and Implementation of an embedded quality control system
      by Futian Yao, Xiaozhu Chen, Yuntao Qian and Jiming Li
       
  • SHOES/Session 2: Real-Time Embedded Systems and Optimizations (Chair: Dr. Zili Shao)
     
    • A Real-Time Transactions Scheduling Algorithm Based on Dynamic Priority
      by Hui Chen and Jiali Xia
       
    • A Code Generation Framework for Time-Triggered Real-Time Systems
      by Johannes Pletzer, Josef Templ and Wolfgang Pree
       
    • Software Agent Design with Real Time Scheduling for Embedded Systems
      by Hu Jin, Liang-Yin Chen, Nian-Wei Chen and Yang Lei
       
    • An Effective Reversible Debugger of Cross Platform Based on Virtualization
      by Liming Wang, Xiyang Liu, Ailong Song, Lin Xu and Tao Liu
       
    • A Soft-sensing Approach to On-line Predicting Ammonia-Nitrogen Based on RBF Neural Networks
      by Changhui Deng, Deyan Kong, Yanhong Song, Li Zhou and Jun Gu
       
  • SHOES/Session 3: Embedded Hardware and Software II (Chair: Dr. Eric Senn)
     
    • Applications adaptable execution path for OS services on a distributed reconfigurable system on chip
      by Sufyan Samara, Fahad Bin Tariq, Timo Kerstan and Katharina Stahl
       
    • A Co-Design Flows for Reconfigurable Embedded Computing Systems with RTOS Support
      by Xiao-Wei Wang, Wei-Nan Chen, Ying Wang and Cheng-Lian Peng
       
    • Model Driven High-level Power Estimation of Embedded Operating Systems Communication Services
      by Saadia Dhouib, Eric Senn, Jean-Philippe Diguet, Johann Laurent  and Dominique Blouin
       
    • Implementing Haptic Feedback Environments for High-Level Description
      by Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley and Dane Powell
       
    • Design and implementation of an improved C source-code level program energy model
      by Xiang Zhou, Bing Guo, Yan Shen and Qi Li
       
  • SHOES/Session 4: Fault Tolerant and Trusted Embedded Systems (Chair: Dr. Laurence T. Yang)
     
    • Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis
      by Albert M. K. Cheng and Sushil S. Digewade
       
    • An Enhanced Fault-Tolerant Routing Algorithm for Mesh Networks-on-Chip
      by Arshin Rezazadeh, Mahmood Fathy and Gholamali Rahnavard
       
    • Reliability Optimization of Reconfigurable FPGA Based on Second-Order Approximation Domain-Partition
      by Mi Zhou, Li Hong Shang and Yu Hu
  • MINES/Session 1: Wireless and Intelligent Embedded Systems (Chair: Dr. Jiangwei Huang)
     
    • A Spanning Subtree based Multi-channel Time Synchronization Algorithm for Sensor Networks
      by Nuo Wei, Qiang Guo, Jia-liang Lv and Yuan-yuan Yang
       
    • An Improved Flooding Time Synchronization Protocol for Industrial Wireless Networks
      by Na Xu, Xiaotong Zhang, Qin Wang, Jing Liang, Guangrong Pan and Meng Zhang
       
    • Complete Decentralized Mechanism Design for Online Machine Scheduling
      by Yuan Zhang, Chi-Hung Chi, Shengqing Zhang and Nan Zheng
       
    • A Novel Reduction Algorithm Based on Expert Knowledge
      by Junpeng Yuan, Jie Su and Cheng Su
       
    • An Automatic Moving Object Detection Algorithm for Video Surveillance Applications
      by Xiaoshi Zheng, Yanling Zhao, Na Li and Huimin Wu
       
  • MINES/Session 2: Automotive, Medical and Avionics Systems (Chair: Dr. Lin-Lin Xia)
     
    • Design and Implementation of a Cordless Power Supply System for Pervasive Medical Devices
      by Zhiqiang Que, Yongxin Zhu, Tingting Mo, Bin Chen and Zhijun Li
       
    • Research on LXI Trigger Bus
      by Zhi Li, FengLong Zhou and XueJuan Yao
       
    • RBFNN Aided Extended Kalman Filter for MEMS AHRS/GPS
      by Lin-lin Xia, Jian-guo Wang and Gangui Yan
       
    • Design of Real-time and Multi-task Control System for Semi-Active Suspension Based on PICOS18
      by Yu-zhuang Zhao, Si-zhong Chen and Lin Yang
       
    • On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL
      by Xiao Wu, Heng Ling and Yunwei Dong
       
  • MINES/Session 3: Networked Embedded Systems (Chair: Dr. Bing Guo)
     
    • Research of Networked Control System Based on P2P Network
      by Qiang Zhu, Kai Chen and Minrui Fei
       
    • An Embedded Load Balancing System for High Speed OC192 Networks
      by Jiandong Wang, Yingke Xie, Chao Zhu, Zili Zhao and Chengde Han
       
    • A Statistical Analysis of Uplink Packet Latency in GPRS Network
      by Xiaohui Chen, Sheng Xu, Weidong Wang and Guo Wei
       
  • MINES/Session 4: Distributed and Mobile Computing (Chair: Dr. Wenzhi Chen)
     
    • A Replica Placement Algorithm in Mobile Grid Environments
      by Xiong Fu, Ruchuan Wang, Yang Wang and Song Deng
       
    • Distributed Simulation of AADL Specifications in a Polychronous Model of Computation
      by Yue Ma, Jean-Pierre Talpin, Sandeep Kumar Shukla and Thierry Gautier
       
    • OSEK COM-based Dynamic Priority Assignment Method on CAN
      by Lvhong Zhang, Hong Li, Li Zhou, Minde Zhao and Zhigang Gao