CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-xii

Preface (PDF)

pp. xiii

Message from Symposium Co-chairs (PDF)

pp. xiv

Organizing Committee (PDF)

pp. xv

Technical Program Committee (PDF)

pp. xvi-xviii

Reviewers (PDF)

pp. xix

Keynote: Endurance Barriers and Solutions for Flash Memory (PDF)

pp. xx

Keynote: Event Driven Software Quality (PDF)

pp. xxi

Keynote: Wireless Sensor Network in Industrial Automation (PDF)

pp. xxii

Tutorial: Multi-stage Programming for Circuit Generation (PDF)

pp. xxiii

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model (Abstract)

pp. 3-10

PDF

Efficient Model-Checking for Real-Time Task Networks (Abstract)

pp. 11-18

PDF

A Formal Model for Component-Based Embedded Software Development (Abstract)

pp. 19-23

PDF

RAM-Based Reconfigurable Implementation of the MD6 Hash Function (Abstract)

pp. 27-31

PDF

A Parallel Reconfigurable Architecture for Real-Time Stereo Vision (Abstract)

Lei Chen

Yunde Jia

pp. 32-39

PDF

Alberto Sangiovanni-Vincentelli

Automatic Code Generation for Synchronous Reactive Communication (Abstract)

Guoqiang Wang

Marco Di Natale

Pieter J. Mosterman

pp. 40-47

PDF

A Scheduling Algorithm for Hybrid Distributed Real-Time Systems (Abstract)

pp. 51-56

PDF

Earliest Deadline Scheduling for Continuous Queries over Data Streams (Abstract)

Xin Li

Li Ma

pp. 57-64

PDF

A Survey of WCET Analysis of Real-Time Operating Systems (Abstract)

Ge Yu

pp. 65-72

PDF

A Case Study on Controller Synthesis for Data-Intensive Embedded Systems (Abstract)

pp. 75-82

PDF

Abstract Simulation: A Static Analysis of Simulink Models (Abstract)

Alexandre Chapoutot

Matthieu Martel

pp. 83-92

PDF

Deterministic Data Flow Communication in AADL (Abstract)

Mohamed Yassin Chkouri

Marius Bozga

pp. 93-100

PDF

A Global Replacement Based on Actual Set Association (Abstract)

pp. 103-108

PDF

Statistical Estimation for Total Communication Load in Application-Specific Network-on-Chip (Abstract)

pp. 109-114

PDF

In Pursuit of Real Answers (Abstract)

pp. 115-122

PDF

An Embedded High Performance Ultrasonic Signal Processing Subsystem (Abstract)

Hui Li

Dong C. Liu

pp. 125-130

PDF

OSEK/VDX-Based Dynamic Network Management on Automotive Network (Abstract)

Chengjiong Wei

Min Yao

Pan Lu

Qi Hu

Nenggan Zheng

pp. 131-137

PDF

An Approach to Optimize Intra-ECU Communication Based on Mapping of AUTOSAR Runnable Entities (Abstract)

pp. 138-143

PDF

Think: View-Based Support of Non-functional Properties in Embedded Systems (Abstract)

Ruan He

pp. 147-156

PDF

Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study (Abstract)

pp. 157-163

PDF

SmartSAR: A Component-Based Hierarchy Software Platform for Automotive Electronics (Abstract)

Pan Lu

Min Yao

Nan Li

pp. 164-170

PDF

The Hardware Thread Interface Design and Adaptation on Dynamically Reconfigurable SoC (Abstract)

pp. 173-178

PDF

The Design and Implementation of Hardware Task Configuration Management Unit on Dynamically Reconfigurable SoC (Abstract)

pp. 179-184

PDF

Implementation and Optimization of DSP Suspend Resume on Dual-Core SOC (Abstract)

pp. 185-190

PDF

A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach (Abstract)

Ke Yu

Neil C. Audsley

pp. 193-200

PDF

A Genetic Algorithm Based Approach for Event Synchronization Analysis in Real-Time Embedded Systems (Abstract)

pp. 201-208

PDF

