26.12.2012 Views

to download a PDF version of - IRIT

to download a PDF version of - IRIT

to download a PDF version of - IRIT

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Monday, 5 September 2011<br />

Rooms Hebraud Auriliac<br />

8:30<br />

-<br />

9:00<br />

9:00<br />

-<br />

10:30<br />

10:30<br />

-<br />

11:00<br />

11:00<br />

-<br />

11:30<br />

11:30<br />

-<br />

12:30<br />

12:30<br />

-<br />

14:00<br />

14:00<br />

-<br />

16:00<br />

16:00<br />

-<br />

16:30<br />

16:30<br />

-<br />

18:00<br />

IndDay-1<br />

IndDay-1<br />

IndDay-2<br />

IndDay-3<br />

IndDay-4<br />

Registration<br />

(Registration Desk)<br />

C<strong>of</strong>fee break<br />

Lunch break<br />

C<strong>of</strong>fee break<br />

SOCNE-1<br />

Workshop<br />

SOCNE-2<br />

Workshop<br />

SOCNE-3<br />

Workshop<br />

Full-day program


Tuesday, 6 September 2011<br />

Full-day program<br />

Rooms Hebraud Raynaud Mestre Montane Ouriliac H<br />

8:00<br />

-<br />

9:00<br />

9:00<br />

-<br />

9:30<br />

9:30<br />

-<br />

11:00<br />

11:00<br />

-<br />

11:30<br />

11:30<br />

-<br />

13:00<br />

13:00<br />

-<br />

14:00<br />

14:00<br />

-<br />

16:00<br />

16:00<br />

-<br />

16:30<br />

16:30<br />

-<br />

17:30<br />

19:00<br />

-<br />

20:30<br />

Registration<br />

(Registration Desk)<br />

Opening Ceremony<br />

Room: Despax<br />

Track1-1 Track2-1 Track3-1 Track4-1 WIP5 WIP6&7<br />

C<strong>of</strong>fee break + Discussion at posters<br />

Track1-2 Track2-2 Track3-2 Track4-2<br />

Lunch break<br />

IES TC-FA<br />

meeting<br />

Track1-3 Track3-3 Track4-3 Track5-1 WIP2-1<br />

C<strong>of</strong>fee break + Discussions at posters<br />

Keynote 1 - Andre Bottaro<br />

Room: Despax<br />

Welcome Reception<br />

(Town Hall)


Wednesday, 7 September 2011<br />

Full-day program<br />

Rooms Hebraud Raynaud Mestre Montane Ouriliac H<br />

9:00<br />

-<br />

10:30<br />

10:30<br />

-<br />

11:00<br />

11:00<br />

-<br />

12:00<br />

12:00<br />

-<br />

13:00<br />

13:00<br />

-<br />

14:00<br />

14:00<br />

-<br />

16:00<br />

16:00<br />

-<br />

16:30<br />

16:30<br />

-<br />

18:30<br />

20:00<br />

-<br />

23:30<br />

Track1-4 Track2-3 WIP3 Track4-4 Track5-2<br />

C<strong>of</strong>fee break + Discussions at posters<br />

Keynote 2 - Josef Noebauer<br />

Room: Despax<br />

Track1-5 Track2-4 Track3-4 Track4-5 SS07-1<br />

Lunch break<br />

WIP1 Track6-1 Track7-1 Track4-6 Track5-3 SS07-2<br />

C<strong>of</strong>fee break + Discussions at posters<br />

Track6-2 SS03 SS09-1 Track5-4<br />

Conference Banquet<br />

(Mediatheque)


Thursday, 8 September 2011<br />

Full-day program<br />

Rooms Dauvillier Raynaud Mestre Montane Ouriliac H<br />

9:00<br />

-<br />

10:30<br />

10:30<br />

-<br />

11:00<br />

11:00<br />

-<br />

12:00<br />

12:00<br />

-<br />

13:00<br />

13:00<br />

-<br />

14:00<br />

14:00<br />

-<br />

14:30<br />

14:30<br />

-<br />

19:30<br />

SS02-1 Track6-3 Track7-2 WIP4 WIP2-2<br />

C<strong>of</strong>fee break + Discussions at posters<br />

SS02-2 SS04 SS09-2 Track5-5 SS07-3<br />

Keynote 3 - Stefan Svensson<br />

Room: Despax<br />

Lunch break<br />

Closing Ceremony<br />

Room: Despax<br />

Social Visit<br />

(Medieval City <strong>of</strong> Carcassonne)


Friday, 9 September 2011<br />

Rooms J4 J5<br />

8:30<br />

-<br />

9:00<br />

9:00<br />

-<br />

10:30<br />

10:30<br />

-<br />

11:00<br />

11:00<br />

-<br />

12:30<br />

12:30<br />

-<br />

14:00<br />

iATPA-1<br />

Workshop<br />

iATPA-2<br />

Workshop<br />

Registration<br />

(Registration Desk)<br />

C<strong>of</strong>fee break<br />

Lunch<br />

4DIAC-1<br />

Workshop<br />

4DIAC-2<br />

Workshop<br />

Full-day program


Monday, 5 September 2011<br />

IndDay-1: Industry Day - PLCopen Session 1<br />

Speaker: Eelco van der Wal, PLCopen<br />

Room : Hebraud (9:00-10:30)<br />

Overview <strong>of</strong> the current PLCopen activities and working groups<br />

The 3rd release <strong>of</strong> IEC 61131-3<br />

PLCopen Motion Control 2.0: what is possible with this new <strong>version</strong>?<br />

SOCNE-1: Workshop on Service Oriented Architectures in Converging Networked Environments<br />

Chair: Lucia Lo Bello<br />

Room : Auriliac (9:00-10:30)<br />

Day program <strong>to</strong>p<br />

OSAMI COMMONS - An open platform for dynamic services for ambient intelligence<br />

Naci Dai (ETERATION A.S); Jesus Bermejo (Telvent); Felix Cuadrado Latasa (Universidad Politecnica de Madrid); Alejandra Ruiz López (Tecnalia); Isaac Agudo (Universidad de Malaga);<br />

Elmar Zeeb (University <strong>of</strong> Ros<strong>to</strong>ck); Jan Krueger (University <strong>of</strong> Dortmund); Wolfgang Thronicke (Siemens); Oliver Dohndorf (TU Dortmund); Chris<strong>to</strong>ph Fiehe (Materna); Anna Litvina<br />

(Materna)<br />

Au<strong>to</strong>nomic Enterprise Service Bus<br />

Philippe Lalanda (LIG, Grenoble); Denis Morand (Schneider Electric); Issac Garcia (LIG, Grenoble)<br />

A New Approach for Au<strong>to</strong>matic Generation <strong>of</strong> Tests for Next Generation Network Communication Services<br />

Marten Fischer (University <strong>of</strong> Applied Science Osnabrueck); Ralf Tönjes (University <strong>of</strong> Applied Science Osnabrueck); Rolf Lasch (University <strong>of</strong> Applied Sciences Osnabrück)<br />

IndDay-1: Industry Day - PLCopen Session 2<br />

Speaker: Eelco van der Wal, PLCopen<br />

Room : Hebraud (11:00-11:30)<br />

What is the "OPC UA Information Model for IEC 61131-3", and how is it beneficial in the design <strong>of</strong> an au<strong>to</strong>mation<br />

system?<br />

IndDay-2: Industry Day - O3neida Session 1<br />

Chair: An<strong>to</strong>nio Valentini<br />

Room : Hebraud (11:30-12:30)<br />

Opening session<br />

An<strong>to</strong>nio Valentini (O3neida Europe)<br />

IEC 61499 current status and near future developments<br />

Alois Zoitl (University <strong>of</strong> Technology)<br />

CANopen in decentralized and distributed control systems<br />

Holger Zeltwanger (CAN CiA (CAN in Au<strong>to</strong>mation))<br />

SOCNE-2: Workshop on Service Oriented Architectures in Converging Networked Environments<br />

Chair: Guido Moritz<br />

Room : Auriliac (11:00-12:30)<br />

Integration <strong>of</strong> Medical Equipment in<strong>to</strong> SOA - enabling Technology for efficient Workflow Management<br />

Lars Lindemann (Institut fuer Au<strong>to</strong>mation und Kommunikation e.V. ); Mario Thron (Institut fuer Au<strong>to</strong>mation und Kommunikation e.V.); Thomas Bangemann (Institut fuer Au<strong>to</strong>mation und<br />

Kommunikation e.V.); Oliver Grosser (Universitaetsklinikum Magdeburg)<br />

User-Generated Mobile Services for Health and Fitness<br />

Alexandra Chapko (German Research Center for Artificial Intelligence); Marc Gräßle (German Research Center for Artificial Intelligence); Andreas Emrich (German Research Center for<br />

Artificial Intelligence); Dirk Werth (German Research Center for Artificial Intelligence); Carsten Rust (Morpho e-Documents); Jürgen Tacken (Orga Systems GmbH); Stephan Flake (Orga<br />

Systems GmbH); Nico Laum (University <strong>of</strong> Ros<strong>to</strong>ck); Christian Lerche (University <strong>of</strong> Ros<strong>to</strong>ck); Alexander Weber (Deutsches Lauftherapiezentrum e.V.)<br />

Towards self-organization <strong>of</strong> networked medical devices<br />

Joachim Hänsel (Fraunh<strong>of</strong>er Institute for Computer Architecture and S<strong>of</strong>tware Technology); Matthias Hovestadt (Technische Universitaet Berlin); Michael John (Fraunh<strong>of</strong>er Institute for<br />

Computer Architecture and S<strong>of</strong>tware Technology); Odej Kao (Technische Universitaet Berlin); Andreas Kliem (Technische Universitaet Berlin)<br />

IndDay-3: Industry Day - O3neida Session 2<br />

Chair: An<strong>to</strong>nio Valentini<br />

Room : Hebraud (14:00-16:00)<br />

Evolution <strong>of</strong> IEC 61499 implementation in ISaGRAF v6<br />

Nicolas Jouvray (ISAGRAF)<br />

IEC 61499 in the Context <strong>of</strong> Smart Grids Applications<br />

Thomas Strasser (Austrian Institute <strong>of</strong> Technology)<br />

Applications <strong>of</strong> the IEC 61499 standard <strong>to</strong> the development <strong>of</strong> advanced manufacturing and HVAC control<br />

Solutions<br />

Mauro Mazzolini (ITIA CNR)


SOCNE-3: Workshop on Service Oriented Architectures in Converging Networked Environments<br />

Chair: Frank Gola<strong>to</strong>wski<br />

Room : Auriliac (14:00-16:00)<br />

Service <strong>of</strong>floading in Adaptive Real-Time Systems<br />

Luis Lino Ferreira (CISTER Research Group/ISEP); Guilherme Silva (CISTER Research Group/ISEP); Luis Miguel Pinho (CISTER Research Group/ISEP)<br />

Requirements for Smart Home Applications and Realization with WS4D-PipesBox<br />

Elmar Zeeb (University <strong>of</strong> Ros<strong>to</strong>ck); Guido Moritz (University <strong>of</strong> Ros<strong>to</strong>ck); Christian Beckel (Robert Bosch GmbH); Heinz Serfas (Robert Bosch GmbH); Frank Gola<strong>to</strong>wski (University <strong>of</strong><br />

Ros<strong>to</strong>ck); Dirk Timmermann (University <strong>of</strong> Ros<strong>to</strong>ck)<br />

Adaptive and Reliable Binding in Ambient Service Systems<br />

Jan Krüger (TU Dortmund University); Oliver Dohndorf (TU Dortmund University); Heiko Krumm (TU Dortmund University); Chris<strong>to</strong>ph Fiehe (MATERNA Information & Communications);<br />

Anna Litvina (MATERNA Information & Communications); Ingo Lück (MATERNA Information & Communications); Franz-Josef Stewing (MATERNA Information & Communications)<br />

IndDay-4: Industry Day - O3neida Session 3<br />

Chair: An<strong>to</strong>nio Valentini<br />

Room : Hebraud (16:30-18:00)<br />

Argument in favour <strong>of</strong> IEC 61499: System level design <strong>of</strong> au<strong>to</strong>mation systems. Examples from SmartGrid,<br />

Logistics and Manufacturing<br />

Valeriy Vyatkin (University <strong>of</strong> Auckland)<br />

Industry Day Joint Panel discussion<br />

Tuesday, 6 September 2011<br />

Track1-1: Information Technology in Au<strong>to</strong>mation - Reconfiguration and Reuse<br />

Chair: Olawande Daramola<br />

Room : Hebraud (9:30-11:00)<br />

Day program <strong>to</strong>p<br />

An OPC UA Interface for an Evolvable ISA88 Control Module<br />

Dirk Van Der Linden (Artesis University College <strong>of</strong> Antwerp); Herwig Mannaert (University <strong>of</strong> Antwerp); Wolfgang Kastner (Vienna University <strong>of</strong> Technology); Vincent Vanderputten (Artesis<br />

University College <strong>of</strong> Antwerp); Herbert Peremans (University <strong>of</strong> Antwerp); Jan Verelst (University <strong>of</strong> Antwerp)<br />

Highly Reconfigurable Production Systems Controlled by Real-Time Agents<br />

Daniel Schütz (Technische Universität München); Markus Schraufstetter (Technische Universität München); Jens Folmer (Technische Universität München); Birgit Vogel-Heuser (Technische<br />

Universität München); Thomas Gmeiner (Technische Universität München); Kristina Shea (TU München)<br />

Requirements on Engineering Tools for Increasing Reuse in Industrial Au<strong>to</strong>mation<br />

Nasser Jazdi (University <strong>of</strong> Stuttgart); Camelia Maga (Bosch GmbH); Peter Göhner (University <strong>of</strong> Stuttgart)<br />

Risk Minimization in Modernization Projects <strong>of</strong> Plant Au<strong>to</strong>mation<br />

Martin Strube (Helmut Schmidt University Hamburg); Stefan Runde (Siemens AG); Alexander Fay (Helmut Schmidt University Hamburg); Helmut Figalist (Siemens AG)<br />

