|
|
Note: All regular and short paper speakers are invited to participate in the poster sessions that follow each session. Preliminary program: Morning (9 AM-noon): Software Radio Tutorial Afternoon (1:30 PM-5 PM): Sensor Network Tutorial All EMSOFT and CODES+ISSS tutorials are free and open to all EMSOFT or CODES+ISSS registered attendees. Please register for workshops to allow us to plan attendance. 8:45 AM-9 AM Opening Remarks for Embedded Systems Week The Challenges of Embedded System Design Mike Muller, CTO, ARM 10-10:30 AM Break 10:30 AM -12 noon Session 1: Communication and Devices Chair: Tom Henzinger HAIL: A Language for Easy and Correct Device Access Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam A Structural Approach to Quasi-Static Schedulability Analysis of Communicating
Concurrent Programs Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto
Sangiovanni-Vincentelli 12 noon-1:30 PM Lunch 1:30-2:45 PM Session 2: Modeling Chair: Luca Carloni Using Separation of Concerns for Embedded Systems Design Ethan Jackson,
Janos Sztipanovits 2:45 PM-3:30 PM Posters and break 3:30 PM-4:45 PM Special Session 3: Languages Chair: Daniel Mosse High-Performance Annotation-Aware JVM for Java Cards Ana Azevedo, Arun
Kejariwal, Alex Viedenbaum, Alexander Nicolau 4:45 PM-5:30 PM Posters and break 5:30 PM-7 PM Panel: What Will System Design Be When It Grows Up? Organizer: Grant Martin, Chair: Daniel D. Gajski Panelists: David Goodwin, Tensilica; Pieter van der Wolf, Philips
Research; Jeff Welser, IBM; Peter Marwedel, University of Dortmund; Patrick
Lysaght, Xilinx Research; Mike Muller, CTO, ARM 8:30 AM-9:45 AM Session 4: Scheduling Chair: Insup Lee Real-Time Interfaces for Interface-Based Design of Real-Time Systems
with Fixed Priority Scheduling Ernesto Wandeler, Lothar Thiele 8:30 AM-9:45 AM Session 5: Optimization Chair: Jens Palsberg Using De-optimization to Re-optimize Code Stephen Hines, Prasad Kulkarni,
David Whalley, Jack Davidson Short Paper: A UML 2.0 Profile for SystemC: Toward High-level
SoC Design Patrizia Scandurra, Elvinia Riccobene, Alberto Rosti, Sara
Bocchio 9:45 AM-10:30 AM Posters and break 10:30 AM-11:45 AM Special Session 6: Design Methodologies Chair: Wayne Wolf A Unified HW/SW interface Model to Remove Discontinuities between HW
and SW Design A. Bouchhima, X. CHEN, F. Pétrot, W. O. Cesário,
, A. A. Jerraya 11:45 AM-12:30 PM Posters and break 12:30 PM-2 PM Lunch 2 PM-4 PM Session 7: Specification and Semantics Chair: Don Wilson A Denotational Semantics for Stateflow Gregoire Hamon 2 PM-4 PM Session 8: Compilation and Power Chair: Graham Hellestrand Code Aware Resource Management Marco Faella, Luca de Alfaro, Rupak
Majumdar, Vishwanath Raman 4 PM-4:30 PM Break and Posters 4:30 PM-5:45 PM Session 9: Clocks, Energy, and Fault Tolerance Chair: Stewart Tansley AutoDVS: An Automatic General Purpose Dynamic Clock Scheduling System
for Hand-Held Devices Selim Gurun, Chandra Krintz A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed
Fault Tolerant Systems Mark L. McKelvin, Jr., Gabriel Eirea, Claudio
Pinello, Sri Kanajan, and Alberto Sangiovanni-Vincentelli 4:30 PM-5:45 PM Session 10: Formal Methods Chair: Albert Benveniste Tag Machines. Albert Benveniste, Benoit Caillaud, Luca Carloni, Alberto Sangiovanni-Vincentelli SHIM: A Deterministic Model for Heterogeneous Embedded Systems Stephen Edwards, Olivier Tardieu Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems, Jie Liu, Elaine Cheong, Feng Zhao Short paper: Compositional synthesis of latency-insensitive systems
from multi-clocked synchronous specifications Jean-Pierre Talpin, Dimitru
Potop-Butucaru, Julien Ouy, Benoit Caillaud 5:45 PM-6 PM Break and Posters 6:15 PM SIGBED Meeting---open to the public Directions to banquet here. Multiprocessor SOC Design: Revolution Now! Chris Rowen, Tensilica 9:30 AM-10 AM Break 10-11:45 AM Special Session 11: Software Testing
11:45 AM-12:30 PM Break and Posters 12:30 PM - 2 PM Lunch 2 PM-3:15 PM Session 12: Specification and Dynamic Properties Chair: Stephen Edwards Pinapa: The Extraction Tool for SystemC descriptions of Systems-on-a-Chip
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz Short Paper: Dynamic Online Reconfiguration for Customizable and
Self-Optimizing Operating System Simon Oberthuer, Carsten Böke,
Björn Griese 2 PM-3:15 PM Session 13: Real-Time Properties Chair: Rajeev Alur Passive Mid-Stream Monitoring of Real-Time Properties Lalita Jagadeesan,
Ramesh Viswanathan 3:15 PM-4 PM Posters + break 4 PM-5:30 PM Panel: Grand Challenges
in Embedded Systems Panelists: John Glossner, Sandbridge Technologies; Chris Rowen,
Tensilica; Albert Sangiovanni-Vincentelli, UC Berkeley; Feng Zhao, Microsoft
Research; Trevor Mudge, University of Michigan; Wayne Wolf, Princeton
University All workshops start at 9 AM. Anyone registered for any workshop may attend all workshops.
|