Component-Based Design in Multiprocessor Real-Time Systems (Abstract)

Sanjoy Baruah

Nathan Fisher

pp. 209-214

PDF

Privacy-Protection in Real-Time Video Communication (Abstract)

Jie Shen

pp. 217-220

PDF

Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems (Abstract)

pp. 221-230

PDF

Memory Analysis of Low Power MPEG-4 Decoder Architecture (Abstract)

pp. 231-237

PDF

Uncertainty Problem in Dynamic Slicing of Concurrent Programs (Abstract)

Jingde Cheng

pp. 241-248

PDF

A Bidirectional Generation Method of SmartC Models and Codes (Abstract)

Liping Zhang

Minde Zhao

Chao Wang

Ruyi Wu

Dongdong Wang

Renfa Li

pp. 249-255

PDF

A Lightweight Dynamic Performance Monitoring Framework for Embedded Systems (Abstract)

Yao Guo

Ziwen Chen

Xiangqun Chen

pp. 256-262

PDF

Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems (Abstract)

pp. 265-272

PDF

On-Line and Off-Line DVS for Fixed Priority with Preemption Threshold Scheduling (Abstract)

Liu Yang

Lin Man

pp. 273-280

PDF

Energy Consumption Optimization of Real-Time Embedded Systems (Abstract)

pp. 281-287

PDF

Analysis and Evaluation of the Scheduling Algorithms in Virtual Environment (Abstract)

pp. 291-296

PDF

Ontology-Based Smart Home Solution and Service Composition (Abstract)

Wu Li

pp. 297-304

PDF

Performance Analysis of p-Persistent Aloha for Multi-hop Underwater Acoustic Sensor Networks (Abstract)

pp. 305-311

PDF

Checkpoint Interval and System's Overall Quality for Message Logging-Based Rollback and Recovery in Distributed and Embedded Computing (Abstract)

Nianen Chen

Yue Yu

Shangping Ren

pp. 315-322

PDF

The Web of Things: Interconnecting Devices with High Usability and Performance (Abstract)

Simon Duquennoy

Gilles Grimaud

Jean-Jacques Vandewalle

pp. 323-330

PDF

A Semantic Context Management Framework on Mobile Device (Abstract)

pp. 331-338

PDF

Drowning Detection Based on Background Subtraction (Abstract)

Lei Fei

Wang Xueli

Chen Dongsheng

pp. 341-343

PDF

Hand Gesture Recognition Based on MEB-SVM (Abstract)

Yu Ren

Fengming Zhang

pp. 344-349

PDF

Speedup the Multi-camera Video-Surveillance System for Elder Falling Detection (Abstract)

Wann-Yun Shieh

Ju-Chin Huang

pp. 350-355

PDF

Error Analysis of Scheduling Sleeping Nodes in Wireless Sensor Networks (Abstract)

Miao Peng

Yang Xiao

pp. 359-366

PDF

A Channel Aware Contention Based Forwarding Scheme in Wireless Sensor Network (Abstract)

pp. 367-371

PDF

The Improved Scheme of Prolong-Lifetime in Wireless Sensor Networks (Abstract)

Xin Li

pp. 372-378

PDF

An Automatic Compiler Optimizations Selection Framework for Embedded Applications (Abstract)

pp. 381-387

PDF

Designing an Effective Constraint Solver in Coverage Directed Test Generation (Abstract)

Qi Guo

pp. 388-395

PDF

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints (Abstract)

pp. 396-403

PDF

Tolerating Memory Latency Using a Hardware-Based Active-Pushing Technique (Abstract)

pp. 407-411

PDF

Research on Web Server Application on Multi-core Embedded System (Abstract)

pp. 412-416

PDF

Analysis of Embedded Linux Using Kernel Analysis System (Abstract)

pp. 417-422

PDF

Design and Implementation of an Embedded Quality Control System (Abstract)

pp. 423-428

PDF

A Real-Time Task Scheduling Algorithm Based on Dynamic Priority (Abstract)

Hui Chen

Jiali Xia

pp. 431-436

PDF

A Code Generation Framework for Time-Triggered Real-Time Systems (Abstract)

pp. 437-442

PDF

Software Agent Design with Real Time Scheduling for Embedded Systems (Abstract)

Hu Jin

pp. 443-447

PDF

An Effective Reversible Debugger of Cross Platform Based on Virtualization (Abstract)

Liming Wang

Xiyang Liu

Ailong Song

Lin Xu

Tao Liu

pp. 448-453

PDF

A Soft-Sensing Approach to On-Line Predicting Ammonia-Nitrogen Based on RBF Neural Networks (Abstract)

Changhui Deng

Deyan Kong

Yanhong Song

Li Zhou

Jun Gu

pp. 454-458

PDF

Applications Adaptable Execution Path for Operating System Services on a Distributed Reconfigurable System on Chip (Abstract)

pp. 461-466

PDF

A Co-design Flow for Reconfigurable Embedded Computing System with RTOS Support (Abstract)

pp. 467-474

PDF

Model Driven High-Level Power Estimation of Embedded Operating Systems Communication Services (Abstract)

pp. 475-481

PDF

Implementing Haptic Feedback Environments from High-Level Descriptions (Abstract)

Angela Yun Zhu

Jun Inoue

Marisa Linnea Peralta

pp. 482-489

PDF

Design and Implementation of an Improved C Source-Code Level Program Energy Model (Abstract)

Xiang Zhou

Bing Guo

Yan Shen

Qi Li

pp. 490-495

PDF

Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis (Abstract)

Albert M.K. Cheng

Sushil S. Digewade

pp. 499-504

PDF

An Enhanced Fault-Tolerant Routing Algorithm for Mesh Network-on-Chip (Abstract)

pp. 505-510

PDF

Reliability Optimization of Reconfigurable FPGA Based on Second-Order Approximation Domain-Partition (Abstract)

Mi Zhou

Lihong Shang

Yu Hu

pp. 511-516

PDF

A Spanning Subtree Based Multi-channel Time Synchronization Algorithm for Sensor Networks (Abstract)

Nuo Wei

pp. 519-523

PDF

An Improved Flooding Time Synchronization Protocol for Industrial Wireless Networks (Abstract)

Na Xu

pp. 524-529

PDF

Complete Decentralized Mechanism Design for Online Machine Scheduling (Abstract)

pp. 530-535

PDF

A Novel Reduction Algorithm Based on Expert Knowledge (Abstract)

Junpeng Yuan

Jie Su

Cheng Su

pp. 536-540

PDF

An Automatic Moving Object Detection Algorithm for Video Surveillance Applications (Abstract)

Na Li

pp. 541-543

PDF

Design and Implementation of a Cordless Power Supply System for Pervasive Medical Devices (Abstract)

pp. 547-552

PDF

Research on LXI Trigger Bus (Abstract)

Li Zhi

Zhou FengLong

Yao XueJuan

pp. 553-558

PDF

RBFNN Aided Extended Kalman Filter for MEMS AHRS/GPS (Abstract)

pp. 559-564

PDF

Design of Real-Time and Multi-task Control System for Semi-active Suspension Based on PICOS18 (Abstract)

pp. 565-571

PDF

On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL (Abstract)

Xiao Wu

Heng Ling

Yunwei Dong

pp. 572-577

PDF

Research of Networked Control System Based on P2P Network (Abstract)

pp. 581-586

PDF

An Embedded Load Balancing System for High Speed OC192 Networks (Abstract)

pp. 587-592

PDF

A Statistical Analysis of Uplink Packet Latency in GPRS Network (Abstract)

Guo Wei

pp. 593-597

PDF

A Replica Placement Algorithm in Mobile Grid Environments (Abstract)

pp. 601-606

PDF

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation (Abstract)

Yue Ma

pp. 607-614

PDF

OSEK COM-Based Dynamic Priority Assignment Method on CAN (Abstract)

Lvhong Zhang

Li Zhou

Minde Zhao

Zhigang Gao

pp. 615-620

PDF

Author Index (PDF)

pp. 621-625

Roster Page (PDF)

pp. 626