Publications The ArtistDesign community is extremely active in publishing in scientific journals and conferences, as attested by the list of joint publications provided in this document. publications seem to be a reliable measure of integration and building excellence between the partners. Industrial Liaison ArtistDesign has a wide array of affiliated industrial and SME partners, as described in the deliverables’ “Affiliated Partners” sections. Most of these partners participate in some way in the ArtistDesign technical meetings and the overall effort. There is strong, high-level industry participation through the various Spreading Excellence events organised by ArtistDesign. Our active involvement in the European Technology Platform ARTEMIS also could have a significant and long-term impact. Several ArtistDesign partners, including VERIMAG, BOLOGNA, OFFIS and TU Vienna, are actively involved in the ARTEMIS ETP. The ArtistDesign Strategic Management Board was actively consulted for finalizing the 2011 release of the ARTEMIS Strategic Research Agenda. In addition, each ArtistDesign partner has an outstanding track record for interaction with industry. Globally, the ArtistDesign consortium has a very strong impact on European R&D in embedded systems. This impact is visible via the achievements in Integrated Projects and STREPs (see below). Links with ARTEMISIA ArtistDesign has strong links to ARTEMIS, through: Representation on the ARTEMIS Industry Association Steering Joseph Sifakis is the CNRS representative Luca Beninni is the University of Bologna representative Partner membership in ARTEMIS “B” (Research Organisations & Universities) http://www.artemisia-association.org/member_status Arne Skou is the Aalborg University representative Denis Platter is the CEA representative Joseph Sifakis is the CNRS-Verimag representative Boudewijn Haverkort is the Embedded Systems Institute representative Rudy Lauwereins is the IMEC representative Jean-Pierre Banâtre is the representative Eduardo Tovar is the Instituto Superior de Engenharia do Porto representative (Instituto Politécnico do Porto in ArtistDesign) Gunnar Landgren is the KTH representative Bernhard Josko is the OFFIS representative Jan Madsen is the TU Denmark representative José Carlos Gómez Sal is the University of Cantabria representative Luca Benini is the University of Bologna representative Ouabdesselam is the Université Joseph Fourier representative
Professot Ratislav Bodik UC Berkeley USA Dr Fabien Clermidy CEA France Professor Peter Druschel Max Planck Institute for Software Systems Germany Professor Rolf Ernst TU Braunschweig Germany Professor Babak Falsafi EPFL Switzerland Professor Martti Forsell VTT Finland Professor Kim Larsen University of Aalborg Denmark Professor Yunhao Liu Tsinghua University/HKUST China Professor Alberto UC Berkeley USA Professor Sztipanovits Vanderbilt University USA Professor Dr. Lothar Thiele ETH Zurich Switzerland Participants Bhutto PhD Student Aalborg University Denmark Timo Jouko Juhani Lilja PhD Student Aalto University Finland Panagiotis Katsaros Dr. Aristotle University of Thessaloniki Greece Julien Mottin Dr CEA France Jean-Pierre Krimm Dr CEA France Muhammad Ali Awan Mr CISTER Research Unit, Porto Portugal Kasper Søe Luckow MSc in Engineering in Software Aalborg University Denmark Daghsen 2nd year Phd student ESTACA Campus Ouest France Georgia Giannopoulou Dipl.-Eng. ETH Zurich Switzerland Hardik Shah Mr. Fortiss GmbH Germany Christian Köllner FZI Forschungszentrum Informatik Germany Francisco Mendoza M.Sc. FZI Forschungszentrum Informatik Germany Florian Poelzlbauer DI(FH) Graz University of Technology Germany Andreas Riel Dr. Grenoble Institute of Technology France Daisuke Shimbara Researcher Hitachi, Ltd., Yokohama Research Laboratory Japan Hamdi Ayed PhD student INP Toulouse France Dorin Maxim M. INRIA France Gideon Smeding M. Sc. France Vincentelli
Schrammel DI INRIA France Waqaas Munawar M. Sc. Karlsruhe Institue of Technology Germany Amir Aminifar Linkoping University Sweden Ivan Ukhov Mr Linkoping University Sweden Gabriel Marchesan Almeida Mr. Laboratory France Hang Yin PhD student Mälardalen University Sweden Andreas Gustavsson Ph.D. Student Mälardalen University Sweden Rafia Inam Ms. Mälardalen University Sweden Arvind Rajawat Associate Professor Maulana Azad National Institute of Technology, Bhopal India Jochen Ulrich Hänger (FH) Robert Bosch Germany Sebastian Hahn Mr. Saarland University Germany Florian Haupenthal Mr. Saarland University Germany Ayman Dogui Phd Students at Supelec (FRANCE) Supelec (Ecole supérieure d’électricité) France Juan Rios Mr. Technical University of Denmark Denmark Laura Micconi MSc Technical University of Denmark Denmark Gérard Cristau Mr Thales Research & Technology France Panagiota Papavramidou Phd student TIMA laboratory France Maryam Bahmani PhD Student (Doctorant) TIMA Laboratory France Hai Wan Dr. Tsinghua University China Hehua Zhang Dr. Tsinghua university Rui Wang Miss Tsinghua University Min Zhou Mr Tsinghua University Jonas Diemer Dipl.-Ing. TU Braunschweig, IDA Germany Philip Axer Dipl.-Ing. TU Braunschweig, IDA Germany Anton Hattendorf M.Sc. TU München / fortiss Germany Miguel Telleria Mr Universidad de Cantabria Spain
Juan Rivas Mr Universidad de Cantabria Spain Luis Filipe Oliveira Mr. Universidade do Porto Portugal Sergio Ruocco Dr. Università degli Studi di Italy Cong Liu Mr. University of North Carolina at Chapel Hill USA Malcolm Mollison Mr. University of Carolina at Chapel Hill USA Andreas Simbuerger Dipl. Inf. (Univ.) University of Passau Germany Mifdaoui Associate professor University of Toulouse/ ISAE France Thi Thieu Hoa Le Ms University of Trento Bo Yang Researcher University of Finland Liang Guang Mr. University of Turku Finland Khalid Mr. University of Turku Finland Mohammad Fattaholmannan Najafabadi Mr. University of Finland Rahmani Researcher PhD Student University of Turku Finland Emad Ebeid PhD student University of Verona Italy Gareth Andrew Lloyd Mr University of York UK Mesidis Mr University of York UK Mark Fairbairn Mr University of York UK Pontus Ekberg Mr Uppsala University Sweden Yi Zhang Ph.D Candidate Uppsala University Sweden Nan Guan Mr Uppsala University Sweden Martin Stigge Mr. Uppsala University Sweden Bensalem Saddek Professor Verimag Laboratory France Paraskevas Bourgos Mr Verimag Laboratory France Jacques Combaz Dr Verimag Laboratory France Tesnim Abdellatif Dr Verimag Laboratory France Pranav Tendulkar PhD Student Verimag Laboratory France Marius Bozga Dr Verimag Laboratory France Husni Khanfar Mr. Verimag Laboratory France Benedikt Mr. Vienna University of Technology Austria
Organisation Scientific Coordinator: Joseph Sifakis Technical Coordinator: Bruno Bouyssounouse Programme Committee: ArtistDesign Strategic Management Board () Grants Participants were charged 850€ for students, 1100€ for non-students (VAT included). The remaining costs are covered by a grant paid for by ArtistDesign. The registration + grant cover: Lodging and from Saturday dinner to Friday lunch Chartered buses to/from Lyon St Exupéry and Geneva airport on Saturday Sept 3rd and Friday Sept 9th. Courses NB: Any other costs such as air/train fare to/from Lyon St Exupéry airport or Grenoble city centre, taxis, meals/services not organized by the school must be covered independently by the participants. Poster for the school ARTIST Summer School in China 2011 August 8-12, 2011 IOS/ISCAS - Beijing, China The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts. Overview The ArtistDesign European Network of Excellence on Embedded Systems Design will organize the 6th edition of a school on Embedded Systems Design at the Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, July 18-23, 2010. This year, the school was organized in collaboration with (in alphabetical order) : ARTIST European Network of Excellence Chinese Academy of Science Danish-Chinese Basic Research Center (IDEA4CPS) ECNU, Shanghai ISCAS, Beijiing LIAMA It was open in priority to Chinese students. We believe that this has opened significant opportunities for collaboration with Chinese research teams. Contents The school offered a full week consisting of in-depth tutorials on state-of-the-art techniques for the design and analysis of embedded systems given by leading experts.
advantages and limitations. In biochips the microfluidic channel circuitry on the chip is equipped with chip-integrated microvalves that are used to manipulate the on-chip fluid flow. By combining several microvalves, more complex units like mixers, micropumps, multiplexers etc. can be built up, with hundreds of units being accommodated on one single chip. In biochips, the liquid is manipulated as discrete droplets on an electrode array. For both types of biochip, the synthesis process, starting from a biochemical application and a given biochip architecture, determines the resource allocation, binding, scheduling and placement of the application operations, resembling the mapping process for multi-core platforms. The course will illustrate how
Previous Schools and Seminars on Embedded Systems Design Organised by ARTIST The following schools have been organised by Artist FP5, the Artist2 FP6 Network of Excellence, and the ArtistDesign FP7 Network of Excellence: Modeling Wizards 2010 September 30th - October 2nd 2010 Oslo, Norway (within MODELS 2010) 1st International Master Class on Model-Driven Engineering ARTIST Summer School Europe 2010 September 5-10, 2010 Autrans (near Grenoble), France The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts. ARTIST Summer School in 2010 July 18-23, 2010 Beida (Peking University) - Beijing, China The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - by leading scientific and/or industrial experts. ARTIST Summer School in Morocco – 2010 July 11-16, 2010 Morocco This summer school aims at providing a for graduate students, but also postgraduates, researchers, and professors, to get in-depth tutorials covering different aspects of the development cycle of embedded systems. This school is also an opportunity to share and discuss recent advances and trends in this field. ARTIST Graduate School on RT Kernels for Microcontrollers June 14-18, 2010 Scuola Superiore Sant’Anna - Pisa, Italy The course had two main objectives: Introducing the most important concepts and methodologies used to develop a real-time embedded system, including fundamentals of real-time scheduling, control and distributed systems; Showing how to apply these concepts in practice, using an embedded platform and a real-time operating system to developed simple control applications and make experience with wireless sensor networks. ARTIST Graduate Course: Automated Formal Methods for Embedded Systems – 2010 June 14-22, 2010 DTU - Lyngby, Denmark In the lectures, we will introduce a comprehensive set of state-based models as well as automatic procedures for their analysis. The exercise classes will complement this by providing hands-on experience with appropriate verification tools.
ARTIST Summer School South-America 2010 May 26-28, 2010 Gramado, Brazil This fourth edition of the school seeks to continue strengthening the cooperation between Europe and South America in the area of embedded systems, both at educational and research levels. For this purpose, the goal of the school is to provide state-of-the-art courses on embedded systems oriented towards advanced students and young researchers. It should also provide a pleasant atmosphere for research-related discussions among the participants. Quantitative Model Checking 2010 March 2-5, 2010 IT University Copenhagen, Denmark The PhD school on quantivative model checking, QMC 2010, is organized by the European Network of Excellence ARTIST Design and the Danish VKR Center of Excellence MT-LAB and takes place at the IT University Copenhagen from 2 to 5 March 2010. It features lectures and other activities by world-renowned experts within the areas of real-time, probabilistic, and hybrid model checking. ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2009 June 17-25, 2009 DTU - Lyngby, Denmark The aim of this course was to introduce advanced topics in connection with models, analysis and verification of embedded systems. The course will cover theory and applications, and hands-on experience with state-of-the-art tools. ARTIST Graduate Course on Embedded Control Systems 2009 June 8-12, 2009 Scuola Superiore Sant’Anna - Pisa, ARTIST2 Summer School 2008 in Europe September 8-12, 2008 Autrans (near Grenoble), France The Summer School offers a number of foundational tutorials, accompanied by a selection of lectures on exciting emerging technologies and industrial applications - given by leading scientific and/or industrial experts. ARTIST2 South-American School for Embedded Systems 2008 August 25-29, 2008 Universidade Federal de Santa Catarina, Florianopolis, Brazil Second edition of the ARTIST American School. Artist2 Summer School in China 2008 July 12-18, 2008 Shanghai, China ARTIST2 has organized the 3rd edition of a school on Embedded Systems Design in Shanghai. This year, the school was organized in collaboration with the SEI/ECNU and the LIAMA. Real-Time Kernels for Microcontrollers: Theory and Practice June 23-25, 2008 Pisa, Italy
· OSPERT 2010 July 6th, 2010 · Quantitative Model Checking 2010 March 2010 Previous ARTIST Workshops in 2008 November 27-28, 2008 November 12-13, 2008 October 28th, 2008 October 27th, 2008 October 23rd, 2008 October 19th, 2008 September 29th, 2008 September 8-12, 2008 August 25-29, 2008 July 12-18, 2008 July 3-4, 2008 July 1st, 2008 July 1st, 2008 June 23-27, 2008 June 23-25, 2008 June 17-18, 2008 June 16-24, 2008 June 16-17, 2008 May 26-30, 2008 May 13-14, 2008 May 5th, 2008 21st, 2008 April 5th, 2008 March 13th, 2008 March 12th, 2008 March 3rd, 2008 5,
Previous ARTIST Workshops in 2007 November 26-30, 2007 November 12-13, 2007 October 4-5, 2007 September 30th, 2007 September 28th, 2007 August 21-24, 2007 August 1-10, 2007 July 4-5, 2007 July 1-2, 2007 June 4-12, 2007 May 31st - June 1st 2007 May 7-11, 2007 April 20th, 2007 April 2nd, 2007 March 26-28, 2007 February 19-23, 2007 Previous ARTIST Workshops in 2006 December 4-5, 2006 November 17th, 2006 November 16-17, 2006 October 26th, 2006 October 26th, 2006 October 23-26, 2006 July 10-14, 2006 July 4-5, 2006 June 16th, 2006 May 22-23, 2006 May 18th, 2006 April 3-15, 2006 April 3-7, 2006 March 23-24, 2006 March 10th, 2006
Industrial Communication Systems Conference name: ETFA 2011 – 16th IEEE Conference on Emerging Technologies in Factory Automation Toulouse, France – September 5-9, 2011 This track was co-chaired by Lucia Lo Bello from Catania. Tutorial : Luis Almeida, Real-Time Communication for Embedded Systems Institution: Course at ENSIAS, Ùniversity Mohammed V Rabat, Morrocco – 19-21 December, 2011 20 hour course covering the concepts, techniques, technologies and applications of real-time networks. Tutorial: Luis Almeida, Real-Time Communication for Embedded Systems Institution: Institute of Software – Chinese Academy of Sciences Event: ArtistDesign Summer School in China 2011 Beijing, China – 11-12 August 2011 6 hour course covering the concepts, techniques, technologies and applications of real-time networks. Tutorial : Luis Almeida, Real-Time Traffic Scheduling, Event: Course within the Master on Control Engineering, Automation and Robotics Universidad del Pays Vasco, Bilbao, Spain – 3-4 May, 2011 6 hours of lectures covering techniques for message scheduling on networks and on the challenges of flexible communication. Tutorial : Luis Almeida, When Time becomes real, Event: Seminar within the MAP-Tele PhD program Universidade de Aveiro, Portugal – 18 Feb, 2011 2 hour lecture introducing Distributed Real-Time Embedded Systems. Tutorial : Nuno Pereira, Densely Instrumented Energy-Efficient Physical Infrastructures Event: Advanced School on ICT for future energy systems Trento, Italy – 25-29 July, 2011 Dedicated to applications of pervasive sensing technologies for densely instrumented physical infrastructures. Thematic Cluster: Hardware Platforms and MPSoC Activity: Platform and MPSoC Design Invited Talk: Trusted MpSoC Platforms for Safety Related Applications (Rolf Ernst, TU Braunschweig) Coolchips Symposium Yokohama, Japan – April 20 - 22, 2011(per video conference)