ArtistDesign NoE

60. Summary Report

Sergio Yovine — 2010-08-04T20:20:29Z

Please see the report from the school.

25. Programme

Sergio Yovine — 2010-04-09T21:35:33Z

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

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

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

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

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.

50. Registration

Sergio Yovine — 2010-04-05T14:10:50Z

Registration is now open here.

Important Deadlines (New dates)

Deadline for applications: May, 23, 2010

In applying for the school, each participant agrees to attend all 3 days of the school.
Confirmation of acceptance: May, 24, 2010

Notification of acceptance / rejection will be sent via email.
Deadline for final registration: May, 25, 2010

Registration is necessary to confirm your participation.

Registration

Registration
Upon confirmation of acceptance, you will have to register.
Further indications will be provided here, later on.

Fees
No registration fees for School will be required for SBRC participants.

50. Venue

Sergio Yovine — 2006-10-24T10:15:11Z

Please notice that the School's dates have changed. The School will be starting Tuesday August 21st, instead of Monday August 20th.

The school will take place at Universidad Argentina de la Empresa (UADE), Lima 717, Buenos Aires, Argentina.

On Tuesday 21st, registered students have to present an ID at the reception desk located at the left-most entrance, the closest to Avenida Independencia. The reception will open at 8:00AM (please don't arrive earlier).

The lectures will be at "mini-Auditorio B", basement 1, building Lima III.

UADE is centrally located and can be easily reached by public transportation: metro lines C and E, and buses 39, 67, 91, 98, 100,102, 116 and 129.

To get additional information, you can make use of the interactive online map (in spanish) by the City of Buenos Aires.

If you have further questions, please send an e-mail to Sergio.Yovine@imag.fr or contact Alfredo Olivero by phone at (54) (11) 4372 5454 int 7124.

10. Objectives

Sergio Yovine — 2006-08-31T10:25:53Z

The purpose of the school is to foster the well established and dynamic research cooperations in the field of embedded systems between groups in Europe and South America, by allowing south-american students (specially graduate), to meet european researchers. We strongly believe this will offer an excellent opportunity to strengthen the relationships with mutual benefit.

The school will be a repeated event on a yearly basis. Besides the lectures given by european researchers, there will be invited talks by southamerican researchers and space (poster session) for graduate students to present and discuss their work.

40. Scientific Committee

Sergio Yovine — 2006-08-31T10:25:45Z

Scientific Committee

Victor Braberman, Universidad de Buenos Aires, Buenos Aires, Argentina.
Pedro D'Argenio, Universidad Nacional de Cordoba, Cordoba, Argentina.
Markus Endler, PUC-Rio, Rio de Janeiro, Brazil.
Jean-Marie Farines, Universidade Federal de Santa Catarina, Florianopolis, Brazil.
Joni da Silva Fraga, Universidade Federal de Santa Catarina, Florianopolis, Brazil.
Gerhard Fohler, University of Kaiserslauten, Kaiserslautern, Germany.
Julius Leite, Universidade Federal Fluminense, Rio de Janeiro, Brazil.
George Lima, Universidade Federal da Bahia, Bahia, Brazil.
Alfredo Olivero, Universidad Argentina de la Empresa, Buenos Aires, Argentina.
Rodrigo Santos, Universidad Nacional del Sur, Bahia Blanca, Argentina.
Joseph Sifakis, CNRS-VERIMAG, Grenoble, France.
Sergio Yovine, CNRS-VERIMAG, Grenoble, France.

20. Lecturers

Sergio Yovine — 2006-08-31T10:25:39Z

Joseph Sifakis, A framework for component-based construction. Joseph Sifakis is CNRS researcher and the Director of Verimag Laboratory in Grenoble, France. He studied Electrical Engineering at the Technical University of Athens and Computer Science at the University of Grenoble. He worked on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to the development of the state of the art in verification methods and tools by model-checking for both untimed and timed systems. His current research interests include modeling, design and analysis of real-time systems with a focus on composability and compositionality. (Further information: here). He is a member of the editorial board of several journals, co-founder of the CAV (Computer Aided Verification) conference and a member of the Steering Committee of the EMSOFT (Embedded Software) conference. He is the recipient of the CNRS Silver Medal in 2001. He is the scientific coordinator of the ARTIST2 European Network of Excellence on Embedded Systems Design.

Gerhard Fohler, Adaptive real-time systems. Gerhard Fohler is professor for real-time systems at the Technische Universitaet Kaiserslautern, Germany. He received his Ph.D. from Vienna University of Technology and worked at the University of Massachusetts at Amherst as postdoctoral researcher. Before joining TU Kaiserslautern, he was professor and Malardalen University Sweden. His research interests are in adaptive real-time systems, in particular combined scheduling schemes, such as offline and online. Recently, he has been involved in applying real-time resource management for media processing and video streaming. Currently, he is chairman of the Technical Committee on Real-Time Systems of EUROMICRO, member of the executive team of the IEE Professional Network on Embedded Systems and the IEEE Technical Committee on real-time systems. Gerhard Fohler has been active with international conferences and chair and program chair of the leading real-time conferences.

Luis Almeida, Networks for embedded control systems. Luis Almeida is currently a professor of the Electronics, Telecommunications and Informatics Department (DETI) of the Universidade de Aveiro (UA), and Coordinator of the LSE, a research laboratory of the IEETA research unit (Instituto de Engenharia Electrónica e Telemática de Aveiro) at the same university. He belongs to the Scientific Board of IEETA and he is a senior member of the IEEE, Computer Society. Luis Almeida has coordinated the LSE since 2003, being currently interested in real-time communication protocols for embedded systems with an emphasis on mechanisms to support predicatble operational flexibility. He is a co-author of more than 80 refereed publications in international scientific conferences and journals in the area, and co-author of 3 patents and 3 book chapters. He has given several invited talks and short courses about related topics and supervised several PhD students and Post-Doc visits to the LSE. He regularly participates in the organization of scientific events in the Real-Time Systems and Robotics communities.

30. Programme

Sergio Yovine — 2006-08-31T10:25:32Z

Programme

The daily school programme is the following

08:30 - 10:30	Course	Joseph Sifakis	Component-based modeling of heterogeneous real-time systems
10:30 - 11:00			Poster exhibition
11:00 - 13:00	Course	Gerhard Fohler	Adaptive Real-time systems
13:00 - 14:30			Poster exhibition
14:30 - 16:30	Course	Luis Almeida	Networks for embedded control systems
16:45 - 18:00			Poster presentations and discussion

Poster presentations

There will be 3 presentations per day, 5 minutes each plus 5 minutes of questions. Students will have a dedicated space for exhibiting a poster of their work during coffee and lunch breaks.

Discussion

The day will conclude with an open discussion between all participants and speakers.

60. Supporting organizations

Sergio Yovine — 2006-08-31T10:25:27Z

Conferencia Lationamericana de Informática (CLEI)

Microsoft Argentina