List of Accepted Papers

• A FRAMEWORK FOR VALIDATION OF IMPLANTABLE MEDICAL DEVICES
  Miroslav Pajic, Zhihao Jiang, Allison Connolly and Rahul Mangharam
   

• A STATISTICAL APPROACH FOR VALIDATION OF TASK SIMULATION MODELS WITH INTRICATE TEMPORAL EXECUTION DEPENDENCIES
  Yue Lu, Johan Kraft, Thomas Nolte and Christer Norstr¨om
   

• ADAPTIVE MULTIPATH ROUTING ALGORITHM FOR NETWORK ON CHIPS
  Marjan Morvarid, Rozita Talebpur, Mahmood Fathy and Reza Berangi
   

• APPLICATION OF POTENTIAL GAMES TO POWER-AWARE MOBILE SENSOR COVERAGE CONTROL
  Naoki Hayashi, Toshimitsu Ushio and Takafumi Kanazawa
   

• BOUNDING WORST-CASE EXECUTION TIME FOR MULTICORE PROCESSORS THROUGH MODEL CHECKING
  Lan Wu and Wei Zhang
   

• COMPARATIVELY EVALUATION OF SEPARATED AND PARTITIONED CACHE ARCHITECTURES FOR REAL-TIME MULTICORE COMPUTING
  Lan Wu, Yiqiang Ding and Wei Zhang
   

• COMPOSITIONAL SCHEDULING FRAMEWORK FOR IMPRECISE COMPUTATION MODEL
  Guy Martin Tchamgoue, Kyong Hoon Kim and Yong-Kee Jun
   

• DYNAMIC MULTIPLE FEASIBLE INTERVALS
  Jonathan Hall, Jian Lin and Albert M. K. Cheng
   

• EFFICIENT INSTRUCTION CACHE ANALYSIS WITH MODEL CHECKING
  Mingsong Lv, Nan Guan, Wang Yi, Qingxu Deng and Ge Yu
   

• EVENT DETECTION IN WIRELESS SENSOR NETWORKS
  Krasimira Kapitanova and Sang Son
   

• FAULT TOLERANCE FOR MESSAGE PASSING OVER FLEXRAY-BASED NETWORKS
  Unmesh D. Bordoloi, Bogdan Tanasa, Petru Eles and Zebo Peng
   

• ON PRIORITY ASSIGNMENT IN P-FRP
  Chaitanya Belwal and Albert Cheng
   

• ON THE RECONFIGURATION OF SERVICE-BASED REAL-TIME APPLICATIONS
  Iria Estevez-Ayres, Marisol Garcia-Valls and Pablo Basanta-Val
   

• THERMAL-AWARE SCHEDULING FOR PEAK TEMPERATURE REDUCTION WITH STOCHASTIC WORKLOADS
  Shaobo Liu and Meikang Qiu
   

• TOOL-BASED DEVELOPMENT OF LIGHT-WEIGHT FAULT-TOLERANT EMBEDDED SYSTEMS
  Chih-Hong Cheng, Christian Buckl and Alois Knoll
   

• TUNABLE REPLICA CONSISTENCY FOR PRIMARY-BACKUP REPLICATION IN DISTRIBUTED SOFT REAL-TIME AND EMBEDDED SYSTEMS
  Jaiganesh Balasubramanian and Aniruddha Gokhale
   

• USING SWITCHED-ETHERNET AND LINUX-TC FOR DISTRIBUTED REAL-TIME JAVA INFRASTRUCTURES
  Pablo Basanta-Val, Marisol García-Valls and Iria Estévez-Ayres
   

• WCET-ORIENTED CODE POSITIONING ON MULTICORE PROCESSORS WITH SHARED INSTRUCTION CACHES
  Yiqiang Ding and Wei Zhang

IMPORTANT DATES:

CALL FOR PAPERS

The Work-in-Progress (WiP) session at RTAS 2010 will be dedicated to new and on-going research in real-time systems, theory, and applications. Topics covering all areas of real-time and embedded systems, including hardware/software co-design and wireless sensor networks will be of interest.

The primary purpose of the WiP session is to provide researchers with an opportunity to discuss their evolving ideas and gather feedback from the real-time systems community at large. Authors of all accepted papers will be required to give a short oral presentation, followed by presenting their work at a poster session. Proceedings containing all the accepted papers will be distributed at the conference.

TOPICS OF INTEREST (papers on related topics are also welcome)

WORK-IN-PROGRESS CHAIR

Samarjit Chakraborty, TU Munich, Germany

PROGRAM COMMITTEE

SUBMISSION PROCEDURE

All papers must be submitted electronically, in Portable Document Format (PDF). The submitted paper must be original material that has neither been previously published nor is currently under review by another conference or journal. Submitted papers should be no longer than 4 (FOUR) pages in IEEE 10-point, two-column conference format.

Latex template may be found at: http://www.rtas.org/IEEE_CS_Latex.zip

Submission website: https://www.softconf.com/a/rtas2010_wip/

Back to RTAS 2010                                                                                                                         Maintained by: Samarjit Chakraborty