MoCC 2008

2nd Artist Workshop on Models of Computation and Communication, held in Eindhoven, July 3-4, 2008

Embedded systems are omnipresent in modern society, and society crucially depends on their proper functioning. The complexity of embedded system design however is increasing rapidly, through the use of multiprocessor cores, through the integration of embedded systems in ubiquitous networks, and through the increasing interaction between embedded systems and their users and environments. To obtain a reliable operation of embedded systems while maintaining resource efficiency, the embedded system design process needs to be based on a solid basis of computational models.

The workshop focused on the following question in particular:

- How can computational models be used to drive embedded system design such that performance, quality and resource constraints are met?

Workshop program

Thursday, 3 July, 2008

10:00 - 10:15	Opening remarks (pdf)
	Twan Basten, Eindhoven U of Technology, Netherlands
10:15 - 11:00	Model-based Software Engineering, Formal Methods, and Mechatronic Systems (pdf)
	Ekkart Kindler, Technical University of Denmark, Denmark
11:00 - 11:30	Break
11:30 - 12:00	The general alternating model: support for probabilities, parallelism and abstraction
	Suzana Andova, Eindhoven U of Technology, Netherlands
12:00 - 12:30	Analytical Models of Communications
	Balaji Raman, EPFL, Switzerland
12:30 - 14:00	Lunch
14:00 - 14:30	Computational Modeling of Non-Functional Properties with the Component Model 42
	Tayeb Bouhadiba, VERIMAG, Grenoble, France
14:30 - 15:00	Capturing SystemC Semantics by Actors and Applying Specific Reduction Techniques in Model Checking (ppt)
	Marjan Sirjani, U of Tehran, Iran
15:00 - 15:30	Break
15:30 - 16:00	SystemCoDesigner - An ESL Design Methodology Based on the FunState MoC (pdf)
	Christian Haubelt, University of Erlangen-Nuremberg, Germany
16:00 - 16:30	Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication
	Maarten Wiggers, U Twente, Netherlands
16:30 - 17:00	Break
17:00 - 17:45	The Dataflow Interchange Format
	Shuvra Bhattacharyya, U of Maryland, USA
18:00 - 22:00	Reception and Dinner

Friday, 4 July, 2008

09:30 - 10:15	Canals: a language for energy efficient models of computation
	Johan Lilius, Åbo Akademi University, Turku, Finland
10:15 - 10:30	Break
10:30 - 11:00	Workload-oriented Programming
	Silviu Craciunas, U Salzburg, Austria (pdf)
11:00 - 11:30	Break
11:30 - 12:00	Behavioral Analysis of Real-Time Systems with Interdependent Tasks
	Alina Weffers-Albu, Philips Research Eindhoven, Netherlands
12:00 - 12:30	Synchronous Dataflow Scenarios
	Marc Geilen, Eindhoven U of Technology, Netherlands
12:30 - 14:00	Lunch
14:00 - 14:30	Interaction between delays and high-level transformations in Array-OL (pdf)
	Calin Glitia, INRIA Lille, France
14:30 - 15:00	Parametric Throughput Analysis of Synchronous Dataflow Graphs
	AmirHossein Ghamarian, Eindhoven U of Technology, Netherlands
15:00 - 15:15	Closing