Track2-1: Industrial Communication Systems - Advances in wired networks<br />

Chair: Françoise Simonot-Lion<br />

Room : Raynaud (9:30-11:00)<br />

Bandwidth-Efficient Burst Error Tolerance in TDMA-based CAN Networks<br />

Michael Short (University <strong>of</strong> Teesside); Imran Sheikh (University <strong>of</strong> Leicester); Syed Aley Imran Rizvi (University <strong>of</strong> Leicester)<br />

Schedulability Analysis <strong>of</strong> CAN with Non-abortable Transmission Requests<br />

Dawood Ashraf Khan (INRIA/INPL); Nicolas Navet (INRIA / RTaW); Robert I. Davis (University <strong>of</strong> York)<br />

A Proposal <strong>to</strong> Integrate Process Data Communication <strong>to</strong> IEEE 802.1 Audio Video Bridging (AVB)<br />

Jahanzaib Imtiaz (inIT-Institut Industrial IT); Juergen Jasperneite (inIT-Institut Industrial IT); Sebastian Schriegel (Fraunh<strong>of</strong>er IOSB-INA)<br />

Fault-<strong>to</strong>lerant Ethernet networks with Audio and Video Bridging<br />

Oliver Kleineberg (Hirschmann Au<strong>to</strong>mation & Control); Peter Froehlich (Hirschmann Au<strong>to</strong>mation & Control); Donal Heffernan (University <strong>of</strong> Limerick)<br />

Track3-1: Real-Time and (Networked) Embedded Systems - Real-Time Communications<br />

Chair: Thomas Nolte<br />

Room : Mestre (9:30-11:00)<br />

Analysis and Optimization <strong>of</strong> the MTU in Real-Time Communications over Switched Ethernet<br />

Moris Behnam (University <strong>of</strong> Por<strong>to</strong>); Ricardo Marau (University <strong>of</strong> Por<strong>to</strong>); Paulo Pedreiras (University <strong>of</strong> Por<strong>to</strong>)<br />

Extending Schedulability Analysis <strong>of</strong> Controller Area Network (CAN) for Mixed (Periodic/Sporadic) Messages<br />

Saad Mubeen (Mälardalen University); Jukka Mäki-Turja (Mälardalen University); Mikael Sjödin (Mälardalen University)<br />

Measurements on an Industrial Wireless HART Network Supporting PROFIsafe: A Case Study<br />

Johan Åkerberg (ABB AB Corporate Research); Frank Reichenbach (ABB AS Corporate Research); Mikael Gidlund (ABB AB Corporate Research); Mats Björkman (Mälardalen University)<br />

An Explicit GTS Allocation Algorithm: EGSA<br />

Jianxin Chen (Nanjing University <strong>of</strong> Posts and Telecommunications); Luis Lino Ferreira (Polytechnic Institute <strong>of</strong> Por<strong>to</strong>); Eduardo Tovar (Polytechnic Institute <strong>of</strong> Por<strong>to</strong>)


Track4-1: Au<strong>to</strong>mated Manufacturing Systems - Modeling and Control using Petri Nets<br />

Chair: Kamel Barkaoui, Cristian Mahulea<br />

Room : Montane (9:30-11:00)<br />

On the deadlock analysis <strong>of</strong> multithreaded control s<strong>of</strong>tware<br />

Juan-Pablo López-Grao (Universidad de Zaragoza); José-Manuel Colom (University <strong>of</strong> Zaragoza)<br />

Translating Robot Programming Language Flow Control in<strong>to</strong> Petri Nets<br />

Juergen Rossmann (RWTH Aachen University); Kevin Eilers (RIF e.V. Abt. Robotertechnik)<br />

A Petri Net Approach for Modelling, Performance Evaluation and Control <strong>of</strong> Self-Service Public Bicycle Systems<br />

Taha Benarbia (USTO); Karim Labadi (EPMI - ECS); Moumen Darcherif (EPMI - ECS)<br />

Dioid Approach for Performance evaluation <strong>of</strong> Weighted T-Systems<br />

Samir Hamaci (EPMI-ECS); Abderrahim Benfekir (USTO); Jean-Louis Boimond (LISA)<br />

WIP5: Industrial Control<br />

Chair: Jean-Marc Thiriet, Ramon Vilanova<br />

Room : Ouriliac (9:30-11:00)<br />

YARN Hairiness Determination using Image Processing Techniques<br />

Ví<strong>to</strong>r Carvalho (Minho University); Filomena Soares (Minho University); Rosa Vasconcelos (Minho University); Michael Belsley (Minho University); Nuno Gonçalves (Minho University)<br />

Assessment <strong>of</strong> Ziegler-Nichols Tuned Loops Using Control Performance Moni<strong>to</strong>ring Indices<br />

Daniel Gómez (Fundación CARTIF); Javier Bécares (Fundación CARTIF); José R. Janeiro (Fundación CARTIF); Lázaro Gorostiaga (Fundación CARTIF); Enrique Baeyens (Universidad de<br />

Valladolid); Eduardo J. Moya (Universidad de Valladolid)<br />

Periodic Reset Control <strong>of</strong> an In-line pH Process<br />

Félix Román Pérez (Universidad de Murcia); Alfonso Baños (Universidad de Murcia); Joaquín Cervera (University <strong>of</strong> Murcia)<br />

A Virtual Metrology System for Predicting CVD Thickness with Equipment Variables and Qualitative Clustering<br />

Gian An<strong>to</strong>nio Sus<strong>to</strong> (University <strong>of</strong> Padova); Alessandro Beghi (University <strong>of</strong> Padova); Cristina De Luca (Infineon Technologies AG)<br />

Control design for machine <strong>to</strong>ols using Domiciano, an IDE based on s<strong>of</strong>tware components<br />

Carlos Catalán (Universidad de Zaragoza); Felix Serna (Universidad de Zaragoza); Tamara Civera (Universidad de Zaragoza); Alfonso Blesa (Universidad de Zaragoza); Josep Maria Rams<br />

(Turomas group)<br />

TAILOR-Made Small Simula<strong>to</strong>r for Drum Boiler Control Based on Linear Techniques<br />

Juan J. Gude (University <strong>of</strong> Deus<strong>to</strong>); Luis Vazquez-Seisdedos (University <strong>of</strong> Oriente)<br />

Industrial Embedded Model Predictive Controller Platform<br />

Monika Wenger (Vienna University <strong>of</strong> Technology); Reinhard Hametner (Vienna University <strong>of</strong> Technology); Andreas Voigt (VOIGT+WIPP Engineers GmbH); Alois Zoitl (Vienna University <strong>of</strong><br />

Technology)<br />

Modeling Heat Exchanger by FDM and FEM in C# and Comsol Multiphysics<br />

Stepan Ozana (VSB-Technical university <strong>of</strong> Ostrava); Martin Pies (VSB-Technical university <strong>of</strong> Ostrava); Radovan Hajovsky (VSB-Technical university <strong>of</strong> Ostrava); Lukas Skovajsa (VSB-<br />

Technical university <strong>of</strong> Ostrava)<br />

Unfalsification Based Fault Tolerant Controller<br />

Fernando Coi<strong>to</strong> (Universidade Nova de Lisboa); Luis Bri<strong>to</strong> Palma (Universidade Nova de Lisboa)<br />

Towards fault detection in Singular Leontief production models<br />

Fotis Koumboulis (Halkis Institute <strong>of</strong> Technology); Dimitrios Fragkoulis (Halkis Institute <strong>of</strong> Technology); Panagiotis Arsenos (Ionian Islands Institute <strong>of</strong> Technology)<br />

Tuning PCA Controllers based on Manual Control Data<br />

Luis Bri<strong>to</strong> Palma (Universidade Nova de Lisboa); Fernando Vieira Coi<strong>to</strong> (Universidade Nova de Lisboa)<br />

WIP6&7: Intelligent Robots & Systems, Computational Intelligence<br />

Chair: Carlos Cardeira<br />

Room : H (9:30-11:00)<br />

A Reconfigurable Multi-Touch Framework for Teleoperation Tasks<br />

Gianluca Paravati (Politecnico di Torino); Andrea Sanna (Politecnico di Torino); Fabrizio Lamberti (Politecnico di Torino); Cesare Celozzi (Politecnico di Torino)<br />

An heuristic for trajec<strong>to</strong>ry generation in mobile robotics<br />

Pedro Fonseca (Universidade de Aveiro); António Jose Neves (Universidade de Aveiro); José Luis Azevedo (Universidade de Aveiro); Joao Silva (Universidade de Aveiro)<br />

Analyzing energy consumption <strong>of</strong> industrial robots<br />

Moritz Chemnitz (Fraunh<strong>of</strong>er IPK); Gerhard Schreck (Fraunh<strong>of</strong>er IPK); Joerg Krueger (Fraunh<strong>of</strong>er IPK)<br />

Extending a Smart Wheelchair Navigation by Stress Sensors<br />

Margarida Urbano (Universidade Aveiro); José Alber<strong>to</strong> Fonseca (Universidade Aveiro); Nunes Urbano (Universidade de Coimbra); Heimo Zeilinger (Vienne University)<br />

TDOA Map Adaptation in Sound Source Localization<br />

Dohyung Hwang (Korea Institute Science and Technology); Jongsuk Choi (Korea Institute Science and Technology)<br />

Towards Competitive Commercial Au<strong>to</strong>nomous Robots: The Configuration Problem<br />

Morten Kjærgaard (Technical University <strong>of</strong> Denmark); Nils Axel Andersen (Technical University <strong>of</strong> Denmark); Ole Ravn (Technical University <strong>of</strong> Denmark); Peter A. Kristensen (Prevas A/S)<br />

Biomedical Device for Spasticity Quantification Based on the Velocity Dependence <strong>of</strong> the Stretch Reflex<br />

Threshold<br />

João Ferreira (University <strong>of</strong> Minho); Vi<strong>to</strong>r Moreira (Hospital <strong>of</strong> Braga); José Machado (University <strong>of</strong> Minho); Filomena Soares (University <strong>of</strong> Minho)<br />

Markerless Gesture-Based Motion Control and Programming <strong>of</strong> Industrial Robots<br />

Jens Lambrecht (Technische Universität Berlin); Martin Kleinsorge (Technische Universität Berlin); Jörg Krüger (Technische Universität Berlin)<br />

Fall detec<strong>to</strong>r system based on wristwatch and Artificial Neuronal Network<br />

Lamine Bougueroua (ESIGETEL); Mohamed A. Dhouib (ESIGETEL); Medjahed Hamid (ESIGETEL); Mabrouk Kais (ESIGETEL)<br />

New Approach on Bearing-only SLAM for Indoor Environments<br />

Edmundo Guerra (Technical University <strong>of</strong> Catalonia); Yolanda Bolea (Technical University <strong>of</strong> Catalonia); An<strong>to</strong>ni Grau (Technical University <strong>of</strong> Catalonia); Rodrigo Munguia (Universidad de<br />

Guadalajara,)


Track1-2: Information Technology in Au<strong>to</strong>mation - Verification Validation and Test<br />

Chair: Dirk van der Linden<br />

Room : Hebraud (11:30-13:00)<br />

A model-driven engineering approach <strong>to</strong> formal verification <strong>of</strong> PLC programs<br />

Jean-Marie Farines (Universidade Federal de Santa Catarina); Max H. De Queiroz (Universidade Federal de Santa Catarina); Vinicius G. Da Rocha (Universidade Federal de Santa<br />

Catarina); Ana Maria Carpes (Universidade Federal de Santa Catarina); François Vernadat (University <strong>of</strong> Toulouse); Xavier Crégut (University <strong>of</strong> Toulouse)<br />

Generating and validating product instances in IEC 61131-3 from feature models<br />

Nikolaos Papakonstantinou (Aal<strong>to</strong> University); Seppo Sierla (Aal<strong>to</strong> University); Kari Koskinen (Aal<strong>to</strong> University)<br />

Towards Model-Based Test Au<strong>to</strong>mation for Embedded Systems Using UML and UTP<br />

Padma Iyenghar (University <strong>of</strong> Osnabrueck); Elke Pulvermueller (University <strong>of</strong> Osnabrueck); Clemens Westerkamp (UAS - Osnabrueck)<br />

Modeling <strong>of</strong> Transport Times in Partly Observable Fac<strong>to</strong>ry Logistic Systems based on Event Logs<br />

