ARTIST Summer School South-America 2010

May 26-28, 2010      Gramado, Brazil organised and funded by ARTIST 

Programme

Contents of the lectures are informed below.

Wednesday, May, 26, 2010

8:30 Lecture: Distributed Cyber-physical Systems Tarek Abdelzaher, UIUC
10:30 break
11:00 Lecture: Distributed Cyber-physical Systems Tarek Abdelzaher, UIUC
12:30 lunch
14:00 Lecture: Distributed Cyber-physical Systems Tarek Abdelzaher, UIUC
15:30 break
16:00 Lecture: The Future of Embedded Systems: Cyber Physical Systems or Cyber Biosphere? Franz Rammig, Universität Paderborn
17:30 closing

Thursday, May, 27, 2010

8:30 Lecture: The Future of Embedded Systems: Cyber Physical Systems or Cyber Biosphere? Franz Rammig, Universität Paderborn
10:30 break
11:00 Lecture: The Future of Embedded Systems: Cyber Physical Systems or Cyber Biosphere? Franz Rammig, Universität Paderborn
12:30 lunch
14:00 Lecture: Code generation of embedded systems: some issues, approaches and open problems Sergio Yovine, CONICET-UBA
15:30 break
16:00 Lecture: Code generation of embedded systems: some issues, approaches and open problems Sergio Yovine, CONICET-UBA
18:00 closing

Friday, May, 28, 2010

8:30 Lecture: Code generation of embedded systems: some issues, approaches and open problems Sergio Yovine, CONICET-UBA
10:30 break
11:00 Lecture: Embedded Distributed Processing Systems: From Reconfigurable Computing to MPSoCs Gilles Sassatelli, LIRMM
12:30 lunch
14:00 Lecture: Embedded Distributed Processing Systems: From Reconfigurable Computing to MPSoCs Gilles Sassatelli, LIRMM
15:30 break
16:00 Lecture: Embedded Distributed Processing Systems: From Reconfigurable Computing to MPSoCs Gilles Sassatelli, LIRMM
17:30 closing

Detailed Abstracts

Tarek Abdelzaher, University of Illinois em Urbana-Champain (UIUC), USA

tarek		 Distributed Cyber-physical Systems
An expanding frontier for computer scientists lies at the
intersection of the logical and physical realms. As computing
elements become embedded more pervasively in our environment, a
new cyber-physical fabric arises in which distributed logical
processing is deeply intertwined with the distributed physical
environment in which it occurs. The course focuses on analysis
of distributed cyber-physical systems. Special emphasis is made
on analysis of interactions between system components in
temporal, functional, and data spaces. Understanding such
interactions and preventing them from degrading system
performance is a major challenge towards making these systems
predictable, reliable and efficient. The course covers the
unfolding research challenges and directions in distributed
cyber-physical systems, discusses common misconceptions,
presents the underlying theoretical foundations, and sheds
light on related recent results and technologies.

Franz Rammig, Universität Paderborn, Germany

franz		 The Future of Embedded Systems: Cyber Physical Systems or Cyber Biosphere?

Embedded Systems are heading into a degree of complexity which is far beyond today`s level. As most technical artifacts will be interconnected in some sense (“Internet of Things”) Embedded Systems of the future cannot be treated as isolated entities any longer. Two major tendencies to cope with this challenge can be observed. The first one takes its inspiration from the technical roots of Embedded Systems and Computer Communications. Systems are looked at from their technical nature but the traditional boundaries of Embedded Systems, especially to consider them as isolated systems are overcome by considering advanced communication technologies. This approach became well known under the name “Cyber Physical Systems (CPS)”. The second approach observes the existence of highly successful and relatively stable systems in form of our biosphere. So it seems to be wise to take inspirations from the achievement of nature. This approach became rather popular under the term “Biologically Inspired Systems” or “Organic Computing”. We will compare the two approaches to build the highly complex, highly sophisticated Embedded Systems of the future. As biologically inspired systems seem to be less intensively discussed in literature, the major emphasis will be laid on this approach. Inspirations from ant colonies, artificial hormone systems, and artificial immune systems will shortly be discussed using specific examples. Of course comparisons with the CPS approach will be made as well.

Sergio Yovine, CONICET-UBA, Argentina

sergio		 Code generation of embedded systems: some issues, approaches and open problems
The purpose of this course is to discuss some problems related to code generation in the context of Model-Driven Engineering for embedded systems. In particular, we will talk about how to formally link the abstract notion of time with its implementation counterpart. We will give examples of techniques that deal with specific instances of the problem. We will end with the overview of a formal end-to-end approach based on the concept of model transformation.

Gilles Sassatelli, LIRMM, France

Gilles Sassatelli 		Embedded Distributed Processing Systems: From Reconfigurable Computing to MPSoCs
This course will first review the basics of computer architecture and go through the successive evolutions in microprocessor architecture that aimed at improving performance. Concepts such as CISC, RISC, cache memories, MMU, vector / VLIW / superscalar architectures, ASIP will be covered emphasizing their applicability in embedded systems. Some basic knowledge on operating systems will also be given. Reconfigurable computing solutions will also be briefly discussed, including FPGAs and coarse grain reconfigurable systems. The course will especially emphasize on multiprocessor systems and review the fundamental characteristics such as homogeneous / heterogeneous, shared / distributed memories and the corresponding programming models. The concepts will be illustrated through the analysis of various embedded multiprocessor architectures (MPSoCs) used in current mobile terminals, and discuss the upcoming challenges to the design of low-power massively parallel embedded multiprocessor systems.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet