WFCD - 2010

October 24th, 2010 Scottsdale, Arizona (USA), within ESWeek 2010

organised and funded by ARTIST

Schedule

Slides are available below, see PDF

8:40	Welcome Joseph Sifakis

8:50	Prof. Edward A. Lee UC Berkeley	Predictability, Repeatability, and Models for Cyber-Physical Systems	PDF

9:30	Coffee break @ Hall of State

10:00	Prof. Pieter J. Mosterman The MathWorks	Heterogeneous Function Composition to Eliminate a Class of Direct Relationships in Software Components of Dynamic Systems	PDF

10:40	Dr. Pierre Paulin Director of SoC Platform Automation, STMicroelectronics (Canada) Inc.	A Component-based Multi-Core Programming Environment	PDF

11:20	Joseph Sifakis Verimag Laboratory	Generating Distributed Implementations for BIP	PDF

12:00	lunch

13:40	Prof. Lothar Thiele ETH Zürich	Component-Based Worst-Case Analysis of System Temperatures	PDF

14:20	Prof. Janos Sztipanovits Vanderbilt University	Composition Challenges in Heterogeneous Systems	PDF

15:00	Coffee break @ Hall of State

15:30	Axel Legay INRIA	Stochastic Abstraction: From component-based design and simulation to abstraction and lightweight verification	PDF

16:10	Prof. Paul Petterson Mälardalen University	Progress - Predictable component-based development of embedded systems	PDF

16:50	Dr. Maarten Wiggers Twente University	Requirements for a Real-Time Multi-Processor Mapping Flow based on Convex Programming	PDF

17:30	closing