Thomas Wagner (Dresden University <strong>of</strong> Technology); André Gellrich (Dresden University <strong>of</strong> Technology); Volodymyr Vasyutynskyy (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch<br />

(Dresden University <strong>of</strong> Technology)<br />

Track2-2: Industrial Communication Systems - Performance Evaluation<br />

Chair: Jean-Luc Scharbarg<br />

Room : Raynaud (11:30-13:00)<br />

Evaluation <strong>of</strong> the Real-Time Properties <strong>of</strong> Open-Source Pro<strong>to</strong>col Stacks<br />

Gianluca Cena (IEIIT-CNR); Stefano Scanzio (IEIIT-CNR); Adriano Valenzano (IEIIT-CNR); Claudio Zunino (IEIIT-CNR)<br />

Real-Time Performance <strong>of</strong> an Open-Source Pro<strong>to</strong>col Stack for Low-Cost, Embedded Systems<br />

Ivan Cibrario Ber<strong>to</strong>lotti (National Research Council <strong>of</strong> Italy); Tingting Hu (National Research Council <strong>of</strong> Italy)<br />

Non-preemptive static priority with network calculus<br />

William Mangoua S<strong>of</strong>ack (ONERA); Marc Boyer (ONERA)<br />

Bandwidth Mapping Algorithms in Distributed Media Control Applications<br />

Javier Silvestre-Blanes (Universitat Politècnica de València); Paulo Pedreiras (University <strong>of</strong> Aveiro); Ricardo Marau (University <strong>of</strong> Por<strong>to</strong>)<br />

Track3-2: Real-Time and (Networked) Embedded Systems - Distributed Real-Time Systems<br />

Chair: Vincent Nélis<br />

Room : Mestre (11:30-13:00)<br />

Bounding Mode Change Transition Latencies for Multi-Mode Real-Time Distributed Applications<br />

Mircea Negrean (TU Braunschweig); Moritz Neukirchner (TU Braunschweig); Steffen Stein (TU Braunschweig); Simon Schliecker (TU Braunschweig); Rolf Ernst (TU Braunschweig)<br />

Latency and freshness analysis on IMA systems<br />

Michaël Lauer (INP Toulouse); Frédéric Boniol (ONERA); Jérôme Ermont (INP Toulouse); Claire Pagetti (ONERA)<br />

Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures<br />

Akramul Azim (University <strong>of</strong> Waterloo); Sebastian Fischmeister (University <strong>of</strong> Waterloo)<br />

Lowering Traffic without Sacrificing Performance in Networked Control Systems<br />

Pau Marti (Technical University <strong>of</strong> Catalonia); Manel Velasco (Technical University <strong>of</strong> Catalonia); Jose Yepez (Technical University <strong>of</strong> Catalonia); Enric Xavier Martin (Technical University <strong>of</strong><br />

Catalonia)<br />

Track4-2: Au<strong>to</strong>mated Manufacturing Systems - Modeling and Verification<br />

Chairs: Juan-Pablo López-Grao, Riccardo Rasconi<br />

Room : Montane (11:30-13:00)<br />

A hybrid model for the control and the analysis <strong>of</strong> complex au<strong>to</strong>mated warehouse systems<br />

Francesco Basile (Università degli Studi di Salerno); Pasquale Chiacchio (Università degli Studi di Salerno); Jolanda Coppola (Università degli Studi di Salerno)<br />

Dynamic modeling and control <strong>of</strong> a new au<strong>to</strong>matic corking machine for threaded plastic caps<br />

Rober<strong>to</strong> Zanasi (University <strong>of</strong> Modena and Reggio Emilia); Federica Grossi (University <strong>of</strong> Modena and Reggio Emilia); Nicola Giuliani (Schneider Electric S.p.A.)<br />

An Approach <strong>to</strong> the Verification <strong>of</strong> Material Handling Systems<br />

Thomas Klotz (Fraunh<strong>of</strong>er IIS/EAS); Bernd Straube (Fraunh<strong>of</strong>er IIS/EAS); Eva Fordran (Fraunh<strong>of</strong>er IIS/EAS); Jürgen Haufe (Fraunh<strong>of</strong>er IIS/EAS); Frank Schulze (Technische Universitat<br />

Dresden); Karsten Turek (Technische Universitat Dresden); Thorsten Schmidt (Technische Universitat Dresden)<br />

Using on<strong>to</strong>logies <strong>to</strong> capture and structure knowledge about disruptions in manufacturing systems: An immune<br />

driven approach<br />

Saber Darmoul (Blaise Pascal University); Henri Pierreval (IFMA); Sonia Hajri Gabouj (INSAT)<br />

Track1-3: Information Technology in Au<strong>to</strong>mation - Engineering<br />

Chair: Alexander Fay<br />

Room : Hebraud (14:00-16:00)<br />

Integration between MES and Product Lifecycle Management<br />

Anis Ben Khedher (University <strong>of</strong> Lyon); Sébastien Henry (University <strong>of</strong> Lyon); Abdelaziz Bouras (University <strong>of</strong> Lyon)<br />

On the use <strong>of</strong> SysML for Manufacturing Execution System design<br />

Laurent Piétrac (INSA-Lyon); Arnaud Lelevé (INSA-Lyon); Sébastien Henry (Université de Lyon)<br />

Concept for interoperability between independent engineering <strong>to</strong>ols <strong>of</strong> heterogeneous disciplines<br />

Rainer Drath (ABB Corporate Research Center); Mike Barth (ABB Corporate Research Center)<br />

Mining technical dependencies throughout engineering process knowledge<br />

Tobias Jäger (Helmut-Schmidt University Hamburg); Alexander Fay (Helmut-Schmidt University Hamburg); Helmut Figalist (Siemens AG)<br />

Towards model-based development <strong>of</strong> safety-related control applications<br />

Timo Vepsäläinen (Tampere University <strong>of</strong> Technology); Seppo Kuikka (Tampere University <strong>of</strong> Technology)


Track3-3: Real-Time and (Networked) Embedded Systems - Real-Time Scheduling and Analysis<br />

Chair: Moris Behnam<br />

Room : Mestre (14:00-16:00)<br />

Improved schedulability analysis <strong>of</strong> implicit deadline tasks under limited preemption EDF scheduling<br />

Michael Short (University <strong>of</strong> Teesside)<br />

Laxity-Based Restricted-Migration Scheduling<br />

Frédéric Fauberteau (Université Paris-Est); Serge Midonnet (université Paris-Est); Laurent George (ECE, Paris)<br />

Scheduling non-preemptive hard real-time tasks with strict periods<br />

Mohamed Marouf (INRIA Paris-Rocquencourt); Yves Sorel (INRIA Paris-Rocquencourt)<br />

Dynamic Priority Scheduling <strong>of</strong> Periodic Tasks with Extended Precedences<br />

Julien Forget (LIFL/INRIA); Emmanuel Grolleau (LISI/ENSMA); Claire Pagetti (ONERA); Pascal Richard (LISI/ENSMA)<br />

A Component-Based Framework for Modeling and Analyzing Probabilistic Real-Time Systems<br />

Luca Santinelli (INRIA Nancy-Grand Est); Patrick Meumeu Yomsi (INRIA Nancy-Grand Est); Dorin Maxim (INRIA Nancy-Grand Est); Liliana Cucu-Grosjean (INRIA Nancy-Grand Est)<br />

Track4-3: Au<strong>to</strong>mated Manufacturing Systems - Scheduling<br />

Chairs: Cyril Briand, Ernes<strong>to</strong> Lopez-Mellado<br />

Room : Montane (14:00-16:00)<br />

Multilevel Logistic Scheduling <strong>of</strong> a Natural Gas Network<br />

Jose J. Ruz (Universidad Complutense de Madrid); Lucia Gorostegui (Universidad Complutense de Madrid); Jesus De La Cruz (Universidad Complutense de Madrid); Gonzalo Pajares<br />

(Universidad Complutense de Madrid)<br />

New scheduling problems with perishable raw materials constraints<br />

Jean-Charles Billaut (Université François-Rabelais Tours)<br />

Dedicated constraint propagation for Job-Shop problem with generic time-lags<br />

Philippe Lacomme (Université Blaise Pascal); Marie José Huguet (LAAS-CNRS); Nikolay Tchernev (Université Blaise Pascal)<br />

Closed-loop production and au<strong>to</strong>mation scheduling in RMSs<br />

Emanuele Carpanzano (ITIA-CNR); Amedeo Cesta (Italian National Research Council); Andrea Orlandini (ITIA-CNR); Riccardo Rasconi (ISTC-CNR); Anna Valente (ITIA-CNR)<br />

Characterization <strong>of</strong> all rho-approximated sequences for some scheduling problems<br />

Jean-Charles Billaut (Université François-Rabelais Tours); Pierre Lopez (LAAS-CNRS)<br />

Track5-1: Industrial Control - Advanced Control Methods I<br />

Chairs: Fotis Koumboulis, Luis Recalde<br />

Room : Ouriliac (14:00-16:00)<br />

Tracking Improvement Based on the Proxy Control Scheme for Bilateral Teleoperation System under Time-<br />

Varying Delays<br />

Bo Zhang (Ecole Centrale de Lille); Alexandre Kruszewski (Ecole Centrale de Lille); Jean-Pierre Richard (Ecole Centrale de Lille)<br />

Block Decoupling <strong>of</strong> General Neutral Multi Delay Systems<br />

Fotis Koumboulis (Halkis Institute <strong>of</strong> Technology); Nikolaos Kouvakas (Halkis Institute <strong>of</strong> Technology)<br />

Discrete Time Sliding Mode Control <strong>of</strong> Robotic Manipula<strong>to</strong>rs: Development and Experimental Validation<br />

Valentino Fossi (Università Politecnica delle Marche); Andrea Gian<strong>to</strong>massi (Università Politecnica delle Marche); Gianluca Ippoliti (Università Politecnica delle Marche); Sauro Longhi<br />

(Università Politecnica delle Marche); Giuseppe Orlando (Università Politecnica delle Marche); Maria Letizia Corradini (Università di Camerino)<br />

Comparison <strong>of</strong> Packet Loss in Nonlinear Networked Control Systems using Extended Kalman filter and<br />

Unscented Kalman Filter<br />

Tanisia De Carli Folet<strong>to</strong> (Federal University <strong>of</strong> Santa Catarina); Ubirajara Franco Moreno (Federal University <strong>of</strong> Santa Catarina); António M. Lopes (University <strong>of</strong> Por<strong>to</strong>)<br />

PID controller Design for Networked Control Systems<br />

Luis Recalde (university <strong>of</strong> Strathclyde); Reza Katebi (University <strong>of</strong> Strathclyde); Powyan Katebi (University <strong>of</strong> Tehran)<br />

Longitudinal flight Multi Condition Control Using Robust PID Controllers<br />

Michael Skarpetis (Halkis Institute <strong>of</strong> Technology); Fotis Koumboulis (Halkis Institute <strong>of</strong> Technology); Achilles Ntellis (Halkis Institute <strong>of</strong> Technology)<br />

WIP2-1: Industrial Communication Systems<br />

Chair: Thilo Sauter<br />

Room : H (14:00-16:00)<br />

An improved timed au<strong>to</strong>mata model for computing exact worst-case delays <strong>of</strong> AFDX periodic flows<br />

Muhammad Adnan (University <strong>of</strong> Toulouse); Jérôme Ermont (University <strong>of</strong> Toulouse); Jean-Luc Scharbarg (University <strong>of</strong> Toulouse); Christian Fraboul (University <strong>of</strong> Toulouse)<br />

Fieldbus Virtualization for Integrated Modular Avionics<br />

Jong-Seo Kim (Konkuk University); Sang-Hun Lee (Konkuk University); Hyun-Wook Jin (Konkuk University)<br />

Applying PTP <strong>to</strong> SNTP Time-Gateway for IEC61850 systems<br />

Paolo Ferrari (University <strong>of</strong> Brescia); Alessandra Flammini (University <strong>of</strong> Brescia); Stefano Rinaldi (University <strong>of</strong> Brescia); Gunnar Prytz (ABB Corporate Research)<br />

Using au<strong>to</strong>matic Topology Discovery <strong>to</strong> diagnose PROFINET networks<br />

Michael Jäger (Institut Industrial IT); Roman Just (Institut Industrial IT); Oliver Niggemann (Institut Industrial IT)<br />

Embedding Real Time Ethernet: Examining Feasibility <strong>of</strong> Separating Bus Master and Application Master in<br />

Industrial POWERLINK Implementations<br />

Cyrill Kuenzle (zhaw / Institute <strong>of</strong> Embedded Systems); Damir Bursic (zhaw / Institute <strong>of</strong> Embedded Systems); Hans Dermot Doran (zhaw / Institute <strong>of</strong> Embedded Systems)<br />

Embedding Real Time Ethernet: EtherNet/IP on Resource Constricted Platforms<br />

Silvan Fischer (zhaw / Institute <strong>of</strong> Embedded Systems); Hans Dermot Doran (zhaw / Institute <strong>of</strong> Embedded Systems)


Simplifying the Engineering <strong>of</strong> Modular PROFINET IO Devices<br />

Dominik Von Rohr (Bern University <strong>of</strong> Applied Science); Max Felser (Bern University <strong>of</strong> Applied Science); Markus Rentschler (Hirschmann A&C GmbH)<br />

Increasing EtherCAT Performance Using Frame Size Optimization Algorithm<br />

Mladen Knezic (University <strong>of</strong> Banja Luka); Branko Dokic (University <strong>of</strong> Banja Luka); Zeljko Ivanovic (University <strong>of</strong> Banja Luka)<br />

Large PROFINET IO RT networks for fac<strong>to</strong>ry au<strong>to</strong>mation: a case study<br />

Paolo Ferrari (University <strong>of</strong> Brescia); Alessandra Flammini (University <strong>of</strong> Brescia); Francesco Venturini (University <strong>of</strong> Brescia); An<strong>to</strong>nio Augelli (Siemens S.p.A.)<br />

Security Aspects <strong>of</strong> Safety Networks<br />

Gianluca Cena (IEIIT-CNR); Marco Cereia (IEIIT-CNR); Adriano Valenzano (IEIIT/CNR)<br />

Towards Understanding the Sensitivity <strong>of</strong> the Reliability Achievable by Simplex and Replicated Star Topologies<br />

in CAN<br />

Manuel Barranco (Universitat de les Illes Balears); Julian Proenza (Universitat de les Illes Balears)<br />

Designing sfiCAN: a star-based physical fault injec<strong>to</strong>r for CAN<br />

David Gessner (Universitat de les Illes Balears); Manuel Barranco (Universitat de les Illes Balears); Alber<strong>to</strong> Ballesteros (Universitat de les Illes Balears); Julian Proenza (Universitat de les<br />

Illes Balears)<br />

Injection <strong>of</strong> Aggregated Error Flags as a Means <strong>to</strong> Guarantee Consistent Error Detection in CAN<br />

Guillermo Rodriguez-Navas (Universitat de les Illes Balears); Christian Winter (Universitat de les Illes Balears); Julián Proenza (Universitat de les Illes Balears)<br />

Towards the Integration <strong>of</strong> Flexible-Time-Triggered Communication and Replicated Star Topologies in CAN<br />

Manuel Barranco (Universitat de les Illes Balears); Guillermo Rodríguez-Navas (Universitat de les Illes Balears); David Gessner (Universitat de les Illes Balears); Julián Proenza (Universitat<br />

de les Illes Balears)<br />

A CoAP based SOAP Transport Binding<br />

Guido Moritz (University <strong>of</strong> Ros<strong>to</strong>ck); Frank Gola<strong>to</strong>wski (University <strong>of</strong> Ros<strong>to</strong>ck); Dirk Timmermann (University <strong>of</strong> Ros<strong>to</strong>ck)<br />

A Novel Traffic Shaping Algorithm with Delay Jitter Constraints for Real-Time Multimedia Networks<br />

Hairui Zhou (Shanghai Jiao Tong University); Jian Li (Shanghai Jiao Tong University); Fei Hu (Shanghai Jiao Tong University); Guangyu Hu (Shanghai Jiao Tong University); Ye-Qiong Song<br />

(Nancy University); Lina He (Tongji University)<br />

Networked Control Systems: Quality <strong>of</strong> Service aware dynamic Quality <strong>of</strong> Control adaptation<br />

Xuan Hung Nguyen (CNRS-LAAS)<br />

Keynote 1: Open the Box! Challenges in the Smart Home<br />

Room : Despax (16:30-17:30)<br />

Andre Bottaro, Orange Labs, France.<br />

Keynote Abstract:<br />

A new world <strong>of</strong> applications emerges in the home from the growing variety <strong>of</strong> sensors and actua<strong>to</strong>rs potentially<br />

available. Several application domains are considered, e.g., security, energy efficiency, comfort, ambient assisted<br />

living, multimedia communication.<br />

However, the Smart Home market has still not taken <strong>of</strong>f yet. This market remains divided in<strong>to</strong> niche markets having<br />

dedicated device manufacturers with proprietary solutions. Industrial partnerships are also built on each type <strong>of</strong><br />

application separately without embracing the big picture.<br />

Several ac<strong>to</strong>rs propose <strong>to</strong> exploit a new technical and economic opportunity <strong>to</strong> catalyze this market. This opportunity<br />

is based on the re-use <strong>of</strong> the infrastructure that telecom opera<strong>to</strong>rs have deployed for <strong>to</strong>day classic Internet and TV<br />

services. It raises technical and business challenges: Telecom opera<strong>to</strong>rs have <strong>to</strong> open their home infrastructure <strong>to</strong><br />

third-party applications while guaranteeing application security and consistency <strong>to</strong> all home business ac<strong>to</strong>r using this<br />

infrastructure.<br />

Several technical disruptions are expected at several levels <strong>of</strong> the home telecom infrastructure. The main challenge<br />

lies in the deployment and maintenance <strong>of</strong> a s<strong>of</strong>tware environment embedded on an Internet gateway and open <strong>to</strong><br />

third party applications. Other technical issues remain on:<br />

the application consistency based on heterogeneous sensor networks,<br />

the homogeneous device management <strong>of</strong> numerous devices <strong>of</strong> various types,<br />

the adapted remote user interfaces <strong>to</strong> be deployed on shared screens at home,<br />

and the expected Home Application S<strong>to</strong>re that will address the complex user home context and several device<br />

targets.<br />

The talk describes the smart home market and goes through technical challenges. It then shows innovation tracks<br />

carried out by R&D labs worldwide.<br />

Short biography:<br />

Andre Bottaro has been working on several Research and Industrial projects in Home, Building and<br />

City environments for the Orange labs since 2003. He is presently in charge <strong>of</strong> the Machine-<strong>to</strong>-Machine<br />

Research Program <strong>of</strong> the Group, which shows great challenges in the integration <strong>of</strong> communication and<br />

processing capabilities in constrained devices. His work mainly addresses service dynamic composition<br />

in distributed embedded applications. His work is visible through publications and patents. He carried out<br />

actions in standardization organizations, e.g., lead the Device Management Working Committee <strong>of</strong> the<br />

UPnP Forum, lead standardization actions at ISO/IEC, and proposed new innovation tracks <strong>to</strong> the OSGi Alliance. He<br />

holds a PhD from Grenoble University where he worked under the direction <strong>of</strong> Richard S. Hall and Philippe Lalanda,<br />

an MSc from Telecom Paris, France, and an engineering degree from France's prestigious Ecole Polytechnique.


Wednesday, 7 September 2011<br />

Track1-4: Information Technology in Au<strong>to</strong>mation - Semantic Technologies<br />

Chairs: TBD<br />

Room : Hebraud (9:00-10:30)<br />

Day program <strong>to</strong>p<br />

Semantic Service Discovery and Orchestration for Manufacturing Processes<br />

Matthias Loskyll (German Research Center for Artificial Intelligence); Jochen Schlick (DFKI, Kaiserslautern); Stefan Hodek (DFKI, Kaiserslautern); Lisa Ollinger (University <strong>of</strong> Kaiserslauern);<br />

Tobias Gerber (DFKI, Kaiserslautern); Bogdan Pîrvu (Lucian Blaga University)<br />

Formal Validation Techniques for On<strong>to</strong>logy-based Device Descriptions<br />

Federico Rieckh<strong>of</strong> (Dresden University <strong>of</strong> Technology); Henrik Dibowski (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch (Dresden University <strong>of</strong> Technology)<br />

Unified Sensor Data Provisioning with Semantic Technologies<br />

Chris<strong>to</strong>ph Legat (Siemens AG); Christian Seitz (Siemens AG); Birgit Vogel-Heuser (Technical University <strong>of</strong> Munich)<br />

A Conceptual Framework for Semantic Case-based Safety Analysis<br />

Olawande Daramola (Norwegian University <strong>of</strong> Science and Technology); Tor Stålhane (Norwegian University <strong>of</strong> Science and Technology); Thomas Moser (Vienna University <strong>of</strong> Technology);<br />

Stefan Biffl (Vienna University <strong>of</strong> Technology)<br />

Track2-3: Industrial Communication Systems - Advances in wireless networks<br />

Chair: Stefano Vitturi<br />

Room : Raynaud (9:00-10:30)<br />

Experimental Evaluation <strong>of</strong> the Service Time for Industrial Hybrid (Wired/Wireless) Networks under Non-Ideal<br />

Environmental Conditions<br />

Stefano Vitturi (CNR-IEIIT); Federico Tramarin (University <strong>of</strong> Padova); Lucia Seno (CNR-IEIIT)<br />

Probabilistic feasibility assessment <strong>of</strong> real-time wireless networks for fac<strong>to</strong>ry au<strong>to</strong>mation with mobile nodes<br />

Emanuele Toscano (University <strong>of</strong> Catania); Lucia Lo Bello (University <strong>of</strong> Catania)<br />

Time-based Localisation in Unsynchronized Wireless LAN for Industrial Au<strong>to</strong>mation Systems<br />

Aneta Nad (Austrian Academy <strong>of</strong> Sciences); Reinhard Exel (Austrian Academy <strong>of</strong> Sciences); Patrick Loschmidt (Austrian Academy <strong>of</strong> Sciences); Georg Gaderer (Austrian Academy <strong>of</strong><br />

Sciences)<br />

Heterogeneous Wireless Connectivity for Fixed and Mobile Sensing Applications in Industrial Environments<br />

Jose An<strong>to</strong>nio Palazon (University Miguel Hernandez <strong>of</strong> Elche); Miguel Sepulcre (University Miguel Hernandez <strong>of</strong> Elche); Javier Gozalvez (University Miguel Hernandez <strong>of</strong> Elche); Jaime<br />

Orozco (INDRA Sistemas S.A.); Oscar Lopez (Nextel S.A.)<br />

WIP3: Real-Time and (Networked) Embedded Systems<br />

Chair: Liliana Cucu-Grosjean<br />

Room : Mestre (9:00-10:30)<br />

Data Merge: A data aggregation technique for Wireless Sensor Networks<br />

Dimitris Tsitsipis (University <strong>of</strong> Patras); S<strong>of</strong>ia-Maria Dima (University <strong>of</strong> Patras); Angeliki Kritikakou (University <strong>of</strong> Patras); Chris<strong>to</strong>s Panagio<strong>to</strong>u (University <strong>of</strong> Patras); Stavros Koubias<br />

(University <strong>of</strong> Patras)<br />

WCET Analysis Considering Shared Memory Bus in COTS-Based Multicores<br />

Dakshina Dasari (Polytechnic Institute <strong>of</strong> Por<strong>to</strong>); Vincent Nelis (Polytechnic Institute <strong>of</strong> Por<strong>to</strong>); Björn Andersson (Carnegie Mellon University)<br />

An architecture for time-aware systems<br />

Francesco Fiamberti (University <strong>of</strong> Milano Bicocca); Daniela Micucci (University <strong>of</strong> Milano Bicocca); Francesco Tisa<strong>to</strong> (University <strong>of</strong> Milano Bicocca)<br />

Task period selection <strong>to</strong> minimize hyperperiod<br />

Vicent Brocal (Universitat Politécnica de Valencia); Patricia Balbastre (Universitat Politécnica de Valencia); Rafael Ballester (Universitat Politécnica de Valencia); Ismael Ripoll (Universitat<br />

Politécnica de Valencia)<br />

Predictable Bus Arbitration Schemes for Heterogeneous Time-Critical Workloads Running on Multicore<br />

Processors<br />

Roman Bourgade (University <strong>of</strong> Toulouse); Christine Rochange (University <strong>of</strong> Toulouse); Pascal Sainrat (University <strong>of</strong> Toulouse)<br />

The Click&Find Remote Vehicle Moni<strong>to</strong>ring and Control Platform: Architecture, Interfaces, Applications<br />

Nicola Zingirian (University <strong>of</strong> Padova); Massimo Maresca (University <strong>of</strong> Padova); Carlo Valenti (University <strong>of</strong> Padova)<br />

Development <strong>of</strong> Embedded Multicore Systems<br />

Celio Estevan Moron (Federal University <strong>of</strong> São Carlos); Allen Malony (University <strong>of</strong> Oregon)<br />

SISP: a lightweight Synchronization Pro<strong>to</strong>col for Wireless Sensor Networks<br />

Adrien Van Den Bossche (Université de Toulouse); Thierry Val (Université de Toulouse); Réjane Dalcé (Université de Toulouse)<br />

SIMOTEST: A Tool for Au<strong>to</strong>mated Testing <strong>of</strong> Hybrid Real-Time Simulink Models<br />

Frank Böhr (Fraunh<strong>of</strong>er IESE); Robert Eschbach (Fraunh<strong>of</strong>er IESE)<br />

Enabling Trade-<strong>of</strong>f Analysis <strong>of</strong> NFRs on Models <strong>of</strong> Embedded Systems<br />

Mehrdad Saadatmand (Mälardalen University); An<strong>to</strong>nio Cicchetti (Mälardalen University); Mikael Sjödin (Mälardalen University)<br />

Towards Real-Time Scheduling <strong>of</strong> Virtual Machines Without Kernel Modifications<br />

Mikael Åsberg (MRTC/Mälardalen University); Nils Forsberg (MRTC/Mälardalen University); Thomas Nolte (MRTC/Mälardalen University); Shinpei Ka<strong>to</strong> (Keio University)<br />

Impact <strong>of</strong> clock drifts on CAN frames response time distributions<br />

Aurelien Monot (PSA Peugeot Citroen); Nicolas Navet (INRIA); Bernard Bavoux (PSA Peugeot-Citroen)<br />

Knowledge Based Ac<strong>to</strong>r <strong>to</strong> Ac<strong>to</strong>r coordination in Wireless Sensor and Ac<strong>to</strong>r Networks<br />

S<strong>of</strong>ia-Maria Dima (University <strong>of</strong> Patras); John Gialelis (University <strong>of</strong> Patras); Stavros Koubias (University <strong>of</strong> Patras)<br />

Extending Response-Time Analysis <strong>of</strong> Controller Area Network (CAN) with FIFO Queues for Mixed Messages<br />

Saad Mubeen (Mälardalen University); Jukka Mäki-Turja (MRTC, Mälardalen University); Mikael Sjödin (MRTC, Mälardalen University)


Using Au<strong>to</strong>mated Evaluation <strong>of</strong> Efficiency for Pho<strong>to</strong>voltaic Power Plant<br />

Michal Tutsch (Technical University <strong>of</strong> Ostrava); Petr Vojcinak (Technical University <strong>of</strong> Ostrava); Jiri Koziorek (Technical University <strong>of</strong> Ostrava); Michal Skrepek (Technical University <strong>of</strong><br />

Ostrava)<br />

A Trace-Based Statistical Worst-Case Execution Time Analysis <strong>of</strong> Component-Based Real-Time Embedded<br />

Systems<br />

Yue Lu (MRTC/Mälardalen University); Thomas Nolte (MRTC, Mälardalen University); Iain Bate (University <strong>of</strong> York); Liliana Cucu-Grosjean (INRIA Nancy-Grand Est)<br />

Towards Resource Sharing by Message Passing among Real-Time Components on Multi-cores<br />

Farhang Nemati (Malardalen University); Rafia Inam (Malardalen University); Thomas Nolte (Malardalen University); Mikael Sjödin (Malardalen University)<br />

Achieving Reconfigurable Service Oriented Applications Using Model Driven Engineering<br />

Aintzane Armentia (ETSI Bilbao); Isabel Sarachaga (ETSI Bilbao); Oier García De Albéniz (ETSI Bilbao); Elisabet Estévez (Escuela Politécnica Superior de Jaén); Ai<strong>to</strong>r Aguirre (Escuela<br />

Politécnica Superior de Jaén); Margarita Marcos (ETSI Bilbao)<br />

An Industrial Deployment <strong>of</strong> a Real Time Power Aware Scheduler<br />

Nikos Anastasiadis (ENEA S<strong>to</strong>ckholm Services); Detlef Scholle (ENEA S<strong>to</strong>ckholm Services); Johan Fredriksson (ENEA S<strong>to</strong>ckholm Services); Joel Huselius (ENEA S<strong>to</strong>ckholm Services)<br />

Temporal Partitioning for Mixed-Criticality Systems<br />

Hyun-Wook Jin (Konkuk University); Sanghyun Han (Konkuk University)<br />

Safety Services in Infrastructure Based Vehicular Communications<br />

Tiago Meireles (Universidade da Madeira); José Fonseca (Universidade de Aveiro)<br />

Track4-4: Au<strong>to</strong>mated Manufacturing Systems - Fuzzy Theory and Optimization<br />

Chairs: Jean-Charles Billaut, Philippe Lacomme<br />

Room : Montane (9:00-10:30)<br />

State Estimation <strong>of</strong> Partially Observable DES Using Fuzzy Timed Petri Nets<br />

Juan Carlos González Cas<strong>to</strong>lo (CUCEA University <strong>of</strong> Guadalajara); Ernes<strong>to</strong> Lopez-Mellado (CINVESTAV Unidad Guadalajara)<br />

Fuzzy tactical project planning: Application <strong>to</strong> helicopter maintenance<br />

Malek Masmoudi (ISAE); Erwin Hans (University <strong>of</strong> Twente); Alain Haït (ISAE)<br />

Simulation-Based NSGA-II Approach for Multi-Unit Process Plans Generation in Reconfigurable Manufacturing<br />

System<br />

Bensmaine Abderrahmane (INRIA Nancy Grand-Est); Dahane Mohammed (LGIPM/ENIM); Benyoucef Lyes (INRIA Nancy Grand-Est)<br />

Sheet-Metal Press Line Parameter Tuning using a Combined DIRECT and Nelder-Mead Algorithm<br />

Bo Svensson (University West); Nima K. Nia (Volvo Cars); Fredrik Danielsson (University West); Bengt Lennartson (Chalmers University <strong>of</strong> Technology)<br />

Track5-2: Industrial Control - Industrial Control and Au<strong>to</strong>mation<br />

Chairs: Rui Araujo, Daniel Sabin<br />

Room : Ouriliac (9:00-10:30)<br />

Implementation <strong>of</strong> Fuzzy Logic Control Based on PLC<br />

Jiri Kocian (VSB-TU Ostrava); Jiri Koziorek (VSB-TU Ostrava); Miroslav Pokorny (VSB-TU Ostrava)<br />

Au<strong>to</strong>matic Extraction <strong>of</strong> the Fuzzy Control System for Industrial Processes<br />

Jerome Mendes (University <strong>of</strong> Coimbra); Ricardo Seco (University <strong>of</strong> Coimbra); Rui Araujo (University <strong>of</strong> Coimbra)<br />

WinCC ® Application via OPC Communication <strong>to</strong> MatLab ® for Integrated Systems<br />

Daniel Sabin Diaz (Katholieke Universiteit Leuven); Robain De Keyser (Ghent University)<br />

Design and Application <strong>of</strong> S<strong>of</strong>t Sensor Using Ensemble Methods<br />

Symone Soares (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra); Pedro Sousa (University <strong>of</strong> Coimbra); Francisco Souza (University <strong>of</strong> Coimbra)<br />

Keynote 2: Is Ethernet the rising star for in-vehicle networks?<br />

Room : Despax (11:00-12:00)<br />

Josef Noebauer, Continental Au<strong>to</strong>motive GmbH, Germany.<br />

Keynote Abstract:<br />

The motivation <strong>of</strong> the au<strong>to</strong>motive industry for investigations around the introduction <strong>of</strong> Ethernet as in-vehicle network<br />

will be explained. These are e.g. <strong>to</strong> fulfill the continuously rising communication demands and because it has a very<br />

high market penetration. However the au<strong>to</strong>motive industry has strong requirements with respect <strong>to</strong> reliability; hence<br />

the introduction <strong>of</strong> new technologies is commonly done in an evolutionary approach.<br />

Continental is already working on the introduction <strong>of</strong> Ethernet as new in-vehicle network and some <strong>of</strong> the aspects that<br />

are investigated, like Electromagnetic Compatibility (EMC), Real-Time constraints and energy consumption will be<br />

presented.<br />

However several aspects that have not be the first thoughts like <strong>to</strong>ol infrastructure, etc. are not fully addressed so far,<br />

but need <strong>to</strong> be solved for a successful introduction.<br />

An outlook on the short-, mid- and long-term future <strong>of</strong> in-vehicle networks will be given from the perspective <strong>of</strong> an<br />

au<strong>to</strong>motive supplier.<br />

Short biography:<br />

Manager at Continental Au<strong>to</strong>motive GmbH and senior expert for the cross divisional usage <strong>of</strong> the<br />

au<strong>to</strong>motive network technologies MOST, FlexRay and Ethernet. In this role he is managing Continental’s<br />

activities around the introduction <strong>of</strong> Ethernet as in-vehicle network. He is working at Continental<br />

Au<strong>to</strong>motive GmbH, Regensburg, Germany since 1998. In his previous business activities he was<br />

involved in the development <strong>of</strong> vehicle system architectures, project management and development <strong>of</strong><br />

Infotainment Systems.


He started his pr<strong>of</strong>essional career in 1995 in the area <strong>of</strong> s<strong>of</strong>tware development for mobile phones at AEG Mobile<br />

Communication, Ulm, Germany.<br />

He graduated as electrical engineer in the area <strong>of</strong> telecommunications in 1995 at the University <strong>of</strong> Applied Sciences,<br />

Regensburg, Germany.<br />

Track1-5: Information Technology in Au<strong>to</strong>mation - Applications<br />

Chair: Matthias Loskyll<br />

Room : Hebraud (12:00-13:00)<br />

State Space Delta GPC for Au<strong>to</strong>motive Powertrain Systems<br />

Cristina Budaciu (Technical University “Gheorghe Asachi” <strong>of</strong> Iasi); Andreea Elena Balau (Technical University “Gheorghe Asachi” <strong>of</strong> Iasi); Corneliu Lazar (Technical University “Gheorghe<br />

Asachi” <strong>of</strong> Iasi)<br />

RFID Enabled Handheld Solution for Aerospace MRO Operations Track and Trace<br />

Wei He (Singapore Institute <strong>of</strong> Manufacturing Technology); Eng Leong Tan (Nanyang Technological University); Chi Xu (Singapore Institute <strong>of</strong> Manufacturing Technology); Yintai Ao<br />

(Singapore Institute <strong>of</strong> Manufacturing Technology); Xuejian Xiao (Singapore Institute <strong>of</strong> Manufacturing Technology); Eng Wah Lee (Singapore Institute <strong>of</strong> Manufacturing Technology)<br />

Leveraging OSGi and Eclipse Technologies for a Service Oriented Middleware in Industrial Machines<br />

Walter Hargassner (S<strong>of</strong>tware Competence Center Hagenberg); Bernhard Dorninger (S<strong>of</strong>tware Competence Center Hagenberg)<br />

Track2-4: Industrial Communication Systems - Industrial Communication<br />

Chair: Guy Juanole<br />

Room : Raynaud (12:00-13:00)<br />

SPEED Routing Pro<strong>to</strong>col in 6LoWPAN Networks<br />

Stefano Bocchino (Scuola Superiore Sant’Anna); Matteo Petracca (Scuola Superiore Sant'Anna); Paolo Pagano (Consorzio Nazionale Interuniversitario per le Telecomunicazioni); Marco<br />

Ghibaudi (Scuola Superiore Sant’Anna); Francesco Ler<strong>to</strong>ra (Montalbano Technology S.p.A.)<br />

Optimized XML-based Web Service Generation for Service Communication in Restricted Embedded<br />

Environments<br />

Sebastian Käbisch (University <strong>of</strong> Passau); Daniel Peintner (University <strong>of</strong> Passau); Jörg Heuer (Siemens AG); Harald Kosch (University <strong>of</strong> Passau)<br />

Track3-4: Real-Time and (Networked) Embedded Systems - Real-Time Platforms<br />

Chair: Nicolas Navet<br />

Room : Mestre (12:00-13:00)<br />

Support for Hierarchical Scheduling in FreeRTOS<br />

Rafia Inam (Mälardalen University); Jukka Mäki-Turja (Mälardalen University); Mikael Sjödin (Mälardalen University); Seyed M. H. Ashjaei (Mälardalen University); Sara Afshar (Mälardalen<br />

University)<br />

Towards Adaptive Hierarchical Scheduling <strong>of</strong> Real-time Systems<br />

Nima Moghaddami Khalilzad (Mälardalen University); Thomas Nolte (Mälardalen University); Moris Behnam (Mälardalen University); Mikael Åsberg (Mälardalen University)<br />

Platform-aware Bandwidth-oriented Energy Management Algorithm for Real-Time Embedded Systems<br />

Mauro Marinoni (Scuola Superiore Sant'Anna); Mario Bambagini (Scuola Superiore Sant'Anna); Francesco Prosperi (Scuola Superiore Sant'Anna); Francesco Esposi<strong>to</strong> (Scuola Superiore<br />

Sant'Anna); Gianluca Franchino (Scuola Superiore Sant'Anna); Luca Santinelli (INRIA); Giorgio Buttazzo (Scuola Superiore Sant'Anna)<br />

Track4-5: Au<strong>to</strong>mated Manufacturing Systems - Supervisory control<br />

Chairs: Max Hering de Queiroz, Aldo Rossi<br />

Room : Montane (12:00-13:00)<br />

Local Modular Supervisory Control <strong>of</strong> DES with Distinguishers<br />

Marcelo Teixeira (Universidade Federal de Santa Catarina); Jose E. R. Cury (Universidade Federal de Santa Catarina); Max H. De Queiroz (Universidade Federal de Santa Catarina)<br />

Process tracking by equivalent states in modal supervisory control<br />

Gregory Faraut (INSA-Lyon); Laurent Piétrac (INSA-Lyon); Eric Niel (INSA-Lyon)<br />

Requirements for the benchmarking <strong>of</strong> decentralized manufacturing control systems<br />

Sebastian Schreiber (Helmut-Schmidt University Hamburg); Alexander Fay (Helmut-Schmidt University Hamburg)<br />

SS07-1: Distributed Au<strong>to</strong>mation Systems Development<br />

Chairs: Birgit Vogel-Heuser, Kleanthis Thramboulidis<br />

Room : H (12:00-13:00)<br />

Object oriented extensions <strong>of</strong> IEC 61131-3 as an enabling technology <strong>of</strong> s<strong>of</strong>tware product lines<br />

Nikolaos Papakonstantinou (Aal<strong>to</strong> University); Seppo Sierla (Aal<strong>to</strong> University); Kari Koskinen (Aal<strong>to</strong> University)<br />

An MDD Process for IEC 61131-based Industrial Au<strong>to</strong>mation Systems<br />

Kleanthis Thramboulidis (University <strong>of</strong> Patras); Georg Frey (Saarland University)<br />

Integration <strong>of</strong> control loops in an UML based engineering environment for PLC<br />

Gülden Bayrak (TU Muenchen); Dmtry Renzhin (TU Muenchen); Birgit Vogel-Heuser (TU Muenchen)


WIP1: Information Technology in Au<strong>to</strong>mation<br />

Chair: Thilo Sauter<br />

Room : Hebraud (14:00-16:00)<br />

Dealing with non-functional requirements in Distributed Control Systems Engineering<br />

Timo Frank (TU München); Martin Merz (TU München); Karin Eckert (Helmut Schmidt University Hamburg); Thomas Hadich (Ot<strong>to</strong> von Guericke University); Birgit Vogel-Heuser (TU<br />

München); Alexander Fay (Helmut Schmidt University Hamburg); Christian Diedrich (Ot<strong>to</strong> von Guericke University)<br />

OPC UA goes Semantics: Integrated Communications in Smart Grids<br />

Sebastian Rohjans (OFFIS - Institute for Information Technology); Dieter Fensel (STI Innsbruck); Anna Fensel (STI Innsbruck)<br />

Requirements and obstacles for the transformation <strong>of</strong> GRAFCET specifications in<strong>to</strong> IEC 61131-3 PLC programs<br />

Frank Schumacher (Helmut-Schmidt-University Hamburg); Alexander Fay (Helmut-Schmidt-University Hamburg)<br />

Advanced S<strong>of</strong>t Sensor Technology <strong>to</strong> be Used for Cold Rolling Mills<br />

Pavel Ettler (COMPUREG Plzen); Kamil Dedecius (Institute <strong>of</strong> Information Theory and Au<strong>to</strong>mation); Dani Juricic (Jozef Stefan Institute); Aleksander Preglej (INEA d.o.o.)<br />

Development <strong>of</strong> a method <strong>to</strong> analyze the impact <strong>of</strong> manufacturing systems engineering on product quality<br />

Matthias Foehr (Ot<strong>to</strong>-von-Guericke University); Arndt Lüder (Ot<strong>to</strong>-von-Guericke University); Thomas Wagner (Siemens AG); Tobias Jäger (Helmut-Schmidt-University Hamburg); Alexander<br />

Fay (Helmut-Schmidt-University Hamburg)<br />

Passive Supervisor for Railway Fault-Tolerant Ethernet Networked Control Systems<br />

Mai Hassan (American University in Cairo); Ramez Daoud (American University in Cairo); Hassanein Amer (American University in Cairo)<br />

Lifecycle Management related Model Approach for Wireless Au<strong>to</strong>mation<br />

Martin Wollschlaeger (TU Dresden); Alexander Dennert (TU Dresden); Lutz Rauchhaupt (Institut für Au<strong>to</strong>mation und Kommunikation e.V.); David Hasler (Institut für Au<strong>to</strong>mation und<br />

Kommunikation e.V. ); Andre Schimschar (Institut für Au<strong>to</strong>mation und Kommunikation e.V.); Matthias Riedl (Institut für Au<strong>to</strong>mation und Kommunikation e.V.)<br />

Middleware based Distributed Heterogeneous Simulation for the Steel Industry<br />

Rüdiger Zum Beck (cbb-s<strong>of</strong>tware GmbH); Dmitry Kazakov (cbb-s<strong>of</strong>tware GmbH); Cecil Bruce-Boye (cbb s<strong>of</strong>tware GmbH); Günter Menden (ThyssenKrupp CSA Siderúrgica do Atlântico);<br />

Debbie Assaf Hohl (cbb-s<strong>of</strong>tware GmbH); Natalia Zapata Zapata (cbb-s<strong>of</strong>tware GmbH)<br />

Integrating CCTV Systems in<strong>to</strong> BACnet<br />

Christian Mauser (Vienna University <strong>of</strong> Technology); Wolfgang Granzer (Vienna University <strong>of</strong> Technology); Wolfgang Kastner (Vienna University <strong>of</strong> Technology)<br />

Distributed Open Source Control with Industrial Ethernet I/O Devices<br />

Filip Andren (AIT Austrian Institute <strong>of</strong> Technology); Thomas Strasser (AIT Austrian Institute <strong>of</strong> Technology)<br />

Distributed component management platform for QoS enabled applications<br />

Ai<strong>to</strong>r Agirre (IKERLAN-IK4); Marga Marcos (University <strong>of</strong> the Basque Country); Elisabet Estevez (Escuela Politécnica Superior de Jaén)<br />

Modeling Order Effects on Errors in Object Oriented Modeling for Machine and Plant Au<strong>to</strong>mation from an<br />

Educational Point <strong>of</strong> View<br />

Birgit Vogel-Heuser (Institute <strong>of</strong> Au<strong>to</strong>mation and Information Systems); Tina Seidel (TUM School <strong>of</strong> Education); Steven Braun (Institute <strong>of</strong> Au<strong>to</strong>mation and Information Systems); Martin<br />

Obermeier (Institute <strong>of</strong> Au<strong>to</strong>mation and Information Systems); Kerstin Sommer (Institute <strong>of</strong> Au<strong>to</strong>mation and Information Systems); Christine Johannes (TUM School <strong>of</strong> Education)<br />

Teorema: an E-maintenance Platform for Ice Cream Machines<br />

Rober<strong>to</strong> Lazzarini (Carpigiani Group); Cesare Stefanelli (University <strong>of</strong> Ferrara); Mauro Tor<strong>to</strong>nesi (University <strong>of</strong> Ferrara); Giovanni Virgilli (Carpigiani Group)<br />

Handling Identification and Maintenance Information <strong>of</strong> Intelligent Field Devices using Web Based Enterprise<br />

Management<br />

Roman Frenzel (Technische Universität Dresden); Robert Lehmann (Technische Universität Dresden); Martin Wollschlaeger (Technische Universität Dresden)<br />

Model Based TTCN-3 Testing <strong>of</strong> Industrial Au<strong>to</strong>mation Systems - First Results<br />

Barath Kumar (Institute Industrial IT); Bjoern Czybik (Institute Industrial IT); Juergen Jasperneite (Institut Industrial IT)<br />

An approach <strong>to</strong> refinement checking <strong>of</strong> SysML requirements<br />

Denis Makartetskiy (Politecnico di Torino); Riccardo Sis<strong>to</strong> (Politecnico di Torino)<br />

Performance Analyzer System: an Approach for Performance Equipment Manufacturing Analysis<br />

Eduardo Portela San<strong>to</strong>s (Pontifical Catholic University <strong>of</strong> Parana); Eduardo Rocha Loures (Pontifical Catholic University <strong>of</strong> Parana); Rodrigo Pierezan (Pontifical Catholic University <strong>of</strong><br />

Parana); Marco Busetti (Universidade Federal Tecnológica do Paraná); André P. San<strong>to</strong>s (Universidade Federal de Santa Catarina)<br />

Quality Assurance for Data from Low-Tech Participants in Distributed Au<strong>to</strong>mation Engineering Environments<br />

Richard Mordinyi (Vienna University <strong>of</strong> Technology); Alexander Pacha (Vienna University <strong>of</strong> Technology); Stefan Biffl (Vienna University <strong>of</strong> Technology)<br />

Track6-1: Computational Intelligence and Modern Heuristics in Au<strong>to</strong>mation - Data Analysis<br />

Chair: Rui Araujo<br />

Room : Raynaud (14:00-16:00)<br />

Identifying Behavior Models for Process Plants<br />

Asmir Vodencarevic (University <strong>of</strong> Paderborn); Hans Kleine Büning (University <strong>of</strong> Paderborn); Oliver Niggemann (inIT - Institut Industrial IT); Alexander Maier (inIT - Institut Industrial IT)<br />

CP-driven multimodal processes scheduling<br />

Grzegorz Bocewicz (Koszalin University <strong>of</strong> Technology); Wojciech Muszynski (Wroclaw University <strong>of</strong> Technology); Zbigniew Banaszak (Warsaw University <strong>of</strong> Technology)<br />

Analysis and Simulation <strong>of</strong> Sales Receipt Data in Supermarkets<br />

Clemens Schwenke (Dresden University <strong>of</strong> Technology); Volodymyr Vasyutynskyy (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch (Dresden University <strong>of</strong> Technology)<br />

Cooperative project scheduling with controllable processing times: a game theory framework<br />

Cyril Briand (LAAS-CNRS); Jean-Charles Billaut (LAAS-CNRS)<br />

Track7-1: Intelligent Robots & Systems - Guidance, Navigation and Control<br />

Chair: Philippe Fraisse<br />

Room : Mestre (14:00-16:00)<br />

Sliding Mode Control for Robotic Teleoperation System with Haptic Interface<br />

Ales Hace (University <strong>of</strong> Maribor); Marko Franc (Isomat d.o.o.)<br />

Kinematic Cooperation Analysis and Trajec<strong>to</strong>ry Teaching in Multiple Robots System for Welding<br />

Yahui Gan (Southeast University); Xianzhong Dai (Southeast University)


Formation and Trajec<strong>to</strong>ry tracking <strong>of</strong> a class <strong>of</strong> nonlinear systems with Super Twisting Control<br />

Carlos López-Limón (CINVESTAV-IPN); Alejandro Cervantes-Herrera (CINVESTAV-IPN); Javier Ruiz-León (CINVESTAV-IPN); An<strong>to</strong>nio Ramírez-Treviño (CINVESTAV-IPN)<br />

On the Adaptive Performance Improvement <strong>of</strong> a Trajec<strong>to</strong>ry Tracking Controller for non-Holonomic Mobile<br />

Robots<br />

John Arvanitakis (University <strong>of</strong> Patras); George Nikolakopoulos (Lulea University <strong>of</strong> Technology); Demetris Zermas (University <strong>of</strong> Patras)<br />

An Attitude and Heading Reference System (AHRS) based in a Dual Filter<br />

Rodrigo Munguía (Technical Univ. <strong>of</strong> Catalonia); An<strong>to</strong>ni Grau (Technical Univ. <strong>of</strong> Catalonia)<br />

Track4-6: Au<strong>to</strong>mated Manufacturing Systems - Flexible Manufacturing Systems<br />

Chairs: Saber Darmoul, Laurent Piétrac<br />

Room : Montane (14:00-16:00)<br />

Stepwise Identification <strong>of</strong> Au<strong>to</strong>mated Discrete Manufacturing Systems<br />

Ana Paula Estrada-Vargas (CINVESTAV Unidad Guadalajara); Ernes<strong>to</strong> Lopez-Mellado (CINVESTAV Unidad Guadalajara); Jean-Jacques Lesage (LURPA ENS de Cachan)<br />

Optimal Petri Net Supervisor with Lowest Implemental Cost for Flexible Manufacturing Systems<br />

Yufeng Chen (Xidian University); Zhiwu Li (Xidian University); Kamel Barkaoui (Conserva<strong>to</strong>ire National des Arts et Metiers)<br />

Convenience analysis and validation <strong>of</strong> a fully flexible assembly system<br />

Giulio Rosati (University <strong>of</strong> Padua); Maurizio Faccio (University <strong>of</strong> Padua); Andrea Carli (University <strong>of</strong> Padua); Aldo Rossi (University <strong>of</strong> Padua)<br />

Flexible assembly system for heat exchanger coils<br />

Aldo Rossi (University <strong>of</strong> Padua); Giulio Rosati (University <strong>of</strong> Padua); Stefano Cenci (University <strong>of</strong> Padua); Andrea Carli (University <strong>of</strong> Padua); Valerio Giordano Riello (Sierra SpA); Alber<strong>to</strong><br />

Foroni (Sierra SpA); Massimo Man<strong>to</strong>vani (Sierra SpA); Luca Zanotti (Sierra SpA)<br />

Reduced-Order Synthesis <strong>of</strong> Operation Sequences<br />

Mohammad Reza Shoaei (Chalmers University <strong>of</strong> Technology); Sajed Miremadi (Chalmers University <strong>of</strong> Technology); Kris<strong>to</strong>fer Bengtsson (Chalmers University <strong>of</strong> Technology); Bengt<br />

Lennartson (Chalmers University <strong>of</strong> Technology)<br />

Track5-3: Industrial Control - Fault Detection and Diagnosis<br />

Chairs: Diego Garcia-Alvarez, Lars Christiansen<br />

Room : Ouriliac (14:00-16:00)<br />

Design <strong>of</strong> Residuals in a model-based fault detection and isolation system using statistical process control<br />

techniques<br />

Diego Garcia-Alvarez (University <strong>of</strong> Valladolid); Maria Jesus Fuente (University <strong>of</strong> Valladolid)<br />

Symp<strong>to</strong>m Propagation and Transformation Analysis: A Pragmatic Model for System-level Diagnosis <strong>of</strong> Large<br />

Au<strong>to</strong>mation Systems<br />

Dennis Klar (Clausthal University <strong>of</strong> Technology); Michaela Huhn (Clausthal University <strong>of</strong> Technology); Jochen Grühser (Siemens AG)<br />

Improved Diagnosis by Combining Structural and Process Knowledge<br />

Lars Christiansen (Helmut-Schmidt University Hamburg); Alexander Fay (Helmut Schmidt University Hamburg); Bernd Opgenoorth (Siemens AG Industry); Jörg Neidig (Siemens AG)<br />

Non Intrusive Fault Detection Through Electromagnetism Analysis<br />

Sébastien Thomas (Telecom ParisTech); Didier Regis (Thales Avionics); David Faura (Thales Avionics); Marc Gatti (Thales Avionics); Guillaume Duc (Telecom ParisTech); Jean-Luc Danger<br />

(Telecom ParisTech)<br />

Multi-Scale PCA based fault diagnosis on a paper mill plant<br />

Francesco Ferracuti (Università Politecnica delle Marche); Andrea Gian<strong>to</strong>massi (Università Politecnica delle Marche); Sauro Longhi (Università Politecnica delle Marche); Nicola Bergantino<br />

(Integra S<strong>of</strong>tware)<br />

SS07-2: Distributed Au<strong>to</strong>mation Systems Development<br />

Chairs: Kleanthis Thramboulidis, Birgit Vogel-Heuser<br />

Room : H (14:00-16:00)<br />

Using a meta-model <strong>to</strong> build operational architectures <strong>of</strong> au<strong>to</strong>mation systems for critical processes<br />

Thibault Lemattre (LURPA ENS Cachan); Bruno Denis (LURPA ENS Cachan); Jean-Marc Faure (LURPA ENS Cachan); Jean-François Pétin (Nancy University); Patrick Salaün (Electricite<br />

de France)<br />

UML-Based Design <strong>of</strong> Agents-based Reconfigurable Embedded Control Systems<br />

Amen Ben Hadj Ali (Tunis El Manar University); Mohamed Khalgui (Xidian University); Samir Ben Ahmed (Tunis El Manar University)<br />

Typical Au<strong>to</strong>mation Functions and Their Distribution in Au<strong>to</strong>mation Systems<br />

Karin Eckert (Helmut-Schmidt University Hamburg); Timo Frank (TU München); Thomas Hadlich (Ot<strong>to</strong> von Guericke University); Alexander Fay (Helmut-Schmidt University Hamburg);<br />

Christian Diedrich (Ot<strong>to</strong> von Guericke University); Birgit Vogel-Heuser (TU München)<br />

COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems<br />

Carlos Catalán (Universidad de Zaragoza); Félix Serna (Universidad de Zaragoza); Alfonso Blesa (Universidad de Zaragoza); Josep María Rams (TUROMAS-TECNOCAT Group); José<br />

Manuel Colom (Universidad de Zaragoza)<br />

Distributed Online Change for IEC 61499<br />

Andreas Schimmel (Vienna University <strong>of</strong> Technology); Alois Zoitl (Vienna University <strong>of</strong> Technology)<br />

Track6-2: Computational Intelligence and Modern Heuristics in Au<strong>to</strong>mation - Evolutionary Algorithms in<br />

Au<strong>to</strong>mation<br />

Chair: Jean Charles Billaut<br />

Room : Raynaud (16:30-18:30)<br />

Co-evolutionary Genetic Multilayer Percetron for Variable Selection and Model Design<br />

Francisco Souza (University <strong>of</strong> Coimbra); Tiago Matias (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra)


A Decision Tree based Particle Swarm Optimization for Solving Resource-Constrained Project Scheduling<br />

Problem<br />

Nhu Binh Ho (Singapore Institute <strong>of</strong> Manufacturing Technology); Youliang Huang (Singapore Institute <strong>of</strong> Manufacturing Technology); Malcolm Low (Nanyang Technological University)<br />

Evolutive ANFIS Training for Energy Load Pr<strong>of</strong>ile Forecast for an IEMS in an Au<strong>to</strong>mated Fac<strong>to</strong>ry<br />

Juan José Cárdenas (Universitat Politècnica de Catalunya); An<strong>to</strong>ni García (Universitat Politècnica de Catalunya); Luis Romeral (Universitat Politècnica de Catalunya); Konstantinos<br />

Kabouropoulos (Universitat Politècnica de Catalunya)<br />

Modeling and Evaluation <strong>of</strong> Single Machine Flexibility Using Fuzzy Entropy and Genetic Algorithm Based<br />

Approach<br />

Toufik Bentrcia (University <strong>of</strong> Batna); Leila Hayet Mouss (University <strong>of</strong> Batna); Mohamed Djamel Mouss (University <strong>of</strong> Batna); Mohamed Elhachemi Benbouzid (Université de Bretagne<br />

Occidentale)<br />

SS03: Building Au<strong>to</strong>mation and Smart Homes<br />

Chairs: Wolfgang Kastner, Christian Reinisch<br />

Room : Mestre (16:30-18:30)<br />

Holistic Design <strong>of</strong> Wireless Building Au<strong>to</strong>mation Systems<br />

Joern Ploennigs (Dresden University <strong>of</strong> Technology); Henrik Dibowski (Dresden University <strong>of</strong> Technology); Uwe Ryssel (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch (Dresden<br />

University <strong>of</strong> Technology)<br />

SmartFridge: Demand Side Management for the Device Level<br />

Thomas Bigler (Austrian Academy <strong>of</strong> Sciences); Georg Gaderer (Austrian Academy <strong>of</strong> Sciences); Patrick Loschmidt (Austrian Academy <strong>of</strong> Sciences); Thilo Sauter (Austrian Academy <strong>of</strong><br />

Sciences)<br />

Interoperability at the Management Level <strong>of</strong> Building Au<strong>to</strong>mation Systems: A Case Study for BACnet and OPC<br />

UA Andreas Fernbach (Vienna University <strong>of</strong> Technology); Wolfgang Granzer (Vienna University <strong>of</strong> Technology); Wolfgang Kastner (Vienna University <strong>of</strong> Technology)<br />

Efficient Building load forecasting<br />

Ivan Fernández (University <strong>of</strong> Deus<strong>to</strong>); Cruz E. Borges (University <strong>of</strong> Deus<strong>to</strong>); Yoseba K. Penya (University <strong>of</strong> Deus<strong>to</strong>)<br />

Impact <strong>of</strong> User Habits in Smart Home Control<br />

Felix Iglesias (Vienna University <strong>of</strong> Technology); Wolfgang Kastner (Vienna University <strong>of</strong> Technology); Christian Reinisch (Vienna University <strong>of</strong> Technology)<br />

Implementation and Substantiation <strong>of</strong> Energy Management Systems for Terminal Buildings<br />

Shen Tianmeng (Keio University); Togoshi Toshiro (Keio University); Nishi Hiroaki (Keio University)<br />

SS09-1: Applying Agent-Based Technology in Industrial Systems<br />

Chairs: Thomas Strasser, Alois Zoitl<br />

Room : Montane (16:30-18:30)<br />

Efficient Agent Interaction in Au<strong>to</strong>mation Networks: A Simulation Study<br />

Sebastian Theiss (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch (Dresden University <strong>of</strong> Technology)<br />

Multiagent-based approach for the au<strong>to</strong>mation and quality assurance <strong>of</strong> the small series production<br />

Robert Schmitt (RWTH Aachen University); Tilo Pfeifer (RWTH Aachen University); Alber<strong>to</strong> Xavier Pavim (RWTH Aachen University); Marcelo Stemmer (Federal University <strong>of</strong> Santa<br />

Catarina); Jomi Hübner (Federal University <strong>of</strong> Santa Catarina); Mario Rol<strong>of</strong>f (Federal Institute <strong>of</strong> Santa Catarina)<br />

An Agent-based and Organisation oriented S<strong>of</strong>tware Architecture for Supply Chains Simulation<br />

Mustapha Karam (Aix Marseilles University); Erwan Tranvouez (Aix Marseilles University); Bernard Espinasse (Aix Marseilles University); Alain Ferrarini (Aix Marseilles University)<br />

Procedure-based availability SLAs for Traffic Management Systems<br />

Chris<strong>to</strong>ph S<strong>to</strong>egerer (SWARCO Futurit GmbH); Thomas Novak (SWARCO Futurit GmbH); Wolfgang Kastner (TU Vienna); Lukas Krammer (TU Vienna)<br />

PROSA and Delegate MAS for Open-Air Engineering Processes<br />

Paul Valckenaers (K.U.Leuven); Osman Ali (Flanders Mechatronics Technology Centre); Jan Van Belle (K.U.Leuven)<br />

Track5-4: Industrial Control - Control System Applications<br />

Chairs: Juan J. Gude, Martin Pies<br />

Room : Ouriliac (16:30-18:30)<br />

Control Circuit <strong>of</strong> the Heat Exchanger and its Verification on Real Operation Data<br />

Martin Pies (VSB-Technical University <strong>of</strong> Ostrava); Stepan Ozana (VSB-Technical University <strong>of</strong> Ostrava); Pavel Nevriva (VSB-Technical University <strong>of</strong> Ostrava)<br />

Calibration <strong>of</strong> Fitting Loss Coefficients for Modelling Purpose <strong>of</strong> a Plastic Pipeline<br />

Adrián Navarro (CINVESTAV del IPN); Ofelia Begovich (CINVESTAV del IPN); Gildas Besancon (Grenoble INP)<br />

Control considerations in a drum level control pro<strong>to</strong>type<br />

Juan J. Gude (Universidad de Deus<strong>to</strong>); Evaris<strong>to</strong> Kahoraho (Universidad de Deus<strong>to</strong>)<br />

Control strategies and wastewater treatment plants performance: effect <strong>of</strong> controllers parameters variation<br />

Henry R. Concepción (Universitat Au<strong>to</strong>noma de Barcelona); Montse Meneses (Universitat Au<strong>to</strong>noma de Barcelona); Ramon Vilanova (Universitat Au<strong>to</strong>noma de Barcelona)<br />

Non-destructive acoustic based moisture measurement system for cashew nuts<br />

Abhishek Agrawal (Siemens Corporate Research and Technologies); Kiran Nagaraj (Siemens Corporate Research and Technologies); Karthik Ragunathan (Siemens Corporate Research<br />

and Technologies)<br />

A Robotic System Enhanced with Computer Vision for Manipulating Sliced Meat Objects<br />

Jose Luis Lima (Polytechnic Institute <strong>of</strong> Bragança); Paulo Leitao (Polytechnic Institute <strong>of</strong> Bragança); Joao Goncalves (Polytechnic Institute <strong>of</strong> Bragança); Fernando Gayubo (Universidad de<br />

Valladolid); Jose Luis Gonzalez (Universidad de Valladolid); Juan Carlos Fraile (Universidad de Valladolid)


Thursday, 8 September 2011<br />

SS02-1: Engineering processes exploiting mechatronical thinking<br />

Chairs: Arndt Lüder, Michael Weyrich<br />

Room : Dauvillier (9:00-10:30)<br />

Mechatronic models as a driver for digital plant engineering<br />

Birthe Böhm (Siemens AG); Norbert Gewald (Siemens AG); Adrian Köhlein (Siemens AG); Jürgen Elger (Siemens AG)<br />

Day program <strong>to</strong>p<br />

Efficient Au<strong>to</strong>mation Systems Engineering Process Support Based on Semantic Integration <strong>of</strong> Engineering<br />

Knowledge<br />

Thomas Moser (Vienna University <strong>of</strong> Technology); Richard Mordinyi (Vienna University <strong>of</strong> Technology); Dietmar Winkler (Vienna University <strong>of</strong> Technology); Martin Melik-Merkumians (Vienna<br />

University <strong>of</strong> Technology); Stefan Biffl (Vienna University <strong>of</strong> Technology)<br />

Methodology for the evaluation <strong>of</strong> <strong>to</strong>ols with respect <strong>to</strong> its applicability within mechatronical engineering<br />

Lorenz Hundt (Ot<strong>to</strong>-von-Guericke University); Arndt Lüder (Ot<strong>to</strong>-von-Guericke University); Adrian Köhlein (Siemens AG); Norbert Gewald (Siemens AG)<br />

Improving Mechatronical Engineering: an Artifact-Assessment-Based Approach<br />

Fritz Stallinger (S<strong>of</strong>tware Competence Center Hagenberg); Robert Neumann (S<strong>of</strong>tware Competence Center Hagenberg); Reinhold Plösch (Johannes Kepler University Linz); Peter<br />

Hehenberger (Johannes Kepler University Linz); Birthe Böhm (Siemens AG); Adrian Köhlein (Siemens AG); Norbert Gewald (Siemens AG)<br />

Identification <strong>of</strong> Mechatronic Units based on an Example <strong>of</strong> a Flexible Cus<strong>to</strong>mized Multi Lathe Machine Tool<br />

Michael Weyrich (Universität Siegen); Frank Steden (Universität Siegen); Jochen Wolf (Alfred H. Schütte GmbH & Co. KG); Matthias Scharf (Universität Siegen)<br />

Track6-3: Computational Intelligence and Modern Heuristics in Au<strong>to</strong>mation - Intelligent Control<br />

Chair: Klaus Kabitzsch<br />

Room : Raynaud (9:00-10:30)<br />

Handling control engineer preferences: getting the most <strong>of</strong> PI controllers<br />

Gilber<strong>to</strong> Reynoso-Meza (Universitat Politècnica de València); Javier Sanchis (Universitat Politècnica de València); Xavier Blasco (Universitat Politècnica de València); Juan M. Herrero<br />

(Universitat Politècnica de València)<br />

Fault Tolerant Tracking Controller Design for T-S Fuzzy disturbed Systems with Uncertainties subject <strong>to</strong><br />

Actua<strong>to</strong>r Faults<br />

Sabrina Aouaouda (Annaba University); Mohamed Tarek Khadir (Annaba University); Dalil Ichalal (Université d’Evry Val d’Essonne); Mohammed Chadli (Université de Picardie Jules Verne);<br />

Tahar Bouarar (Institut National Polytechnique de Lorraine)<br />

A Qualitative Balance <strong>of</strong> Shape Descrip<strong>to</strong>rs on Dynamometer Cards<br />

Fábio Lima (PETROBRAS); Diego Silva (Universidade Federal do Rio Grande do Norte); Luiz Guedes (Universidade Federal do Rio Grande do Norte)<br />

Variable and Time-Lag Selection using Empirical Data<br />

Francisco Souza (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra)<br />

Track7-2: Intelligent Robots & Systems - Perception and Planning<br />

Chair: Jose A. Fonseca<br />

Room : Mestre (9:00-10:30)<br />

Interactive Locomotion Animation using Path Planning<br />

David Flavigné (Université Paris 6); Michel Taïx (LAAS-CNRS)<br />

Choosing the Number <strong>of</strong> Labels in Image Segmentation<br />

Yonghuai Liu (Aberystywth University); John Draper (Aberystwyth UNiversity); Alan Gay (Aberystwyth University); Catherine Howarth (Aberystwyth University); Ralph Martin (Cardiff<br />

University)<br />

A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots<br />

Marius Kloetzer (Universitatea Tehnica Gheorghe Asachi din Iasi); Cristian Mahulea (University <strong>of</strong> Zaragoza); Octavian Pastravanu (Universitatea Tehnica Gheorghe Asachi din Iasi)<br />

Causality-Based Planning and Diagnostic Reasoning for Cognitive Fac<strong>to</strong>ries<br />

Esra Erdem (Sabanci University); Kadir Haspalamutgil (Sabanci University); Volkan Pa<strong>to</strong>glu (Sabanci University); Tansel Uras (Sabanci University)<br />

WIP4: Au<strong>to</strong>mated Manufacturing Systems<br />

Chairs: Philippe Charbonnaud, Pierre Lopez<br />

Room : Montane (9:00-10:30)<br />

Modelling and Implementation <strong>of</strong> Au<strong>to</strong>mata-Based Hierarchical Discrete-Event Controllers Using the B-Method<br />

Noe Campos (Centro de Investigación y Estudios Avanzados del IPN); Arturo Sanchez (Unidad de Ingeniería Avanzada)<br />

Au<strong>to</strong>mation <strong>of</strong> Patterned and Solar Glass Cutting and Stacking Line<br />

Taner Incirci (Altinay Robot Technologies); Dilek Tukel (Dogus University)<br />

Toward a methodology for disruption management - Reactive planning and scheduling based on a repair<br />

approach<br />

Alain Ferrarini (LSIS); Aline Cauvin (LSIS); Sebastien Fournier (LSIS)<br />

Application <strong>of</strong> using SCEP Model for Distributed Scheduling with Shared Resources in Hospital System<br />

Jiucheng Xu (INP Toulouse); Bernard Archimède (INP Toulouse); Agnes Le<strong>to</strong>uzey (INP Toulouse)<br />

Max-plus-linear model-based predictive control for constrained HVLV manufacturing systems<br />

Imed Nasri (University <strong>of</strong> Savoie); Georges Habchi (University <strong>of</strong> Savoie); Reda Boukezzoula (University <strong>of</strong> Savoie)<br />

Au<strong>to</strong>matic Generation: A way <strong>of</strong> ensuring PLC and HMI standards<br />

Petter Falkman (Chalmers University <strong>of</strong> Technology); Erik Helander (Volvo Car Corporation); Mikael Andersson (Volvo Car Corporation)


mINA-DL: A Novel Description Language Enabling Dynamic Reconfiguration in Industrial Au<strong>to</strong>mation<br />

Michael Wienke (Fraunh<strong>of</strong>er IOSB-INA); Sebastian Faltinski (Institute Industrial IT); Oliver Niggemann (Fraunh<strong>of</strong>er IOSB-INA); Jürgen Jasperneite (Institute Industrial IT)<br />

A reference system for the benchmarking <strong>of</strong> manufacturing control systems<br />

Sebastian Schreiber (Helmut Schmidt University Hamburg); Alexander Fay (Helmut Schmidt University Hamburg)<br />

Control Architecture for a Supervised Industrial Robotic Workcell Integration<br />

Paulo Ferreira (Polytechnic Institute <strong>of</strong> Setúbal); Vic<strong>to</strong>ria Reyes (EST IPS)<br />

Engineering Process for an Online Testing Process <strong>of</strong> Control S<strong>of</strong>tware in Production Systems<br />

Benjamin Kormann (Technische Universität München); Birgit Vogel-Heuser (Technische Universität München); Reinhard Hametner (Vienna University <strong>of</strong> Technology); Alois Zoitl (Vienna<br />

University <strong>of</strong> Technology)<br />

Control <strong>of</strong> Productive Systems with Functional Flexibility Level<br />

Osvaldo Luis Asa<strong>to</strong> (Escola Politecnica da Universidade de Sao Paulo); Fabricio Junqueira (Escola Politecnica da Universidade de Sao Paulo); Diolino Jose Dos San<strong>to</strong>s Filho (Escola<br />

Politecnica da Universidade de Sao Paulo); Paulo Eigi Miyagi (Escola Politecnica da Universidade de Sao Paulo); Lindolpho Araujo Junior (Centro Federal de Educacao Tecnologica de<br />

Minas Gerais)<br />

WIP2-2: Industrial Communication Systems<br />

Chair: Michael Short<br />

Room : Ouriliac (9:00-10:30)<br />

A New Beacon Scheduling Mechanism for Mesh Wireless Personal Area Networks based on IEEE 802.15.4<br />

Juan Lu (Université de Toulouse); Adrien Van Den Bossche (Université de Toulouse); Eric Campo (Université de Toulouse)<br />

A flexible approach for real-time wireless communications in adaptable industrial au<strong>to</strong>mation systems<br />

Henning Trsek (Institut Industrial IT); Lukasz Wisniewski (Institut Industrial IT); Emanuele Toscano (University <strong>of</strong> Catania); Lucia Lo Bello (University <strong>of</strong> Catania)<br />

Implementation <strong>of</strong> an advanced IEEE 802.11 WLAN AP for real-time wireless communications<br />

Henning Trsek (Institut Industrial IT); Stefan Schwalowsky (Institut Industrial IT); Bjoern Czybik (Institut Industrial IT); Juergen Jasperneite (Institut Industrial IT)<br />

A Unified Approach for the Assessment <strong>of</strong> Industrial Wireless Solutions<br />

Paul Neufeld (Institut Industrial IT); Lutz Rauchhaupt (ifak e.V. Magdeburg); Uwe Meier (Institut Industrial IT); Marko Krätzig (ifak e.V. Magdeburg)<br />

Preliminary results on the assessment <strong>of</strong> WirelessHART networks in transient fault scenarios<br />

Ivanovitch Silva (Federal University <strong>of</strong> Rio Grande do Norte); Luiz Affonso Guedes (Federal University <strong>of</strong> Rio Grande do Norte); Paulo Portugal (University <strong>of</strong> Por<strong>to</strong>); Francisco Vasques<br />

(University <strong>of</strong> Por<strong>to</strong>)<br />

Wireless Parking Lot Moni<strong>to</strong>ring and Guidance<br />

Daniel Silva (University <strong>of</strong> Aveiro); Paulo Bar<strong>to</strong>lomeu (Micro I/O - Serviços de Electrónica, Lda); José Fonseca (Institu<strong>to</strong> de Telecomunicações)<br />

A Communication Pro<strong>to</strong>col for Open Environment Housings<br />

Vasco Baptista (University <strong>of</strong> Aveiro); Paulo Bar<strong>to</strong>lomeu (Micro I/O - Serviços de Electrónica, Lda); Ricardo Almeida (University <strong>of</strong> Aveiro); Pedro Mar (Micro I/O - Serviços de Electrónica,<br />

Lda); José Fonseca (Institu<strong>to</strong> de Telecomunicações)<br />

Towards a OMG DDS Communication Backbone for Fac<strong>to</strong>ry Au<strong>to</strong>mation Applications<br />

Isidro Calvo (University <strong>of</strong> the Basque Country); Federico Perez (University <strong>of</strong> the Basque Country); Oier García de Albeniz (University <strong>of</strong> the Basque Country); Ismael Etxeberria Agiriano<br />

(University <strong>of</strong> the Basque Country)<br />

SS02-2: Engineering processes exploiting mechatronical thinking<br />

Chairs: Arndt Lüder, Fritz Stallinger<br />

Room : Dauvillier (11:00-12:00)<br />

Aggregation <strong>of</strong> engineering processes regarding the mechatronic approach<br />

Arndt Lüder (Ot<strong>to</strong>-von-Guericke University); Matthias Foehr (Ot<strong>to</strong>-von-Guericke University); Lorenz Hundt (Ot<strong>to</strong>-von-Guericke University); Martin H<strong>of</strong>fmann (Ot<strong>to</strong>-von-Guericke University);<br />

Yvonne Langer (Ot<strong>to</strong>-von-Guericke University); Stefanie Frank (Ot<strong>to</strong>-von-Guericke University)<br />

Mechatronic Engineering <strong>of</strong> Novel Manufacturing Processes Implemented by Modular and Sensor-Guided<br />

Machinery<br />

Michael Weyrich (University <strong>of</strong> Siegen); Philipp Klein (University <strong>of</strong> Siegen); Martin Laurowski (University <strong>of</strong> Siegen); Yongheng Wang (University <strong>of</strong> Siegen)<br />

Intelligent environment for mechatronic, cross-discipline plant engineering<br />

Miriam Schleipen (Fraunh<strong>of</strong>er IOSB); Manfred Schenk (Fraunh<strong>of</strong>er IOSB)<br />

SS04: Middleware Solutions for Au<strong>to</strong>mation Systems<br />

Chairs: Henning Mersch, Leon Urbas<br />

Room : Raynaud (11:00-12:00)<br />

Requirements on Distribution Management for Service-Oriented Au<strong>to</strong>mation Systems<br />

Henning Mersch (RWTH Aachen University); Ulrich Epple (RWTH Aachen University)<br />

Function Allocation for Multi-agent Systems and Middleware in Industrial Au<strong>to</strong>mation Systems<br />

Leon Urbas (Technische Universität Dresden); Stephan Pech (Universität Stuttgart); Annett Krause (Technische Universität Dresden); Peter Göhner (Universität Stuttgart)<br />

Information Modeling for Middleware in Au<strong>to</strong>mation<br />

Wolfgang Mahnke (ABB); Andreas Gössling (Technische Universität Dresden); Markus Graube (Technische Universität Dresden); Leon Urbas (Technische Universität Dresden)<br />

A Middleware for S<strong>of</strong>tware Evolution <strong>of</strong> Au<strong>to</strong>mation S<strong>of</strong>tware<br />

Ingmar Kühl (Nordex Energy); Alexander Fay (Helmut-Schmidt University Hamburg)<br />

SS09-2: Applying Agent-Based Technology in Industrial Systems<br />

Chairs: Alois Zoitl, Thomas Strasser<br />

Room : Montane (11:00-12:00)<br />

Visualization <strong>of</strong> On<strong>to</strong>logies in Multi-Agent Industrial Systems<br />

Marek Obitko (Czech Technical University); Pavel Vrba (Rockwell Au<strong>to</strong>mation Research Center in Prague); Petr Kadera (Czech Technical University); Václav Jirkovsky (Czech Technical<br />

University)


A Market-Based Multi-Agent-System for Decentralized Power and Grid Control<br />

Tobias Linnenberg (Helmut Schmidt University Hamburg); Sebastian Schreiber (Helmut Schmidt University Hamburg); Ireneus Wior (Helmut Schmidt University Hamburg); Alexander Fay<br />

(Helmut Schmidt University Hamburg)<br />

Simulation-based Environment for Modeling Distributed Agents for Smart Grid Energy Management<br />

Francisco Maturana (Rockwell Au<strong>to</strong>mation); Rohan Ambre ( Cleveland State University); Raymond Staron (Rockwell Au<strong>to</strong>mation); Dan Carnahan (Rocwell Au<strong>to</strong>mation); Kenneth Loparo<br />

(Case Western Reserve University)<br />

Track5-5: Industrial Control - Advanced Control Methods II<br />

Chairs: Jerome Mendes, Zulkifli Hidayat<br />

Room : Ouriliac (11:00-12:00)<br />

Stable Indirect Adaptive Predictive Fuzzy Control for Industrial Processes<br />

Jerome Mendes (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra); Symone Soares (University <strong>of</strong> Coimbra)<br />

Adaptive Predictive Control With Recurrent Fuzzy Neural Network for Industrial Processes<br />

Jerome Mendes (University <strong>of</strong> Coimbra); Nuno Sousa (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra)<br />

Decentralized Kalman Filter Comparison for Distributed-Parameter Systems: A Case Study for a 1D Heat<br />

Conduction Process<br />

Zulkifli Hidayat (Delft University <strong>of</strong> Technology); Robert Babuska (Delft University <strong>of</strong> Technology); Bart De Schutter (Delft University <strong>of</strong> Technology); Alfredo Nunez (Delft University <strong>of</strong><br />

Technology)<br />

Modeling and Predictive Control for Compensating Network-induced Time-varying Delays<br />

Constantin Florin Caruntu ("Gh. Asachi" Technical University <strong>of</strong> Iasi); Corneliu Lazar ("Gh. Asachi" Technical University <strong>of</strong> Iasi)<br />

SS07-3: Distributed Au<strong>to</strong>mation Systems Development<br />

Chairs: Alexander Fay, Kleanthis Thramboulidis<br />

Room : H (11:00-12:00)<br />

Au<strong>to</strong>matic Composition <strong>of</strong> IEC 61499 Distributed Control Applications<br />

Guadalupe Morán (UAEM); Federico Pérez (University <strong>of</strong> the Basque Country); Darío Orive (University <strong>of</strong> the Basque Country); Elisabet Estévez (University <strong>of</strong> Jaén); Marga Marcos<br />

(University <strong>of</strong> the Basque Country)<br />

"Predictive Maintenance Surveyor" Design Pattern for Machine Tools Control S<strong>of</strong>tware Applications<br />

Felix Serna (Universidad de Zaragoza); Carlos Catalan (Universidad de Zaragoza); Alfonso Blesa (Universidad de Zaragoza); Josep Maria Rams (Turomas group); José Manuel Colom<br />

(Universidad de Zaragoza)<br />

Improved Communication Model for an IEC 61499 Runtime Environment<br />

Michael H<strong>of</strong>mann (Pr<strong>of</strong>ac<strong>to</strong>r GmbH); Martijn Rooker (Pr<strong>of</strong>ac<strong>to</strong>r GmbH); Alois Zoitl (Vienna University <strong>of</strong> Technology)<br />

Keynote 3: Challenges <strong>of</strong> Wireless Communications in Industrial Systems<br />

Room : Despax (12:00-13:00)<br />

Stefan Svensson, ABB, Sweden.<br />

Keynote Abstract:<br />

The presentation will discuss challenges <strong>of</strong> wireless communication in industrial systems with examples from the<br />

ABB portfolio <strong>of</strong> wireless products.<br />

Industry cus<strong>to</strong>mers want one standards but the dilemma is that no existing wireless radio system can satisfy all<br />

requirements simultaneously and the same medium is used by all wireless systems for radio transmissions: the free<br />

air space which surrounds them. In short, wireless solutions have <strong>to</strong> co-exist.<br />

Short biography:<br />

Stefan Svensson holds a M Sc in Electrical Engineering from the Technical University <strong>of</strong> Lund. He joined<br />

ABB in Sweden in 2001 as researcher at ABB Corporate Research developing embedded systems for<br />

different kinds <strong>of</strong> field level communication. From 2005 until 2008 Stefan worked as the coordina<strong>to</strong>r for<br />

ABB research in Wireless and Mobility. Between 2008 and 2010 he worked as a group leader at the<br />

Acreo Research Institute in the area <strong>of</strong> innovative electronics. He returned <strong>to</strong> ABB in 2011 <strong>to</strong> take on the<br />

position <strong>of</strong> manager for the industrial communication program. Industrial communication in the ABB<br />

definition includes wired and wireless communication, device integration as well as embedded systems development.<br />

As program manager Stefan Svensson manages a portfolio <strong>of</strong> around 40 projects (~62 people) and is responsible for<br />

the ABB strategy in the area. The people working in the program is located in five countries, in addition <strong>to</strong> Sweden<br />

also in India, Germany, Switzerland and Norway.


Friday, 9 September 2011<br />

iATPA-1: Workshop iATPA - 1<br />

Chair: Richard Mordinyi<br />

Room : J4 (9:00-10:30)<br />

Tools Integration through a Central Model and Au<strong>to</strong>matic Generation <strong>of</strong> Multi-Platform Control Code<br />

Marco Colla (University <strong>of</strong> Applied Sciences <strong>of</strong> Southern)<br />

Au<strong>to</strong>matic Test-Case Derivation and Execution in Industrial Control<br />

Sabrina Von Styp (RWTH Aachen University)<br />

4DIAC-1: Workshop 4DIAC - Session Communication Integration<br />

Chair: Alois Zoitl<br />

Room : J5 (9:00-10:30)<br />

Welcome<br />

An<strong>to</strong>nio Valentini (O3NEIDA Europe)<br />

Overview & Update<br />

Alois Zoitl (Vienna University <strong>of</strong> technology)<br />

New FORTE Communication Infrastructure<br />

Michael H<strong>of</strong>mann (Pr<strong>of</strong>ac<strong>to</strong>r)<br />

EtherNet/IP as communication infrastructure for distributed control applications<br />

Alois Zoitl (Vienna University <strong>of</strong> technology)<br />

Accessing remote I/Os with Ethernet POWERLINK and 4DIAC<br />

Filip Andrén (Austrian Institute <strong>of</strong> Technology)<br />

SIFB set for accessing Beckh<strong>of</strong>f controllers using ADS pro<strong>to</strong>col<br />

Federico Pérez (Escuela Superior de Ingenieros)<br />

iATPA-2: Workshop iATPA - 2<br />

Chair: Thomas Moser<br />

Room : J4 (11:00-12:30)<br />

Integrated Design <strong>of</strong> Simulation Models for Passive Houses<br />

Petr Novak (Vienna University <strong>of</strong> Technology)<br />

Day program <strong>to</strong>p<br />

Integration <strong>of</strong> a formalized process description in<strong>to</strong> MS Visio® with regard <strong>to</strong> an integrated engineering process<br />

Lars Christiansen (Helmut Schmidt Universität)<br />

4DIAC-2: Workshop 4DIAC - Session Application Modeling<br />

Chair: Thomas Strasser<br />

Room : J5 (11:00-12:30)<br />

Coordination control <strong>of</strong> a bin picking application<br />

Michael H<strong>of</strong>mann (Pr<strong>of</strong>ac<strong>to</strong>r)<br />

Supervisory control <strong>of</strong> an injection molding machine<br />

Alois Zoitl (Vienna University <strong>of</strong> technology)<br />

4DIAC for Smart Grids Applications<br />

Thomas Strasser (Austrian Institute <strong>of</strong> Technology)<br />

Plenary Discussion – Future Development <strong>of</strong> 4DIAC: Goals and Targets

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!