9:00 Welcome and Introduction by the Workshop Organizers
9:15 Keynote:
UML for SoC: Where, When, and How?
Sreeranga P. Rajan - Chair of the UML4SoC Standardization Committee, Fujitsu Labs, Sunnyvale, CA
Session 1: Systems Modeling with UML
9:45 UML Modeling and Configuration of Tile Based Networks-on-Chip
Subhek Garg, Marcello Lajolo - NEC, Princeton, NJ
10:15 UML-Based Modeling of Time-triggered Applications
Kathy Dang Nguyen, Geoffrey Koh, P.S. Thiagarajan, Weng-Fai Wong - Univ. of Singapore, Singapore
10:45 Coffee break
Session 2: UML-based SoC Design Space Exploration
11:00 Multi-objective Design Space Exploration Based on UML
Marcio F. da S. Oliveira, Eduardo Brião, Francisco Nascimento, Lisane Brisolara, Luigi Carro, Flávio Wagner - Federal Univ. of Rio Grande do Sul, Porto Alegre, Brazil
11:30 A UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Systems
Chih-Hao Tseng, Pao-Ann Hsiung - National Chung-Cheng Univ., Taiwan, Republic of China
12:00 Design Space Exploration Through Interactive Model Mappings for UML-based Specifications
Tim Schattkowsky, Achim Rettberg, Rainer Doemer - C-LAB, Paderborn, Germany; Paderborn Univ. of Paderborn, Germany; Univ. of California, Irvine, CA
12:30 Lunch
Session 3: UML and SoC Languages
2:00 Automatic Generation of Verification Properties for SoC Design from SysML-Diagrams
Stefan Laemmermann, Roland Weiss, Juergen Ruf, Thomas Kropf, Wolfgang Rosenstiel - Univ. of Tuebingen, Germany
2:30 SoC, UML & MDA - An Investigation
Maha Ramanan - Philips Semiconductors, Southampton, UK
3:00 A SoC Design Flow Based on UML 2.0 and SystemC
Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra - STMicroelectronics, Milano, Italy; Univ. of Milano, Milano, Italy; Univ. of Catania, Catania, Italy
3:30 Coffee break & tool demos
Session 4: Models of Computations and UML for SoC
4:00 Stereotyping for Register-level SoC Custom Logic Kernel Design: Integrating Algorithmic State Machines into UML
James P. Davis, Achraf El Allali, Bryan D. Young, Salman Ali - Univ. of South Carolina, Columbia, SC
4:30 Towards a Unified Behavioral Language
Wolfgang Mueller, Henning Zabel, C-LAB, Paderborn, Germany
Session 5
5:00 Workshop Discussion: Challenges with UML-Based SoC Design and State-of-the-Art Solution - moderated by the Organizers
6:00 Workshop Wrap-up



Workshop