COMPSAC 2009

Embedded Systems (Design and Verification of Embedded Systems)
Chair: Tiberiu Seceleanu, ABB Corporate Research, Sweden

Download the Presentation: View, Play MP3, Play M4B, Play M4V

• ACaMES: A Novel Design Methodology on Multicore Embedded System
  Youngsam Shin, Seungwon Lee
  
  
• ESIDE: An Integrated Development Environment for Component-Based Embedded Systems
  Nicholas Pilkington, Juncao Li, Fei Xie
  
  
• Formalization and Verification of PLC Timers in Coq
  Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu