Tutorial at SoC 2011

Monday, October 31, 2011

Room Aaria, Tampere Hall, from 9:00 to 17:00

System-Level Modelling

Organized by SYSMODEL ARTEMIS-project in cooperation with GETA and TISE doctoral schools.

The SYSMODEL project aims at providing SMEs with system level modeling tools for the design and implementation of time and power critical, heterogeneous systems. The focus is on the development of modeling concepts, methods and tools that master system?s complexity by allowing cost-efficient mapping of applications and product variants onto an embedded platform, while respecting constraints in terms of resources (time, energy, memory, etc.), safety, security and quality of service. The project promotes the use of open-source software for system modeling.

The tutorial course describes the system-level modeling concepts, gives an overview of existing open-source tools, presents languages for high-level modeling, and gives examples on practical modeling cases.

Local Organizer

• Prof. Jari Nurmi, TUT, Finland

Instructors:

• Prof. Axel Jantsch, KTH, Sweden
• Dr. Patricia Derler, UC Berkeley, USA
• Seyed Hosein Attarzadeh Niaki, KTH, Sweden
• Prof. Leandro Soares Indrusiak, University of York, UK
• Dr. Sanna Määttä, TUT, Finland
• Dr. Michael Reibel Boesen, DTU, Denmark
• Mathias Verdon, DA Design, Finland

Agenda

09:00-09:15 	Opening and Introduction (Jari Nurmi, TUT, Finland)
  
09:15-10:00 	System-Level Modeling Concepts (Axel Jantsch, KTH, Sweden)
 
10:00-10:45 	Modeling Heterogeneous Applications in Ptolemy II
                (Patricia Derler, UC Berkeley, USA)
  
10:45-11:00 	Coffee break 
 
11:00-11:45 	Formal System Modeling in ForSyDe (Seyed Hosein Attarzadeh Niaki, KTH, Sweden)
 
11:45-12:30 	SystemC and ForSyDe Extension to SC (Seyed Hosein Attarzadeh Niaki, KTH, Sweden) 

12:30-13:45 	Lunch
 
13:45-14:30 	UML as System Modeling Language
                (Leandro Soares Indrusiak, University of York, UK) 

14:30-15:15 	Joint Validation of Executable System Level Models of MPSoC
                Applications and Platforms (Sanna Maatta, TUT, Finland) 
 
15:15-15:30 	Coffee break
 
15:30-16:15 	Electronic DNA: The Enabling Programming Paradigm for Self-Healing FPGAs
               (Michael Reibel Boesen, DTU, Denmark) 

16:15-17:00 	Industrial Case Studies (Mathias Verdon, DA Design, Finland)