PROGRAM

17th IEEE International Conference on 

Emerging Technologies & Factory Automation 

PROGRAM

ABOUT Kraków 

The ancient, royal city of Kraków is a unique 

symbol of Polish national identity. Enchantingly picturesque, 

rich in relics of all epochs, it represents the 

thousand-year-long history of the Polish nation. In 

Kraków you can admire many different styles of architecture, 

unique Romanesque objects, monumental 

Gothic edifices, and masterpieces by some of the 

most outstanding architects of the Renaissance and 

Baroque period. Kraków has always been a centre of 

Polish culture and science. Through damage by fire, 

wars and foreign occupations, the city has always revived 

and continues to fascinate with its beauty. 

As long ago as the 11th century, 

Kraków became the capital city of 

Poland. The Royal Castle and cathedral 

on Wawel Hill was the coronation 

and burial place of Polish 

monarchs. In the 13th century the 

layout of the city, which has been preserved till today, 

was established with what is still one of the biggest 

market squares in Europe (200 m x 200 m), a Gothic- 

Renaissance Cloth-hall (Sukiennice) and the Town-hall 

tower. The city fortification system was built in the 

13-15th centuries, parts of the wall, four turrets and 

a barbican, have survived to this day. The site of the 

former walls has been replaced by a green belt called 

Planty. In the 14th century one of the oldest universities 

in Europe, the Academy of Kraków, later named 

the Jagiellonian University, was founded. Nicolaus Copernicus 

(Mikolaj Kopernik) was one of its students. 

September 17-21, 2012 – Kraków, Poland 

P R O G R A M 

Technically co-sponsored by: 

AGH University of Science and Technology 

at Kraków 

http://www.etfa2012.org 

Kraków 2012 

IES Industrial Electronics Society

Message from General Chairs 

Marek Miśkowicz 

ETFA’2012 General Co-Chair 

Richard Zurawski 

ETFA’2012 General Co-Chair 

It is our pleasure to welcome all participants to the 17th IEEE International 

Conference on Emerging Technologies and Factory Automation held at the AGH 

University of Science & Technology, in the famous city of Kraków, Poland. 

It is exactly 20 years from the first ETFA conference which was a modest 

event attracting just over 170 attendees. Since then, the event has evolved in to 

one of the largest and most important IEEE conferences dedicated to industrial 

and factory automation – presenting new research results at the cutting edge of 

emerging technologies in applications to industrial automation, as well as providing 

a discussion forum for professionals from academia and industry alike. 

The ETFA conference series was fortunate to be hosted by some of the leading 

academic and research institutions from all over the world. The success of the ETFA 

conference series reflects the rapid evolution of the industrial automation field and 

the ever increasing impact of the underpinning research and development on the 

advances in the industrial automation. The proceedings of the conference give a 

fairly accurate picture of the state of the art in the covered areas. 

This year event is sponsored by the IEEE Industrial Electronics Society together 

with the AGH University of Science & Technology. 

AGH University of Science and Technology is one of the oldest and biggest 

Polish technical universities with almost 100 years of scientific experience, with 

over 35000 students and more than 2000 researchers. AGH-UST builds the bridges 

between science and industry by teaching and conducting R&D activity guided 

by the principle expressed in the Latin sentence: Labore creata, labori et scientiae 

servio. The number of graduates that have passed through the halls of the university 

is higher than 150,000. AGH-UST cooperates with many academic centers from 50 

countries and with numerous companies (e.g. IBM, Valeo, Comarch, Motorola, EDF, 

L.G., Philips, RWE Power AG, Lafarge, Cemex, Delphi, Siemens, KGHM). 

The AGH University of Science & Technology is an important element of a large 

industrial and educational regional center located in Kraków. In the city, there are 

about 50 large multinational corporations, including Google, IBM, Motorola, ABB, 

Delphi, MAN SE, General Electric, Hitachi, along with other British, German and 

Scandinavian-based companies. Kraków is also the place of foundation of the first 

Polish knowledge-based company, Comarch, which is now a global corporation that 

specializes in innovative IT solutions for the Telecommunications and Financial 

Services industries. Furthermore, Kraków among Karlsruhe, Grenoble, Eindhoven/ 

Leuven, Barcelona, and Stockholm is one of the co-location centres of Knowledge 

and Innovation Community (Sustainable Energy) of The European Institute of 

Innovation and Technology (EIT). 

The congregation of industry and business is supported by the higher education 

sector. Kraków boasts the Jagiellonian University established in 1364 which is the 

first Polish university and the second-oldest university in Central Europe. In the 

15th century, the Jagiellonian was one of most international universities in Europe 

with approximately 44% of the students coming from abroad. Among the university 

graduates were Nicolaus Copernicus, the creator of the heliocentric system; the 

Pope John Paul II; Ignacy Łukasiewicz, the deviser of the first method of distilling 

kerosene from seep oil; Carl Menger, founder of the Austrian School of economics; 

Karol Olszewski, the physicist and chemist, the first to liquefy oxygen, nitrogen and 

carbon dioxide from the atmosphere; Leo Sternbach, the chemist, inventor of the 

benzodiazepine; Ivo Andric and Wisława Szymborska, Nobel laureates in literature. 

Nowadays, Kraków is the second academic and research center in Poland with 

over 200,000 students, and a dynamic scientific community. It is the house for the 

National Science Centre which is a government executive agency established to fund 

basic research. 

Thanks to a fine architectural heritage, outstanding artistry and royal patronage, Kraków 

is one of the most beautiful, and popular tourist destination, cities in Europe. The city is 

ranked among European metropolises whose unique image has been shaped through the 

creative efforts of representatives of many nationalities. In the 15th and the 16th centuries, 

Kraków was the capital of one of the most powerful and extensive European countries. At 

that time, the republic stretched from the Baltic Sea to the Black Sea coast. The city, open to 

all the nations which inhabited the vast country became the sanctuary of priceless national 

mementoes, a treasury of Polish science and culture. 

This edition of the ETFA series attracted 404 papers. After a rigorous process, 

based on the recommendations of the Track Chairs, 260 papers were accepted: 112 

as regular, 42 in special sessions, and 106 as the work-in-progress and industry 

practice papers. 

17th IEEE International Conference on Emerging Technologies & Factory Automation

We would like to acknowledge the contribution of all Program Committee 

Members and Reviewers. Our appreciation goes to Boguslaw Cyganek and Thomas 

Nolte of the AGH University of Science & Technology, Poland, and Mälardalen 

University, Sweden, respectively, for their dedication and excellent organization of 

the scientific part of the conference. 

The conference is preceded by the Industry Day, held on 17 September. 

The Industry Day has a focus on wireless technologies in factory and industrial 

automation: state of the arts and emerging trends. The Industry Day features 

preeminent speakers from some of the leading industry vendors and research 

establishments involved in shaping the wireless technologies and deploying them in 

the factory and diverse industrial environments. ETFA 2012 attendees are invited to 

this event at no extra cost. 

The ETFA 2012 conference concludes with the Workshop Day featuring the 7th 

International Workshop on Service Oriented Architectures in Converging Networked 

Environments (SOCNE 2012), the 3rd 4DIAC User’s Workshop (4DIAC), and the 

2nd Workshop on Industrial Automation Tool Integration for Engineering Project 

Automation (iATPA 2012). 

An event of this importance cannot be organized without the help of a large 

number of volunteers. We would like to thank all of them for their valuable work. 

We are especially indebted to the local organizing team. Our sincere gratitude goes 

to the International Program Committee and the Chairs: Track Co-Chairs, Special 

Session Co-Chairs, Work-In- Progress Co-Chairs, and the Reviewers. Also to the 

Workshop Day and Industry Day Committees, Publication Chair, Keynote Speakers, 

and all attendees who make this event possible. 

ETFA 2012 offers a high quality technical program, interesting and important 

satellite events, and an attractive social program. Please enjoy the conference and 

your stay in Kraków. 

Marek Miśkowicz and Richard Zurawski 

General Co-Chairs 

Message from Program Chairs 

Bogusław Cyganek 

ETFA’12 Program Co-Chair 

Thomas Nolte 

ETFA’12 Program Co-Chair 

The IEEE International Conference on Emerging Technologies and Factory 

Automation (ETFA’12), held in Kraków, Poland, 17‐21 September 2011 is a 

seventeenth in a series of very successful ETFA conferences. It is also an anniversary 

issue since the first ETFA conference took place in Melbourne, Australia in 1992, 

already then experiencing nice welcome from the scientific and industrial societies. 

The primary goal of ETFA conferences is to join scientists, engineers and 

practitioners from around the world and to present their best publications in 

all aspects of emerging technologies and factory automation. During these two 

decades we have witnessed an amazing technological progress and the series of 

ETFA conferences has helped us to keep track with them as one of the prime events 

in these fields. 

Presentation of such broad subjects would not be possible without parallel tracks 

organized by their Track Chairs. This year we also follow this tradition with seven 

regular tracks covering relevant issues in Information Technology in Automation, 

Industrial Communication Systems, Real‐Time and (Networked) Embedded Systems, 

Automated Manufacturing Systems, Industrial Control, Computational Intelligence 

and Modern Heuristics in Automation, as well as Intelligent Robots & Systems. In 

this place we would like to express our gratitude to all the track Chairs and we would 

like to thank Georg Frey, Marga Marcos, Gianluca Cena, Zdenek Hanzalek, Lucia 

Lo Bello, Marco Di Natale, Cristian Mahulea, Carla Seatzu, Anton Cervin, Grzegorz 

Granosik, Adam Słowik, Ireneusz Czarnowski, Antoni Grau and Dariusz Pazderski for 

their excellent work. 

In addition to the regular tracks ETFA’12 features ten Special Sessions proposed 

by experts from various industry fields, covering selected topics like Distributed 


and Autonomous Intelligent Systems, Fault Tolerance Techniques in Distributed 

Embedded and Automation Systems, Harmonization of Standards as a Result of 

the Convergence of Technologies in Modern Technical Artifacts, Internet of Things 

Technologies for Adaptable and Agile Automation Systems, Industrial Applications 

of Emerging Automation Paradigms and Technologies, Mechatronical Engineering, 

Distributed Automation Systems Development: Trends and Challenges, Building 

Automation and Smart Homes, Closed-Loop Modelling for Design and Validation of 

Reactive Systems in Discrete Control, Real-Time Operating Systems and Embedded 

Virtualization Technologies: Trends and Challenges. We would like to thank the 

Special Session Co-Chairs Dariusz Kościelnik and John Gialelis, and all the Special 

Sessions’ Organizers for their hard work and valuable collaboration. 

The call for ETFA’12 papers attracted a great number of 404 papers. This year we 

had 266 submissions of regular papers from 43 countries. All the submissions were 

thoroughly reviewed by the program committee of their respective track. To ensure 

a high standard of the conference, each paper was sent to a minimum of three 

reviewers. Based on the judgments, the Track Co-Chairs selected the contributions 

to be accepted as regular papers or to be accepted as Works-in-Progress (WiP) 

or Industry Practice (IP) papers. Special Session papers were reviewed within the 

relevant main Tracks to ensure a harmonized review process for all the conference 

papers. At the end, 112 contributions were finally accepted as full papers in regular 

Tracks and 42 in Special Sessions. Compiling the track committees and managing 

the review process in a timely manner was a tough work. We are really grateful to 

the Track Chairs, who accomplished this critical task. 

It is also a tradition of ETFA conferences to provide a platform for ongoing research 

work and industry ideas at the forefront of technology. For this purpose we have a 

session for WiP as well as IP. This year we received a total of 98 submissions of WiP/IP 

papers, in addition to the 40 papers that were invited among the rejected Regular and 

Special Session papers. At the end, 106 papers were selected to be included in the WiP/ 

IP program of ETFA’12. We would like to thank the Work-in-Progress Co-Chairs Javier 

Silvestre Blanes and Zoubir Mammeri for the organization of the WiP/IP program. 

For years the ETFA conferences are honored by a presence of excellent keynote 

speakers. This year we are very happy to welcome in this role Kai Hansen, Ronald 

Schoop, Jacek M. Zurada and Rolf Ernst. 

Such a big event like the ETFA’12 would not be possible without hard work and 

support of many persons and organizations. In this place we would particularly like 

to greatly thank the General Co-Chairs Marek Miśkowicz and Richard Zurawski for 

their support and guidance. 

Bogusław Cyganek and Thomas Nolte 

Program Committee Co-Chairs 

Committees 

Honorary Chair 

Andrzej Jajszczyk, Director of National Science Centre, Poland 

General Co-Chairs 

Marek Miśkowicz, AGH University of Science and Technology, Poland 

Richard Zurawski, ISA Group, USA 

Program Committee Co-Chairs 

Bogusław Cyganek, AGH University of Science and Technology, Poland 

Thomas Nolte, Mälardalen University, Sweden 

Work-in-Progress Co-Chairs 

Javier Silvestre Blanes, Universitat Politčcnica de Valčncia, Spain 

Zoubir Mammeri, University of Toulouse 3, France 

Special Sessions Co-Chairs 

Dariusz Kościelnik, AGH University of Science and Technology, Poland 

John Gialelis, University of Patras, Greece 

Industry Day Chair 

Marek Natkaniec, AGH University of Science and Technology, Poland 

Workshops Day Co-Chairs 

Marek Florkowski, ABB Corporate Research Center, Poland 

Grzegorz Jacek Nalepa, AGH University of Science and Technology, Poland 

Finance Chairmen 

Marek Miśkowicz, AGH University of Science and Technology, Poland 

Richard Zurawski, ISA Group, USA 

Publication Chair 

Piotr Dziurdzia, AGH University of Science and Technology, Poland 

Publicity Chair 

Wojciech Maziarz, AGH University of Science and Technology, Poland 

ETFA Series Steering Committee: 

E. Dekenuvel, University of Nice, France 

J. M. Fuertes, UPC, Spain 

H. Fujita, University of Tokyo, Japan 

L. Gomes, UNINOVA, Portugal 

A. Grau, UPC, Spain 

F. Harashima, University of Tokyo, Japan 

Chang-Jin Kim, UCLA, USA 

S. Koubias, University of Patras, Greece 

K. Lee, University of Hawaii at Manoa, USA 

Z. Mammeri, University of Toulouse 3, France 

V. Marik, Czech Technical University in Prague, Czech Republic 

M. Marcos, University of Basque Country, Spain 

O. Mirabella, University of Catania, Italy 

J-M. Proth, INRIA Lorraine, France 

A. Weaver, University of Virginia, USA 

R. Zurawski, ISA Group (Chair) 


International Advisory Committee: 

Dietmar Dietrich, Vienna University of Technology, Austria 

Paul Drews, Director, European Center for Mechatronics, Germany (deceased) 

Sebastian Dormido, UNED, Spain 

Janusz Filipak, Comarch, Poland 

Wojciech Grega, AGH University of Science and Technology, Poland 

Mirosław Gryszka, ABB, Poland 

Hans Hansson, Maelardalen University, Sweden 

Edward Hrynkiewicz, Silesian University of Technology, Poland 

Ju-Jang Lee, KAIST, Korea 

Hermann Kopetz, Vienna University of Technology, Austria 

Tei-Wei Kuo, Taiwan National University, Taiwan 

Khiang-Wee Lim, Singapore National University, Singapore 

Maciej Ogorzałek, AGH University of Science and Technology, Poland 

Andrzej Pach, AGH University of Science and Technology, Poland 

Tadeusz Pisarkiewicz, AGH University of Science and Technology, Poland 

Ronald Schoop, Vice President Technology, Schneider Electric, Germany 

Françoise Simonot-Lion, INRIA, France 

Stefan Svensson, R&D Program Manager Industrial Communication, ABB, Sweden 

Krzysztof Wesołowski, Poznan University of Technology, Poland 

Józef Woźniak, Gdańsk University of Technology, Poland 

Adriano Valenzano, CNR/IEIIT, Italy 

Krzysztof Zieliński, AGH University of Science and Technology, Poland 

Local Committee: 

Marek Miśkowicz (Chair) 

Mariusz Bembenek 

Marek Jabłeka 

Witold Machowski 

Artur Rydosz 

Dominik Rzepka 

Zbigniew St. Sobków 

Barbara Swatowska 

Piotr Wydrych 

Track Co-Chairs 

Track 1 

Information Technology in Automation 

Georg Frey, Saarland University, Germany 

Marga Marcos, University of Basque Country, Spain 

Track 2 

Industrial Communication Systems 

Gianluca Cena, IEIIT- CNR, Italy 

Zdenek Hanzalek, Czech Technical University in Prague, Czech Republic 

Track 3 

Real-Time and (Networked) Embedded Systems 

Lucia Lo Bello, University of Catania, Italy 

Marco Di Natale, Scuola Superiore Sant’Anna, Italy 

Track 4 

Automated Manufacturing Systems 

Cristian Mahulea, University of Zaragoza, Spain 

Carla Seatzu, University of Cagliari, Italy 

Track 5 

Industrial Control 

Anton Cervin, Lund University, Sweden 

Grzegorz Granosik, Technical University of Lodz, Poland 

Track 6 

Computational Intelligence and Modern Heuristics in Automation 

Adam Slowik, Koszalin University of Technology , Poland 

Ireneusz Czarnowski, Gdynia Maritime University, Poland 

Track 7 

Intelligent Robots and Systems 

Antoni Grau, UPC, Spain 

Dariusz Pazderski, Poznan University of Technology, Poland 

Program Committee Members 

Adouane Lounis 

Ĺkerberg Johan 

Akiyoshi Masanori 

Alves Mario 

Anagnostopoulos Chris 

Andersson Björn 

Appold Christian 

Arabas Jaroslaw 

Araujo Rui 

Arellano-Garcia Harvey 

Arrieta Orlando 

Babulak Eduard 

Banaszak Zbigniew 

Barata Jose 

Baresi Luciano 

Bayart Mireille 

Behnam Moris 

Benitez Hector 

Bernardi Simona 

Berten Vandy 

Bertogna Marko 

Biffl Stefan 

Bini Enrico 

Björkman Mats 

Bocewicz Grzegorz 

LASMEA, France 

ABB Corporate Research, Sweden 

Osaka University, Japan 

Polytechnic Institute of Porto (ISEP/IPP), Portugal 

Greece 

Carnegie Mellon University, USA 

University of Wuerzburg, Germany 

Warsaw University of Technology, Poland 

Institute for Systems and Robotics (ISR-UC), Portugal 

Berlin Institute of Technology, Germany 

Universidad de Costa Rica, Costa Rica 

EU CORDIS, Canada 

Koszalin University of Technology, Poland 

Universidade Nova de Lisboa, Portugal 

DEI – Politecnico di Milano, Italy 

Universit de Lille – LAGIS CNRS, France 

MRTC/Mälardalen University, Sweden 

Universidad Nacional Autonoma de Mexico, Mexico 

Centro Universitario de la Defensa, Spain 

Universite Libre de Bruxelles, Belgium 

University of Modena, Italy 

Vienna University of Technology, Austria 

Scuola Superiore Sant’Anna, Italy 

Mälardalen University, Sweden 


10 17th IEEE International Conference on Emerging Technologies & Factory Automation 

11

Boimond Jean-Louis 

LISA – ISTIA – U. Angers, France 

Fantuzzi Cesare 

DISMI, Italy 

Bolea Yolanda 

Technical University of Catalonia, Spain 

Faure Jean-Marc 

LURPA – ENS de Cachan, France 

Brunelli Davide 

DISI – Universitŕ di Trento, Italy 

Fay Alexander 

Helmut Schmidt University Hamburg Institute of Automation 

Brzykcy Grazyna 

Poznan University of Technology, Poland 

Felgner Felix 

Saarland University, Germany 

Buchholz Peter 

University of Dortmund, Germany 

Felser Max 

Bern University of Applied Of Sciences, Switzerland 

Burget Pavel 

DCE-FEE/CTU Prague, Czech Republic 

Feng Gang 

City University of Hong Kong, Hong Kong 

Buttazzo Giorgio 


Ferrari Paolo 

University of Brescia, Italy 

Cabasino Maria Paola 

University of Cagliari, Italy 

Ferrarini Luca 

Politecnico di Milano, Italy 

Campos Javier 

University of Zaragoza, Spain 

Fisher Nathan 

Wayne State University, USA 

Castane Selga Rosa 

Germany 

Fonseca José Alberto 

University of Aveiro, Portugal 

Cavalieri Salvatore 

University of Catania, Italy 

Foundas Panos 

Greece 

Cavero Carlos 

ATOS, Spain 

Fraboul Christian 

ENSEEIHT/IRIT Toulouse, France 

Cena Gianluca 

CNR-IEIIT Torino, Italy 

Frey Georg 

Saarland University, Germany 

Cervin Anton 

Lund University, Sweden 

Fuente M. Jesus 

Universidad de Valladolid, Spain 

Chondros Petros 

Greece 

Fuertes Josep M. 


Chung Yun-Kung 

Yuan Ze University, Taiwan 

Garcia Valls Marisol 

University Carlos III of Madrid, Spain 

Cibrario Bertolotti Ivan 

CNR-IEIIT, Italy 

Gierusz Witold 

Gdynia Maritime University, Poland 

Cicchetti Antonio 


Giua Alessandro 

DIEE – University of Cagliari, Italy 

Coello Coello Carlos A. 

CINVESTAV-IPN, Mexico 

Göhner Peter 

Institute of Industrial Automation and Software Engineering, 

Cölln Gerd 

University of Applied Of Sciences Emden/Leer, Germany 

Golatowski Frank 

University of Rostock, Germany 

Colmenares William 

Universidad Simon Bolivar, Venezuela 

Gomes Luís 

Universidade Nova Lisboa / UNINOVA, Portugal 

Colom José Manuel 


Grabot Bernard 

ENIT, France 

Colombo Armando Walter 

University of Applied Of Sciences Emden/Leer, Germany 

Grau Antoni 

University of Catalonia, Spain 

Costa Paulo José 

FEUP, Portugal 

Grega Wojciech 

AGH University of Of Science and Technology, Poland 

Cota Erika 

UFRGS, Brasil 

Gude Juan Jose 

Universidad de Deusto, Spain 

Cucinotta Tommaso 

Scuola Superiore S. Anna – Pisa, Italy 

Hanisch Hans-Michael 

Martin-Luther-Universität Halle-Wittenberg, Germany 

Cucu-Grosjean Liliana 

INRIA Nancy-Grand Est, France 

Hansson Hans 


Czarnowski Ireneusz 

Gdynia Maritime University, Poland 

Hansson Jörgen 

Carnegie Mellon University, USA 

Demongodin Isabel 

LSIS – UMR CNRS 6168 – France, France 

Hanzalek Zdenek 

DCE-FEE / CTU in Prague, Czech Republic 

Dentsoras Argyris 

University of Patras, Greece 

Harrison Robert 

Loughborough University, United Kingdom 

Di Natale Marco 


Hintea Sorin 

Technical University of Cluj-Napoca, Romania 

Diedrich Christian 

ifak Magdeburg, Germany 

Houyou Amine 

Siemens AG, Corporate Research and Technologies, Germany 

Dobrin Radu 


Hsiu Pi-Cheng 

Academia Sinica, Taiwan 

Dotoli Mariagrazia 

DEE – Politecnico di Bari, Italy 

Huang Victor 

Better World Limited, USA 

Drechsler Rolf 

University of Bremen, Germany 

Jang Shi-Shang 

NTHUCHE, Taiwan 

Duch Wlodzislaw 

Nicolaus Copernicus University, Poland 

Jasperneite Juergen 

Institut Industrial IT/Fraunhofer IOSB-INA, Germany 

Dzung Dacfey 

ABB Switzerland Corporate Research, Switzerland 

Jedruch Wojciech 

Gdansk University of Technology, Poland 

Ebert Christof 

Vector, Germany 

Jin Hyun-Wook 

Konkuk University, Korea 

Epple Ulrich 

RWTH Aachen University, Germany 

Jonsson Magnus 

Halmstad University, Sweden 

Estévez Elisabet 

Universidad de Jaén, Spain 

Juanole Guy 

Université de Toulouse; LAAS-CNRS, France 

Fabian Martin 

Chalmers University of Technology, Sweden 

Julvez Jorge 

Universidad de Zaragoza, Spain 

Facchinetti Tullio 

University of Pavia, Italy 

Kabzinski Jacek 

Technical University of Lodz, Poland 

Fanti Maria Pia 

Politecnico di Bari, Italy 

Kacprzyk Janusz 

Polish Academy of Of Science, Poland 


13

Kalawsky Roy 

Kalaykov Ivan 

Kalogeras Athanasios 

Kasprzak Wlodzimierz 

Kastner Wolfgang 

Katebi Reza 

Kistler Rolf 

Kloetzer Marius 

Koumboulis Fotis 

Kowalczuk Zdzislaw 

Koziel Slawomir M. 

Kozlowski Krzysztof 

Kretowski Marek 

Kunert Kristina 

Kuo Tei-Wei 

Langendoerfer Peter 

Leităo Paulo 

Liu Honghai 

Lizarralde Fernando 

Lo Bello Lucia 

Lüder Arndt 

Maciá Francisco 

Mahulea Cristian 

Malinowski Krzysztof 

Mangini Agostino Marcello 

Manic Milos 

Marcos Marga 

Marinoni Mauro 

Martinez Herminio 

Matcovschi Mihaela 

Mazomenos Evangelos 

Medina Julio 

Merdan Munir 

Merseguer Jose 

Metzner Alexander 

Michalewicz Zbigniew 

Minet Pascale 

Mirabella Orazio 

Mok Aloysius 

Monteiro Joăo 

Morita Yoshifumi 

Mosse Daniel 

Murray Brian 

Loughborough University, United Kingdom 

Örebro University, Sweden 

Industrial Systems Institute, Patras, Greece 



University of Strathclyde, United Kingdom 

Lucerne University of Applied Of Sciences and Arts, Switzerland 

Universitatea Tehnica Gheorghe Asachi din Iasi, Romania 

Halkis Institute of Technology, Greece 


Reykjavik University, Iceland 


Bialystok University of Technology, Poland 

Halmstad University, Sweden 

National Taiwan University, Taiwan 

IHP, Germany 

Polytechnic Institute of Bragança, Portugal 

University of Portsmouth, United Kingdom 

Universidade Federal do Rio de Janeiro, Brasil 


Otto-von-Guericke University, Germany 

University of Alicante, Spain 



Politecnico di Bari, Italy 

University of Idaho, USA 

University of the Basque Country, Spain 



Technical University „Gh. Asachi” of Iasi, Romania 

United Kingdom 

Universidad de Cantabria, Spain 


Universidad de Zaragoza, Spain 

University of Applied Of Sciences Regensburg, Germany 

University of Adelaide, Austria 

INRIA, France 


University of Texas at Austin, USA 

University of Minho, Portugal 

Japan 

University of Pittsburgh, USA 

USA 

Music Gasper 

Navet Nicolas 

Neri Ferrante 

Neukirchner Moritz 

Ober Ileana 

Obermaisser Roman 

Obuchowicz Andrzej 

Ortega Romeo 

Ortiz Alberto 

Palenski Peter 

Palopoli Luigi 

Pantel Marc 

Paoli Andrea 

Papalambrou Andreas 

Passerone Roberto 

Pazderski Dariusz 

Pedreiras Paulo 

Pellizzoni Rodolfo 

Pereira Carlos Eduardo 

Pérez Federico 

Perkowski Marek 

Pettersson Paul 

Piegat Andrzej 

Pimentel Juan 

Piuri Vincenzo 

Portugal Paulo 

Proenza Julián 

Puaut Isabelle 

Punnekkat Sasikumar 

Raisch Joerg 

Rasconi Riccardo 

Reinisch Christian 

Reveliotis Spyros 

Riccobene Elvinia 

Richard Pascal 

Rocco Paolo 

Rodriguez-Navas Guillermo 

Rudie Karen 

Rutkowski Leszek 

Sánchez José 

Santinelli Luca 

Satorres Silvia 

Sauter Thilo 

University of Ljubljana, Slovenia 

University of Luxembourg, Luxembourg 

University of Jyvaskyla, Finland 

TU Braunschweig, Germany 

IRIT – Universite de Toulouse, France 

University of Siegen, Germany 

University of Zielona Góra, Poland 

LSS Supelec, France 

Spain 

Austrian Institute of Technology, Austria 

University of Trento, Italy 

IRIT/INPT, Université de Toulouse, France 

University of Bologna, Italy 

Greece 

University of Trento, Italy 


University of Aveiro, Portugal 

University of Waterloo, Canada 

Universidade Federal do Rio Grande do Sul, Brasil 

University of the Basque Country, Spain 

Portland State University, USA 


West Pomeranian University of Technology, Poland 

Kettering University, USA 

University of Milan, Italy 

University of Porto, Portugal 

University of the Balearic Islands, Spain 

University of Rennes / IRISA, France 


TU Berlin, Germany 

ISTC-CNR, Italy 


ISyE, Georgia Tech, USA 

DTI – University of Milan, Italy 

LISI.ENSMA, France 

Politecnico di Milano, Italy 

UIB, Spain 

Queen’s University, Canada 

Czestochowa University of Technology, Poland 

UNED, Spain 

INRIA Nancy, Italy 

University of Jaen, Spain 

Austrian Academy of Of Sciences, Austria 


15

Scherer Rafal 

Czestochowa University of Technology, Poland 

Velasco Manel 


Schwarz Michael 

University of Kassel, Germany 

Vilanova Ramon 

UAB, Spain 

Seatzu Carla 

University of Cagliari, Italy 

Visioli Antonio 

University of Brescia, Italy 

Seceleanu Cristina 


Vitturi Stefano 

CNR-IEIIT / University of Padova, Italy 

Sharbag Jean-Luc 

Université de Toulouse – IRIT – INP/ENSEEIHT, France 

Vogel-Heuser Birgit 

Technical University of Munich, Germany 

Shih Chi-Sheng 

National Taiwan University, Taiwan 

Voigt Thiemo 

SICS, Sweden 

Short Michael 

School of Of Science and Engineering, Teesside University, 

United Kingdom 

Voos Holger 

Voyiatzis Artemios 

University of Luxembourg, Luxemburg 

Industrial Systems Institute, Greece 

Sierla Seppo 

Simon Daniel 

Simonot-Lion Françoise 

Sjödin Mikael 

Slowik Adam 

Smierzchalski Roman 

Sojka Michal 

Sokolsky Oleg 

Song Ye-Qiong 

Sousa Mario 

Srinivasan Dipti 

Stan Sergiu-Dan 

Strasser Thomas 

Suganthan Ponnuthurai N. 

T.X. Phan Linh 

Tadeusiewicz Ryszard 

Tar Jozsef K. 

Tavares Adriano 

Tay Arthur 

Thiriet Jean-Marc 

Aalto University, Finland 

Inria Rhone-alpes, France 

LORIA-Nancy University, France 




Dresden University of Technology, Germany 

University of Pennsylvania, USA 

University of Lorraine – ENSEM Lab.: LORIA, France 

Porto University, Portugal 

National University of Singapore, Singapore 

Technical University of Cluj-Napoca, Romania 

AIT Austrian Institute of Technology, Austria 

Nanyang Technological University, Singapore 

University of Pennsylvania, USA 

AGH University of Of Science and Technology, Poland 

Óbuda University, Hungary 

University of Minho, Portugal 

National University of Singapore, Singapore 

France 

Vrba Pavel 

Vyatkin Valeriy 

Wang Dianhui 

Wang Shige 

Wegrzyn Marek 

Wehrmeister Marco Aurelio 

Wilamowski Bogdan M. 

Willig Andreas 

Wollschlaeger Martin 

Wozniak Michal 

Yager Ronald R. 

Yi Wang 

Zeng Haibo 

Zhou Mengchu 

Zimmermann Armin 

Zoitl Alois 

Zühlke Detlef 

Zunino Claudio 

Zurada Jacek 

Zuyev Alexander L. 

Czech Technical University in Prague, Czech Republic 

The University of Auckland, New Zeland 

La Trobe University, Austria 

GM RandD, USA 

University of Zielona Gora, Poland 

Brasil 

Auburn University, USA 

University of Canterbury, New Zeland 


Wroclaw University of Technology, Poland 

Iona College, USA 

Uppsala University, Sweden 

McGill University, Canada 

New Jersey Institute of Technology, USA 

Technische Universitaet Ilmenau, Germany 


DFKI GmbH / IFS, Germany 

CNR-IEIIT, Italy 

University of Louisville, USA 

Ukraine 

Thramboulidis Kleanthis 

University of Patras, Greece 

Torres Fernando 

Spain 

Tovar Eduardo 

Institute Polytechnic of Porto, Portugal 

Trawinski Bogdan 

Wroclaw University of Technology, Poland 

Treytl Albert 

Austrian Academy of Of Sciences,, Austria 

Trsek Henning 

Institut lndustrial IT, Lemgo, Germany 

Trujillo Salvador 

IKERLAN-IK4 Research Centre, Spain 

Tucci Sara 

CEA LIST, France 

Urbas Leon 

Technische Universität Dresden, Germany 

Ureńa Jesus 

University if Alcala, Spain 

Valentini Antonio 

O3neida Europe, Belgium 

Vardanega Tullio 

University of Padua, Italy 

Vasques Francisco 

University of Porto, Portugal 

Vasyutynskyy Volodymyr 


Vázquez Francisco 

Universidad de Córdoba, Spain 


17

Rooms 

08:30–09:00 

09:00–10:00 

Monday, 17 September 2012 

A 

Registration 

(Registration Desk) 

A Perspective On The Use Of WiFi In Industrial Automation 

Gianluca Cena, Director of Research, Istituto di Elettronica e di Ingegneria 

dell’Informazione e delle Telecomunicazioni (IEIIT- CNR), Italy 

10:00–10:30 Coffee break 

10:30–11:30 

11:30–12:30 

The Reality of Wireless Real-time – Wireless Networks In Automation 

Andreas Köpke, President Technology and Innovation, Siemens AG, Germany 

Prerequisites For A Widespread Adoption Of Wireless In Factory 

And Industrial Automation 

Stefan Svensson, World-Wide Manager for the Industrial Communication Program, 

ABB Corporate Research, Sweden 

12:30–13:30 Lunch break 

13:30–14:30 

14:30–15:30 

Convergent Networks Incorporating Wireless And Wired Networks 

Karl Weber, Fraunhofer, Germany na TÜV SÜD AG, Germany 

Wireless Technologies and Solutions in Factory and Industrial Automation 

Ronald Schoop, Vice-President Architectures & Platforms, Schneider Electric, 

Germany 


16:00–17:00 Panel discussion 

17:00–18:00 Coctail party 

Tuesday, 18 September 2012 


12:00–13:00 

Mastering Complexity in Heterogenous Industrial Systems 

– Ronald Schoop 

Room A 


14:00–15:30 Track1-2 Track2-2 Track3-2 SS06-1 WIP 5 WIP6&7+2.1 

15:30–16:00 Coffee break + Discussion at posters 

16:00–17:00 

Computers and the Marine World – Kai Hansen 

Room A 

17:00–20:00 Guided Tour in Old City including visit in Jagiellonian University Museum 

20:00–22:00 Welcome Reception – Main Market Square (Gallery of Art in Sukiennice) 

Wednesday, 19 September 2012 

Rooms A B C D E F 

09:00–10:30 Track1-3 Track2-3 Track3-3 SS06-2 Track5-2 Track 6-1 


11:00–12:00 

Formal performance analysis in industrial practice – lessons learned 

from automotive design – Rolf Ernst 

Room A 

12:00–13:00 Track1-4 Track2-4 Track3-4 Track4-1 Track5-3 Track 6-2 


14:30–16:00 Track1-5 SS05 Track3-5 Track4-2 WIP 3.1 WIP 2.2&1.1 

16:00–17:00 Coffee break + Discussions at posters 

18:30–23:30 Guided Tour and Conference Banquet in Wieliczka Salt Mine 


08:00–09:00 

Registration 


09:00–11:00 Track1-1 Track2-1 Track3-1 SS09 Track5-1 SS01 

11:00–11:30 

Opening Ceremony 

Room: A 


19

Thursday, 20 September 2012 


09:00–10:30 Track7-1 WIP4+2.3 Track3-6 WIP 1.2 Track5-4 WIP 3.2 

10:30–11:00 Coffee break + Discussions at posters 

11:00–12:00 

Computational Intelligence Methods for Factory Automation and 

Industrial Applications – Jacek M. Zurada 

Room A 

12:00–13:00 Track 7-2 SS02-1 SS07-1 Track4-3 SS04-1 Track 6-3 


14:00–15:30 SS02-2 SS08 SS07-2 Track4-4 SS04-2 Track 6-4 

15:30–16:00 

Closing Ceremony 

Room A 

18:30–20:00 Guided Tour in Underground of the Main Market Square 

Friday, 21 September 2012 

Rooms A B C 

08:30–09:00 

09:00–10:30 

Registration 


iATPA-1 SOCNE-1 4DIAC-1 

Workshop Workshop Workshop 


11:00–12:30 

iATPA-2 SOCNE-2 4DIAC-2 

Workshop Workshop Workshop 

12:30–14:00 Lunch 

Speakers: 

Gianluca Cena 

Monday, 17 September 2012 

Wireless technologies in factory and industrial automation: 

state of the arts and emerging trends. 

Director of Research, Istituto di Elettronica e di Ingegneria dell’Informazione e delle 

Telecomunicazioni (IEIIT- CNR), Italy 

Andreas Koepke 

Vice President Technology and Innovation Siemens AG 

Ronald Schoop 

Vice-President Architectures & Platforms, Schneider Electric, Germany 

Stefan Svensson 

World-Wide Manager for the Industrial Communication Program, ABB Corporate Research, Sweden 

Karl Weber 

Fraunhofer, Germany 

Tuesday, 18 September 2012 

Track 1-1 (Room A, 120 min): PLC languages 

Co-chairs: Rainer Drathanand and Georg Frey 

An ISA88 Phase in IEC 61131-3 Code Based on the Concepts 

of a Normalized Flow Element 

Dirk van der Linden, Wolfgang Kastner and Herwig Mannaert 

Product Metrics for IEC 61131-3 languages 

Anil Nair 

Data-Type Checking of IEC61131-3 ST and IL Applications 

Mario de Sousa 

Opportunities and Challenges of Static Code Analysis of IEC 61131-3 Programs 

Herbert Praehofer, Florian Angerer, Rudolf Ramler, Hermann Lacheiner and Friedrich Grillenberger 

„Safety Automata” – A new Specification Language for the Development of PLC Safety 

Applications 

Georg Frey, Rainer Drath, Bastian Schlich and Robert Eschbach 


21

Track 2-1 (Room B, 120 min): High-Level Protocols and WiFi 

Co-chairs: Ivan Cibrario Bertolott and Juergen Jasperneite 

A Method to Construct Network Traffic Models for Process Control Systems 

Inaki Garitano, Christos Siaterlis, Bela Genge, Roberto Uribeetxeberria and Urko Zurutuza 

Communication and Information Engineering of FDI Equipment Packages 

Stefan Theurich, Markus Stoss, Martin Wollschlaeger and Leon Urbas 

A Time-Triggered Data Distribution Service for FTT-CORBA 

Adrian Noguero and Isidro Calvo 

Tuning of IEEE 802.11 MAC for Improving Real-Time in Industrial Wireless Networks 

Lucia Seno, Federico Tramarin and Stefano Vitturi 

Comparing RT-WiFi and HCCA approaches to Handle Real-Time Traffic in Open 

Communication Environments 

Robson Costa, Paulo Portugal, Francisco Vasques and Ricardo 

Track 3-1 (Room C, 120 min): Time and Schedulability Analysis 

and Design for Real-Time 

Co-chairs: Michael Short and Lucia Lo Bello 

Numerically Efficient Probabilistic Guarantees for Resource Reservations 

Nicola Manica, Luigi Palopoli and Luca Abeni 

Response Time bounds for Static-Priority Tasks and Arbitrary Relative Deadlines with 

Resource Augmentation 

Pascal Richard, Georges Kemayo, Frederic Ridouard, Emmanuel Grolleau and Thi Huyen Chau 

Nguyen 

Efficiency Evaluation of Overhead Control Heuristics in DP-Fair Multiprocessor Scheduling 

Muhammad Naeem Shehzad, Anne Marie Deplanche and Yvon Trinquet 

Schedulability Analysis for a Combination of Non-Preemptive Strict Periodic Tasks and 

Preemptive Sporadic Tasks 

Mohamed Marouf, Laurent George and Yves Sorel 

Target-Sensitive Systems: Analysis and Implementation Issues 

Giorgio Buttazzo, Carmelo Di Franco and Mauro Marinoni 

Optimizing Stack Memory Requirements for Real-Time Embedded Applications 

Haibo Zeng, Marco Di Natale and Qi Zhu 

SS09 (Room D, 120 min): Closed-Loop Modelling for Design and 

Validation of Reactive Systems in Discrete Control 

Co-chairs: Valeriy Vyatkin and Dariusz Kościelnik 

Formal Verification of Intelligent Mechatronic Systems with Decentralized Control Logic 

Sandeep Patil, Valeriy Vyatkin and Majid Sorouri 

Closed-loop System Modeling, Validation, and Verification 

Sebastian Preusse, Hans-Christian Lapp and Hans-Michael Hanisch 

State-Vector Transition Model Applied to Supervisory Control 

Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian and Knut 

Akesson 

Hierarchical and Distributed Discrete Event Control of Manufacturing Processes 

Olaf Stursberg 

Coupling Timed Plant and Controller Models without Introducing Dead-Locks 

Matthieu Perin and Jean-Marc Faure 

Track 5-1 (Room E, 120 min): Control Performance Assessment 

Co-chairs: Ramon Vilanova and Jerome Mendes 

Performance Monitoring of PID Controllers Through Unfalsified Control Theory 

Daniel Gomez, Jose R. Janeiro, Enrique Baeyens and Eduardo J. Moya 

Generation of Multiplatform Control for Transitic Systems using a Component-Based 

Approach 

Romain Bevan, Mickael Adam, Pascal Berruet, Florent de Lamotte, Olivier Cardin and Pierre 

Castagna 

On the Disturbance Decoupling of Linear Singular Multi-Delay Systems 

Fotis Koumboulis 

Set-Point Weight Selection for Robustly Tuned PI/PID Regulators for Over Damped 

Processes 

Victor Alfaro and Ramon Vilanova 

Conversion Formulae and Performance Capabilities of Two-Degree-of-Freedom PID 

Control Algorithms 

Victor Alfaro and Ramon Vilanova 


23

SS01 (Room F, 120 min): Distributed and Autonomous Intelligent 

Systems 

Co-chairs: Thomas Strasser and Alois Zoitl 

Test-Driven Agent-Oriented Software Development 

Munir Merdan, Pavel Vrba and Martin Melik-Merkumians 

Towards an Increased Reusability of Distributed Control Applications Modeled in IEC 

61499 

Ingo Hegny, Thomas Strasser, Martin Melik-Merkumians, Monika Wenger, and Alois Zoitl 

Towards OPC UA as Portable SOA Middleware Between Control Software and External 

Added Value Applications 

Martin Melik-Merkumians, Thomas Baier, Michael Steinegger, Wilfried Lepuschitz, Ingo Hegny and 

Alois Zoitl 

Deployment of Multi-agent Systems for Industrial Applications 

Arnaldo Pereira, Nelson Rodrigues and Paulo Leitao 

Semantics for Self-configurable Distributed Diagnostics 

Vaclav Jirkovsky, Petr Kadera and Pavel Vrba 

Keynote 1 (Room A) 

Mastering Complexity in Heterogenous Industrial Systems 

Ronald Schoop Schneider Electric AG, Germany 

Track 1-2 (Room A, 90 min): Process Modeling 

Co-chairs: Andreas Schüller and Alexander Fay 

PandIX – Exchanging P&I diagram model data 

Andreas Schueller and Ulrich Epple 

Concept for managing multiple semantics with AutomationML- maturity level concept of 

semantic standardization 

Rainer Drath and Mike Barth 

An NA 114 Conformant Support System for Automatic Generation of Communication 

Structures 

Falk Doherr and Leon Urbas 

Modeling Change and Structural Dependencies of Automation Systems 

Markus Goring and Alexander Fay 

Track 2-2 (Room B, 90 min): Wireless Communication 

Co-chairs: Roman Obermaisser and Michael Short 

MS-Aloha: Preliminary Analysis of Its Suitability for Wireless Automation 

Hector Agustin Cozzetti, Daniele Brevi, Riccardo Scopigno, Paolo Ferrari, Emiliano Sisinni and 

Alessandra Flammini 

Implementation of WirelessHART in NS-2 Simulator 

Pouria Zand, Paul Havinga and Arta Dilo 

Predictive Opportunistic Spectrum Access Using Markov Models 

Kaleem Ahmad, Uwe Meier and Stefan Witte 

MC-EDF: A Control-Channel based Wireless Multichannel MAC Protocol with Real-Time 

Support 

Magnus Jonsson and Kristina Kunert 

Track 3-2 (Room C, 90 min): Wireless Networks 

Co-chairs: Stefano Dalpez and Marco Di Natale 

Validation of Performance Data using Experimental Verification Process in Wireless 

Sensor Network 

Tiong Hoo Lim, Iain Bate and Jon Timmis 

WBuST: a Real-Time Energy-Aware MAC layer Protocol for Wireless Embedded Systems 

Gianluca Franchino and Giorgio Buttazzo 

Priority Handling Aggregation Technique (PHAT) for Wireless Sensor Networks 

Dimitris Tsitsipis, Sofia Maria Dima, Angeliki Kritikakou, Christos Panagiotou, John Gialelis, Harris 

Michail and Stavros Koubias 

Performance Enhancement in WSN through Data Cache Replacement Policies 

Christos Panagiotou, Christos Antonopoulos and Stavros Koubias 

SS06-1 (Room D, 90 min): Mechatronical Engineering 

Co-chairs: Arndt Lüder and John Gialelis 

Development of a method for the implementation of interoperable tool chains applying 

mechatronical thinking – Use case engineering of logic control 

Arndt Lüder and Lorenz Hundt 

ISO 15926 vs. IEC 62424 – Comparison of Plant Structure Modeling Concepts 

Thomas Holm, Lars Christiansen, Markus Göring, Tobias Jäger and Alexander Fay 

Domain Dependant Matching of MES Knowledge and Domain Independent Mapping of 

Automation ML Models 

Miriam Schleipen, Dirk Gutting and Franziska Sauerwein 


25

WIP 5 (Room E, 90 min) 

Co-chairs: Pascal Richard and Javier Silvestre-Blanes 

An Approach for a Component-based Visualization of Heterogeneous Manufacturing 

Data Sources 

Stefan Hesse, Martin Rosjat, Drazen Nadoveza and Vojtech Kresl 

Improvement on Control Performance using FPGAs over Software-based Platforms 

Marco Santos and Jorge Ferreira 

Safety Critical Supervision for Steel Industry Robotic Applications 

Paolo Demetlika, Fulvio Romano, Gianfranco Fenu, Andrea Paoli and Luca Cicognani 

Fault detection for Sequential Interindustry Models 

Panagiotis Arsenos, Dimitrios Fragkoulis and Fotis Koumboulis 

Control Toolbox for Industrial Programmable Analog Controller – Embedding State 

Feedback Controller 

Adam Pilat 

An Approach to Identification Procedures for PID Control with PLC Implementation 

Jiri Kocian, Jiri Koziorek and Stepan Ozana 

On the Anti-windup Schemes for Fractional-order PID Controllers 

Antonio Visioli, Fabrizio Padula and Manuel Pagnoni 

Optimal Control in the Presence of State Uncertainty 

Milton Cunguara, Tomas Silva and Paulo Pedreiras 

Direct Deployment of Component-Based Automation Systems 

Xiangjun Kong, Bilal Ahmad, Robert Harrison, Youngsaeng Park and Leslie Lee 

PI+CI tuning for integrating plus deadtime systems 

Miguel Angel Davo and Alfonso Banos 

A Test Facility for Experimental HIL Analysis of Industrial Embedded Control Systems 

Fathi Abugchem, Michael Short and Donglai Xu 

Force Control Approach for the Automation of Cashew-Shelling Operation 

Naoki Uchiyama, Hirofumi Yamanaka, Shigenori Sano, Phat Minh Ho and Son Doan Tran 

Design and Experimental Evaluation of an Extended Data-Driven PID Controller 

Shinichi Imai and Toru Yamamoto 

Studies on the Yarn Mass Parameters Determination using Image Processing Techniques 

Nuno Goncalves, Vitor Carvalho, Filomena Soares and Rosa Vasconcelos 

WIP 6&7 + WIP 2.1 (Room F, 90 min) 

Co-chairs: Luiz Affonso and Zoubir Mammeri 

Design, Implementation and Evaluation of a Hybrid Approach for Software Agents in 

Automation 

Sebastian Ulewicz, Daniel Schuetz and Birgit Vogel-Heuser 

Fixed-budget Kernel Least Mean Squares 

Dominik Rzepka 

Artificial Neural Network Approach for Detection and Diagnosis of Valve Stiction 

Allan R. S. Venceslau, Luiz Affonso Guedes and Diego Silva 

Proposal of Automation of the Collaborative Modeling and Evaluation of Business 

Processes Using a Semantic Wiki 

Grzegorz J. Nalepa, Krzysztof Kluza and Urszula Ciaputa 

Proposal of a Rule-Based Testing Framework for the Automation of the Unit Testing 

Process 

Grzegorz J. Nalepa and Krzysztof Kaczor 

Agent-based Approaches for Exploration and Pathfinding in Unknown Environments 

Matthias Becker, Florian Blatt and Helena Szczerbicka 

Interactive 3D Scan-Matching Using RGB-D Data 

Pedro Vieira and Rodrigo Ventura 

Development of Robotic Solutions for Oil/Gas, Aluminum and Manufacturing Industry 

Ingrid Schjolberg 

L-PTP: a Novel Clock Synchronization Protocol for Powerline Networks 

Lucia Lo Bello, Antonio Raucea, Gaetano Patti and Orazio Mirabella 

Towards IEEE 802.1 Ethernet AVB for Advanced Driver Assistance Systems: a preliminary 

assessment 

Giuliana Alderisi, Giancarlo Iannizzotto and Lucia Lo Bello 

An FPGA based Approach for the Enhancement of COTS Switch ASICs with Real-Time 

Ethernet Functions 

Holger Flatt, Sebastian Schriegel, Jurgen Jasperneite and Frank Schewe 

A Software Tool for Efficient Configuration of EtherCAT Networks 

Mladen Knezic, Branko Dokic and Zeljko Ivanovic 

A Stochastic Activity Networks Model for the Performance Evaluation of the KNXnet/IP 

Flow Control Mechanism 

Salvatore Cavalieri and Ferdinando Chiacchio 


27

Multicasting for Cascaded Fault-Tolerant Wireless Networked Control Systems in Noisy 

Industrial Environments 

Yomna El Faramawy, Mohamed Ibrahim, Hassan Halawa, Ahmed Elhamy, Ehab Abdel Reheem, Tarek 

Refaat, Ramez Daoud and Hassanein Amer 

Computers and the Marine World 

Kai Hansen, ABB 


Wednesday, 19 September 2012 

Track 1-3 (Room A, 90 min): Automation Architecturs 

Co-chairs: Susanne Rösch and Leon Urbas 

Beyond App-Chaining: Mobile App Orchestration for Efficient Model Driven Software 

Generation 

Jens Ziegler, Markus Graube, Johannes Pfeffer and Leon Urbas 

Evaluation of the Openness of Automation Tools for Interoperability in Engineering Tool 

Chains 

Mike Barth, Rainer Drath, Alexander Fay, Florian Zimmer and Karin Eckert 

Fault-Centric System Modeling using SysML for Reliability Testing 

Andreas Thoma, Benjamin Kormann and Birgit Vogel-Heuser 

Data Distribution Service for Industrial Automation 

Jinsong Yang, Kristian Sandstrom, Thomas Nolte and Moris Behnam 

Track 2-3 (Room B, 90 min): CAN & RTE 

Co-chairs: Paulo Portugal and Julian Proenza 

Performance Comparison of Mechanisms to Reduce Bit Stuffing Jitters in Controller Area 

NetworksAutomation 

Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu and Adriano Valenzano 

Dynamic Configuration of a Time-Triggered Router for Controller Area Network 

Roland Kammerer, Roman Obermaisser and Bernhard Froemel 

Performance Evaluation and Improvement of the CPU-CAN Controller Interface for Low- 

Jitter Communication 

Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu and Adriano Valenzano 

Improved Architecture for Profinet IRT devices 

Christoph Felser, Max Felser and Hassan Kaghazchi 

Track 3-3 (Room C, 90 min): Real-Time Networks 

Co-chairs: Rolf Ernst and Magnus Jonsson 

An Improved Timed Automata Approach for Computing Exact Worst-Case Delays of AFDX 

Sporadic Flows 

Muhammad Adnan, Jerome Ermont, Jean-Luc Scharbarg and Christian Fraboul 

Frame Packing Strategy within Gateways for Multi-Cluster Avionics Embedded Networks 

Hamdi Ayed, Ahlem Mifdaoui and Christian Fraboul 

Schedulability Analysis of Multi-Packet Messages in Segmented CAN 

Ekain Azketa, Javier Gutierrez, Michael Gonzalez Harbour, Carlos Palencia, Luis Almeida and Marga 

Marcos 

Worst-Case Response-Time Analysis for Mixed Messages with Offsets in Controller Area 

Network 

Saad Mubeen, Jukka Maki-Turja and Mikael Sjodin 

SS06-2 (Room D, 90 min): Mechatronical Engineering 

Co-chairs: Thomas Moser and Arndt Lüder 

Extending Mechatronic Objects for Automation Systems Engineering in Heterogeneous 

Engineering Environments 

Thomas Moser, Richard Mordinyi and Dietmar Winkler 

Residual Load Sway Suppression for Rotary Cranes Using Simple Dynamics Model and 

S-Curve Trajectory 

Shigenori Sano, Huimin Ouyang, Naoki Uchiyama 

Potentials of Mechatronic Objects for Improving Mechatronic Engineering: Results and 

Insights from an Online Survey 

Adrian Koehlein, Birthe Boehm, Juergen Elger, Norbert Gewald, Fritz Stallinger, Robert Neumann, 

Reinhold Ploesch and Peter Hehenberger 

Track 5-2 (Room E, 60 min): Process Modeling and Control I 

Co-chairs: Juan J. Gude and Fotis Koumboulis 

Multiregional PI Control Strategy for Dissolved Oxygen and Aeration System Control at 

Biological Wastewater Treatment Plant 

Robert Piotrowski and Adam Zawadzki 

Nonlinear Fuzzy Control of the Dissolved Oxygen in Activated Sludge Processes 

Adam Zawadzki and Robert Piotrowski 

Fuzzy Model Predictive Control for Nonlinear Processes 

Jerome Mendes and Rui Araujo 


29

Track 6-1 (Room F, 90 min): Scheduling, Simulation and 

Optimization 

in Automation 

Co-chairs: Grzegorz Bocewicz and Francisco Souza 

Solving a Multiobjective Job Shop Scheduling Problem using Pareto Archived Cuckoo 

Search 

Samer Hanoun, Doug Creighton, Saeid Nahavandi and Hans Kull 

Simulation Based Forecast of Supermarket Sales 

Clemens Schwenke, Volodymyr Vasyutynskyy, Johannes Ziegenbalg and Klaus Kabitzsch 

A Scheduling Method of Air Conditioner Operation using Workers Daily Action Plan 

towards Energy Saving and Comfort at Office 

Katsunori Sato, Masaki Samejima, Masanori Akiyoshi and Norihisa Komoda 

A Multi-Population Genetic Algorithm Approach for PID Controller Auto Tuning 

Claudio Fabiano Motta Toledo, Joao Miguel G. Lima and Marcio Da Silva Arantes 


Formal performance analysis in industrial practice – lessons learned from automotive 

design 

Rolf Ernst, Technical University of Braunschweig, Germany 

Track 1-4 (Room A, 60 min): Knowledge-Based Systems 

Co-chairs: Alois Zoitl and Klaus Kabitzsch 

Rule-Driven Manufacturing Control Based On Ontologies 

Andre Gellrich, Daniel Lunkwitz, Alexander Dennert and Klaus Kabitzsch 

Automated Code Generation for Programmable Logic Controllers based on Knowledge 

Acquisition from Engineering Artifacts: Concept and Case Study 

Michael Steinegger and Alois Zoitl 

Track 2-4 (Room B, 60 min): Wireless Sensor Networks 

Co-chairs: Mikael Sjodin and Wolfgang Kastner 

A Dynamic Communication Approach for Data Fusion in IEEE 802.15.4 Wireless Sensor 

Networks 

Gerson Budke, Carlos Montez, Ricardo Moraes and Paulo Portugal 

TDMA Proposals for Wireless Sensor Networks for Highly Reliable and Energy Efficient 

Data Collection in an Industrial Application 

Achim Berger, Albert Poetsch and Andreas Springer 

Guaranteed Time Slot Allocation for Periodic Messages with (m,k)-firm Constraints in IEEE 

802.15.4 Networks 

Tiago Semprebom, Carlos Montez, Gustavo Zomer and Francisco Vasques 

Track 3-4 (Room C, 60 min): Instrumentation, Sensing and Physical 

Systems Control 

Co-chairs: Luigi Palopoli and Marco Di Natale 

Program Transformation for Time-Aware Instrumentation 

Hany Kashif and Sebastian Fischmeister 

Feedback Scheduling of Real-Time Physical Systems with Integrator Dynamics 

Marco L. Della Vedova and Tullio Facchinetti 

Design of an Innovative Proximity Detection Embedded-System for Safety Application in 

Industrial Machinery 

Stefano Dalpez, Alessandro Vaccari, Roberto Passerone and Alberto Penasa 

Track 4-1 (Room D, 45 min): Multi-agent Systems and Simulation 

Co-chairs: Mariagrazia Dotoli and Cristian Mahulea 

Multi-Agent Model of a Sample Transport System for Modular IVD Laboratories 

Lluis Ribas-Xirgo, Antonio Miro-Vicente, Ismael Fabricio Chaile and A. Josep Velasco-Gonzale 

Efficient Geometrical Simulation and Virtual Commissioning Performed in Stamping 

Nima K. Nia, Fredrik Danielsson and Bengt Lennartson 

Track 5-3 (Room E, 60 min): Process Modeling and Control II 

Co-chairs: Antoni Grau and Timo Vepsäläinen 

Kappa-Tau Type PI Tuning Rules for Specified Robust Levels: the Frequency Response Method 

Juan J. Gude and Evaristo Kahoraho 

Robust Control Algorithms for a Hydraulic Actuator with Variable Displacement Vane Pump 

Michael Skarpetis, Fotis Koumboulis and Achileas Ntellis 

Current-Mode One-Cycle Control Applied to Linear-Assisted DC/DC Converters 

Herminio Martinez-Garcia, Antoni Grau-Saldes and Yolanda Bolea-Monte 

Track 6-2 (Room F, 60 min): Scheduling and Optimization 

in Automation 

Co-chairs: Włodzisław Kasprzak and Dominik Rzepka 

Evolutionary Fuzzy Models for Nonlinear Identification 

Jerome Mendes, Samuel Pinto, Rui Araujo and Francisco Souza 


31

A Declarative Approach to Cyclic Processes Coupling and Scheduling 

Grzegorz Bocewicz, Banaszak Zbigniew and Nielsen Izabela 

An Online Variable Selection Method using Recursive Least Squares 

Francisco Souza and Rui Araujo 

Track 1-5 (Room A, 60 min): Information Technology in 

Automation – Applications 

Co-chairs: Mario Sousa and Nuno Cardoso 

An Agile Software Product Line Model-Driven Design Environment\\ for Video 

Surveillance Systems 

Nuno Cardoso, Pedro Rodrigues, oscar Ribeiro, Jorge Cabral, Joao Monteiro, Jose Mendes and 

Adriano Tavares 

Layered Architecture for Production and Logistics Cockpits 

Volodymyr Vasyutynskyy, Christian Hengstler, Jessica McCarthy, Karl G. Brennan, Dražen Nadoveza 

and Alexander Dennert 

Data Synchronization with Conflict Resolution for RFID Track and Trace 

Chi Xu, Wei He, Yintai Ao, Nengsheng Zhang, Wendong Xiao, Tieyan Li and Xuejian Xiao 

SS05 (Room B, 90 min): Industrial Applications of Emerging 

Automation Paradigms and Technologies 

Co-chairs: Gerd von Cölln and Rolf Behrens 

Model Based Debugging and Testing of Embedded Systems Without Affecting the 

Runtime Behaviour 

Michael Spieker, Arne Noyer, Padma Iyenghar, Gert Bikker, Juergen Wuebbelmann and Clemens 

Westerkamp 

Industrial Evaluation of Process Control using Non-Periodic Sampling 

Tommy Norgren, Jonathan Styrud, Alf Isaksson, Johan Ĺkerberg and Thomas Lindh 

Knowledge-Based Mobile Remote Engineering for Maintenance Processes 

Rolf Behrens, Clemens Westerkamp, Holger Speckmann and Wolfgang Bisle 

Context Aware Decision Support for Mobile Participants of Distributed Production 

Processes 

Holger Kremer, Clemens Westerkamp and Julian Quindt 

Track 3-5 (Room C, 90 min): Distributed Systems 

Co-chairs: Jean-Luc Scharbarg and Tullio Facchinetti 

A Distributed Load Balancing Approach for Industrial IEEE 802.11 Wireless Networks 

Mario Collotta, Giovanni Pau, Valerio Mario Salerno and Gianfranco Scatŕ 

A User Space EtherCAT Master Architecture for Hard Real-Time Control Systems 

Marco Cereia and Stefano Scanzio 

A Hierarchical Transaction Concept for Runtime Adaptation in Real-time, Networked 

Embedded Systems 

Christian Prehofer and Marc Zeller 

A Code Generation Framework for Distributed Real-Time Embedded Systems 

Mario Bambagini and Marco Di Natale 

Track 4-2 (Room D, 90 min): Verification and Fault Diagnosis 

Co-chairs: Lluís Ribas-Xirgo and Carla Seatzu 

IGBT Fault Detection for Three Phase Motor Drives using Neural Networks 

Marjan Alavi, Ming Luo, Danwei Wang and Haonan Bai 

Planning in Assembly Systems – A Common Modeling for Products and Resources 

Julien Provost, Bengt Lennartson, Martin Fabian, Ĺsa Fasth and Johan Stahre 

Compositional Verification of Material Handling Systems 

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek and Jens Schonherr 

On Evaluation of Alternative Switching Strategies for Energy-Efficient Operation of 

Modular Factory Automation Systems 

Sebastian Mechs, Steffen Lamparter and Jorg P. Muller 

WIP 3.1 (Room E, 90 min) 

Co-chairs: Tullio Facchinetti and Zoubir Mammeri 

A Self-Configuration Protocol for a Cover Made of Smart Tiles 

Guido Benetti and Tullio Facchinetti 

Bandwidth Measurement using Performance Counters for Predictable Multicore Software 

Rafia Inam, Mikael Sjodin and Marcus Jagemar 

Towards using the Graphics Processing Unit (GPU) for Embedded Systems 

Daniel Hallmans, Mikael Ĺsberg and Thomas Nolte 

Enhancing the Generation of Correct-by-Construction Code from Design Models for 

Complex Embedded Systems 

Federico Ciccozzi and Mikael Sjodin 

FPGA Based Hardware Accelerator for Calculations of the Parallel Robot Inverse Kinematics 

Konrad Gac, Grzegorz Karpiel and Maciej Petko 

Analysis of Real-Time Systems using Convolution of Probability Mass Function 

Stanisław Wideł, Jarosław Flak, Piotr Gaj and Arkadiusz Jestratjew 


33

A Distributed Scheduling Algorithm for Real-time (D-SAR) Industrial Wireless Sensor and 

Actuator Networks 

Pouria Zand, Supriyo Chatterjea, Jeroen Ketema and Paul Havinga 

Timing Analysis of Mixed-Criticality Hard Real-Time Applications Implemented on 

Distributed Partitioned Architectures 

Sorin Ovidiu Marinescu, Domitian Tamas-Selicean, Vlad Acretoaie and Paul Pop 

Wireless Locating and Data Communication in Harsh Industrial Environments 

Tilman Leune, Thorsten Wehs, Gerd von Colln, Carsten Koch and Manuel Janssen 

A Software-Defined Radio Implementation of an 802.11 OFDM Physical Layer Transceiver 

Giammarco Zacheo, Aljosa Dorni, Dragan Djukic, Fulvio Babich and Fabio Ricciato 

A Hybrid EDF Algorithm for Implementing Resource-Constrained Real-Time Control 

Applications 

Fathi Abugchem, Michael Short and Donglai Xu 

HSR and PROFINET IRT Bandwidth Management in Generic Embedded Systems 

Matthias May, David Ganz and Hans Dermot Doran 

WIP 2.2 & WIP 1.1 (Room F, 90 min) 

Co-chairs: Gianluca Cena and Javier Silvestre-Blanes 

The Reference-Broadcast Infrastructure Synchronization Protocol 

Gianluca Cena, Stefano Scanzio, Adriano Valenzano and Claudio Zunino 

Design and Verification of Simulation Models of Passive Houses 

Petr Novak and Radek Sindelar 

Virtual Industrial Ethernet Devices for Testing Purposes 

Stefan Matzler, Robert Lehmann, Stefan Theurich, Alexander Dennert and Martin Wollschlaeger 

Packet-Based Time-Critical Medium Access for a Process-Oriented Deterministic Bus 

System 

Klaus-Peter Kirchner, Andreas Fink, Matthias Voss and Helmut Beikirch 

Developing TOBE-CAN: Total Order Broadcast Enforcement in CAN 

Manuel Barranco and Julian Proenza 

Using FTT and Stars to Simplify Node Replication in CAN-Based Systems 

Julian Proenza, Manuel Barranco, Joan Llodrŕ and Luis Almeida 

A First Qualitative Evaluation of Star Replication Schemes for FTT-CAN 

David Gessner, Manuel Barranco, Julian Proenza and Michael Short 

A Distributed Intrusion Detection System for Industrial Automation Networks 

Franka Schuster and Andreas Paul 

Impact of Mobility on the Management and Performance of WirelessHART Industrial 

Communications 

Sergio Montero, Javier Gozalvez, Miguel Sepulcre and Gonzalo Prieto 

Experimental RSSI-based Localization System using Wireless Sensor Networks 

Jose Antonio Palazon, Javier Gozalvez, Miguel Sepulcre and Gonzalo Prieto 

Better, Faster, Cheaper, and Safer Too – Is This Really Possible 

Iain Bate, Hans Hansson and Sasikumar Punnekkat 

Design of a Mechatronic System for Human Blood Typing in Emergency Situations 

Vania Moreira, Filomena Soares, Ana Ferraz, Vitor Carvalho and Jose Machado 

Optimal Scheduling of Smart Homes’ Appliances for the Minimization of Energy Cost 

under Dynamic Pricing 

Christos Antonopoulos, Vasilis Kapsalis and Loukas Hadellis 

Model-Driven Approach to Design of ICT Infrastructure for Precision Farming 

Igor Kaitovic, Cesare Fantuzzi, Rafael Ribeiro Rezende and Cristina Murillo 

Application of Engineering Processes Analysis to Evaluate Benefits of Mechatronic 

Engineering 

Arndt Luder, Matthias Foehr, Adrian Kohlein and Birthe Bohm 

Discovery Mechanisms in Industrial Networking 

Rahil Hussain and Judith E. Y. Rossebo 

Power Gyrator Structures and Their Use as Cells for Energy Processing in Photovoltaic 

Solar Facilities 

Herminio Martinez-Garcia, Antoni Grau-Saldes, Yolanda Bolea-Monte and Juan Gamiz-Caro 

Thursday, 20 September 2012 

Track 7-1 (Room A, 90 min): Automatic Classification, Modern 

Robotics and Distributed Control Design 

Co-chairs: Antoni Grau and Dariusz Pazderski 

Automatic Threat Classification Using Multiclass SVM From Audio Signals 

Grzegorz Altman and Andrzej Głowacz 

High Speed Robotics with Low Cost Hardware 

Daniele Fontanelli, Luigi Palopoli and Tizar Rizano 

ARES-III: A Versatile Multi-Purpose All-Terrain Robot 

Magno Guedes, Pedro Santana, Pedro Deusdado, Ricardo Mendonca, Francisco Marques, Nuno 

Henriques, Andre Lourenco, Luis Correia, Jose Barata and Luis Flores 


35

A Distributed Control Design for the Output Regulation and Output Consensus of a Class 

of Switched Linear Multi-Agent Systems 

Alejandro Cervantes-Herrera, Javier Ruiz-Leon, Carlos Lopez-Limon and Antonio Ramirez-Trevino 

WIP 4 & WIP 2.3 (Room B, 90 min) 

Co-chairs: Ivan Cibrario and Arndt Lüder 

Minimizing Bounded Uncertainty Impact on Scheduling with Earliest Start and Due-date 

Constraints via Interval Computation 

Ahmad Hossny, Saeid Nahavandi and Douglas Creighton 

Marking estimation of fuzzy Petri nets 

Maria Paola Cabasino, Mariagrazia Dotoli and Carla Seatzu 

Improved Virtual Build to Order 

Marcos Calle and Pedro L. Gonzalez-R 

Process Theory for Supervisory Control of Stochastic Systems with Data 

Jasen Markovski 

A Methodological Support for Designing Industrial Control Systems 

Maria Luz Alvarez, Isabel Sarachaga, Arantzazu Burgos, Elisabet Estevez and Marga Marcos 

Milling with Industrial Robots: Strategies to Reduce and Compensate Process Force 

Induced Accuracy Influences 

Christian Lehmann, Marcel Halbauer, Dirk Euhus and Daniel Overbeck 

New Concept to Develop a Safety Sensor Network for Continuous Noninvasive Blood 

Pressure Monitoring 

Huiyun Sheng, Michael Schwarz and Josef Borcsok 

A Hybrid Petri Nets approach for Unmanned Aerial Vehicles Monitoring 

Francesco Basile, Pasquale Chiacchio, Jolanda Coppola and Diego Gerbasio 

Approach to a Simulation-Based Verification Environment for Material Handling Systems 

Stephan Seidel, Ulrich Donath and Jurgen Haufe 

Towards Periodicity Based Anomaly Detection in SCADA Networks 

Rafael Ramos Regis Barbosa, Ramin Sadre and Aiko Pras 

Information Model for Distributed Traffic Management Applications 

Stefan Szucsich, Lukas Krammer, Wolfgang Kastner and Thomas Novak 

Time as Non-Functional Requirement in Distributed Control Systems 

Thomas Hadlich, Stephan Hoeme, Christian Diedrich, Karin Eckert, Timo Frank, Alexander Fay and 

Birgit Vogel-Heuser 

Detecting User Dissatisfaction in Ambient Intelligence Environments 

Felix Iglesias Vazquez and Wolfgang Kastner 

Scheduling Time-Triggered Traffic in TTEthernet Systems 

Ekarin Suethanuwong 

Usage of Public Key Infrastructures in Automation Networks 

Stefan Hausmann and Stefan Heiss 

Track 3-6 (Room C, 90 min): Real Time Systems, Operating Systems 

and Resource Management 

Co-chairs: Saad Mubeen and Marco Di Natale 

Towards Collaborative Resource Sharing under Real-Time Conditions in Multitasking and 

Multicore Environments 

Marcel Baunach 

Rodosvisor – an ARINC 653 Quasi-compliant Hypervisor: CPU, Memory and I/O 

virtualization 

Adriano Tavares, Adriano Didimo, Tiago Lobo, Paulo Cardoso, Sergio Montenegro and Jorge Cabral 

Monitoring Capabilities of Schedulers in Model-Driven Development of Real-Time 

Systems 

Mehrdad Saadatmand, Mikael Sjodin and Naveed Ul Mustafa 

Energy-Aware Algorithms for Tasks and Bandwidth Co-Allocation under Real-Time and 

Redundancy Constraints 

Francesco Prosperi, Mario Bambagini, Giorgio Buttazzo, Mauro Marinoni and Gianluca Franchino 

WIP 1.2 (Room D, 90 min) 

Co-chairs: Paulo Portugal and Javier Silvestre-Blanes 

Modeling Wastewater Pumping Stations for Cost-Efficient Control 

Mohamed Abdelati, Felix Felgner and Georg Frey 

Distributed Applications Management Platform Based on Service Component Architecture 

Aitor Agirre, Marga Marcos and Elisabet Estevez 

Visual Modeling of Condition Monitoring Systems 

Maciej Zygmunt, Marek Budyn, Michał Orkisz, Victor-Hugo Jaramillo-Velasquez, 

Agnieszka Nowak and James Ottewill 

Meeting Challenges of Generic Pervasive Diagnostics 

Andreas Mueller 

Model Driven Architecture Approach in the Semiconductor Industry: A Practical 

Implementation 

Manuel Jose Moreno Lizaranzu and Federico Cuesta Rojo 

Diagnosis of Automation Devices Based on Engineering and Historical Data 

Jens Folmer, Heiko Meyer and Birgit Vogel-Heuser 


37

Integration of Advanced Quality of Service in IEC 61499 Based Networks 

Aleksey Bratukhin, Thilo Sauter, Joergen Mad and Albert Treytl 

Model-Driven Development of Industrial Embedded Systems : Challenges Faced and 

Lessons Learnt 

Kyle Nicholas, Zeeshan Bhatti and Parthasarathi Roop 

A Generic Middleware for Automated Source Code-Level Coupling of Embedded Software- 

Subsystems Developed Using Heterogeneous Modeling Domains 

Padma Iyenghar, Michael Spieker, Juergen Wuebbelmann and Clemens Westerkamp 

Model-Driven Template Metaprogramming 

Nuno Cardoso, Joao Vale, Oscar Ribeiro, Jorge Cabral, Paulo Cardoso, Jose Mendes and Adriano Tavares 

A Structured Text to MISRA-C Translator and Issues with IEC 61131-3Standard 

Ashutosh Kabra, Gopinath Karmakar and R. K. Patil 

Multi-Agent System „Smart Factory”for Real-time Workshop Management: Results of 

Design & Implementation for Izhevsk Axion-Holding Factory 

Ivan Tyrin, Andrey Vylegzhanin, Elina Kolbova, Petr Skobelev, Sergey Kozhevnikov, Yaroslav Shepilov 

and Oleg Kuznetzov 

Process Mining for Alarm Rationalization and Fault Patters Identification 

Ricardo Kondo, Eduardo Rocha Loures and Eduardo Portela Santos 

Track 5-4 (Room E, 45 min): Fault Detection and Safety 

Co-chairs: Timo Vepsäläinen and Juan J. Gude 

Sensor Placement for Fault Diagnosis Using Genetic Algorithm 

Guoyi Chi, Danwei Wang, Ming Yu, Tung Le, Ming Luo and Marjan Alavi 

Software Architecture Knowledge Management for Safety Systems 

Timo Vepsalainen, Veli-Pekka Eloranta and Seppo Kuikka 

WIP 3.2 (Room F, 90 min) 

Co-chairs: Stefano Scanzio and Manuel Barranco 

Reliability Correlation Between Physical and Virtual Cores At The ISA Level 

Paulo Garcia, Tiago Gomes, Filipe Salgado, Paulo Cardoso, Mongkol Ekpanyapong and Jorge Cabral 

Shifting SOA to MPSoC: An Exploratory Example of Application 

Filipe Salgado, Paulo Garcia, Tiago Gomes, Joao Vale, Sandro Pinto and Jorge Cabral 

Hardware-based Object Layout in an Embedded Real-Time Java Environments 

M. Teresa Higuera-Toledano 

Towards Integrating IoT Devices with the Web 

Orestis Akribopoulos, Ioannis Chatzigiannakis and Dimitrios Amaxilatis 

On the Use of Communication Infrastructure in Distributed Power Generation: 

a Preliminary Case Study 

Pau Marti, Manel Velasco, Miguel Castilla, Jaume Miret and Antonio Camacho 

On Jitter in Time Partitioned Real-Time Systems 

Kristian Sandstrom, Thomas Nolte, Moris Behnam and Reinder Bril 

Extending Response-Time Analysis of Mixed Messages in CAN with Controllers 

Implementing Non-Abortable Transmit Buffers 

Saad Mubeen, Jukka Maki-Turja and Mikael Sjodin 

Towards RTOS Support for Mixed Time-Triggered and Event-Triggered Task Sets 

Martijn M.H.P. Van Den Heuvel, Reinder J. Bril, Johan Lukkien, Damir Isovic and Gowri Sankar 

Ramachandran 

On Variations of the Suspension-Based Multiprocessor Priority Ceiling Syncronization 

Protocol 

Andreu Carminati and Romulo Silva De Oliveira 

Guided Task Model Construction for Automotive Systems based on Time Budgets 

Ernest Wozniak, Chokri Mraidha and Sebastien Gerard 


Computational Intelligence Methods for Factory Automation and Industrial Applications 

Jacek M. Zurada University of Louisville, Kentucky, USA 

Track 7-2 (Room A, 60 min): Path Following, Trajectory Tracking, 

Planning and Diagnostic Reasoning 

Co-chairs: Antoni Grau and Dariusz Pazderski 

Path Following for an Articulated Vehicle Based on Switching Model Predictive Control 

Under Varying Speeds and Slip Angles 

Thaker Nayl, George Nikolakopoulos and Thomas Gustafsson 

Causality-Based Planning and Diagnostic Reasoning for Cognitive Factories 

Esra Erdem, Kadir Haspalamutgil, Volkan Patoglu and Tansel Uras 

Residual Vibration Suppression for Industrial Machines Using Simple Motion Trajectory 

Yuta Honda, Naoki Uchiyama, Shigenori Sano, Atsushi Kato and Takahiro Yonezawa 

Partitioned Environment for Programmable Controller in Safety Applications 

Gopinath Karmakar, Ashutosh Kabra, R K Patil and Krithi Ramamritham 


39

SS02-1 (Room B, 60 min): Fault Tolerance Techniques in 

Distributed Embedded and Automation Systems 

Co-chairs: Michael Short and Julián Proenza 

Application Level Compensation for Burst Errors in Wireless Control Networks 

Michael Short, Usama Abrar and Fathi Abugchem 

Probabilistic Scheduling Guarantees in Distributed Real-Time Systems under Error Bursts 

Huseyin Aysan, Radu Dobrin, Sasikumar Punnekkat and Julian Proenza 

Fault-Tolerant Audio and Video Bridging (AVB) Ethernet: A Novel Method for Redundant 

Stream Registration Configuration 

Oliver Kleineberg, Peter Froehlich and Donal Heffernan 

The Design of the CANbids Architecture 

Julian Proenza, Manuel Barranco, Guillermo Rodriguez-Navas, David Gessner, Fernando Guardiola 

and Luis Almeida 

SS07-1 (Room C, 60 min): Distributed Automation Systems 

Development: Trends and Challenges 

Co-chairs: Kleanthis Thramboulidis and Stefano Campanelli 

Comparison of a Transformed Matlab/Simulink Model into the Programming Language 

CFC on Different IEC 61131-3 PLC Environments 

Gulden Bayrak, Patrik Johannes Murr, Sebastian Ulewicz and Birgit Vogel-Heuser 

Design Patterns for Distributed Automation Systems with Consideration of Non- 

Functional Requirements 

Karin Eckert, Thomas Hadlich, Timo Frank, Alexander Fay, Christian Diedrich and Birgit Vogel-Heuser 

Evaluation of a Graphical Modeling Language for the Specification of Manufacturing 

Execution Systems 

Benedikt Weissenberger and Birgit Vogel-Heuser 

Hardware in the loop simulation for Distributed Automation Systems 

Cesare Fantuzzi and Roberto Panciroli 

Track 4-3 (Room D, 60 min): Production Planning 

and Petri Nets Based Methods 

Co-chairs: Mariagrazia Dotoli and Bengt Lennartson 

Closed-loop Production and Automation Schedule Execution in RMSs under Uncertain 

Environmental Conditions 

Emanuele Carpanzano, Mauro Mazzolini, Andrea Orlandini, Anna Valente, Amedeo Cesta, Fernando 

Marinň and Riccardo Rasconi 

Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots 

Cristian Mahulea and Marius Kloetzer 

Modular Petri net Modeling of the Spanish Health System 

Cristian Mahulea, Juan Manuel Garcia Soriano and Jose Manuel Colom 

SS04-1 (Room E, 60 min): Internet of Things Technologies for 

Adaptable and Agile Automation Systems 

Co-chairs: Amine M. Houyou and John Gialelis 

Employing Internet of Things Technologies for Building Automation 

Dimitrios Amaxilatis, Vasileios Georgitzikis, Dimitrios Giannakopoulos and Ioannis Chatzigiannakis 

Security Architecture Elements for IoT Enabled Automation Networks 

Kai Fischer and Jurgen Gessner 

IoT@Work Automation Middleware System Design and Architecture 

Sergio Gusmeroli, Salvatore Piccione and Domenico Rotondi 

Track 6-3 (Room F, 60 min): Ontology, Evolutionary Algorithms, 

and Correlation Based Approaches in Industrial Processes 

Co-chairs: Norisha Komoda and Anthony Diniz 

A Correlation-based Approach to Determining Related Alarms in Industrial Processes 

Gustavo Leitao, Luiz Affonso Guedes and Juliano Araujo 

Ontology for Industrial Petrochemical Processes: Case Study of a DEA Process 

Anthony Diniz, Rodrigo Silva, Adriao Doria Neto and Jorge Melo 

STLF in the User-Side for an iEMS based on Evolutionary training of Adaptive Networks 

Juan Jose Cardenas, Francisco Giacometto, Antoni Garcia and Jose Luis Romeral 

SS02-2 (Room A, 60 min): Fault Tolerance Techniques in 

Distributed Embedded and Automation Systems 

Co-chairs: Paulo Portugal and Julián Proenza 

Performance Analysis of Parallel Redundant WLAN 

Markus Rentschler and Per Laukemann 

A Status Protocol for System-operation in a Fault-tolerant System – Verification and 

Testing with SPIN 

Carl Bergenhem 

Dependability Evaluation of WirelessHART Best Practices 

Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal and Francisco Vasques 


41

SS08 (Room B, 60 min): Building Automation and Smart Homes 

Co-chairs: Wolfgang Kastner and Rumen Kyusakov 

Emerging Energy Management Standards and Technologies – Challenges and Application 

Prospects 

Rumen Kyusakov, Robert Cragie, Jens Eliasson, Jan van Deventer and Jerker Delsing 

Certificate Management in OPC UA Applications: An Evaluation of Different Trust Models 

Andreas Fernbach and Wolfgang Kastner 

Integrated Control of Centralized and Removable Heat Sources with Peak Demand 

Compensation 

Wojciech Grega 

Real-Time Infinite Horizon Adaptive/Predictive Control for Smart Home HVAC Applications 

Michael Short 

SS07-2 (Room C, 60 min): Distributed Automation Systems 

Development: Trends and Challenges 

Co-chairs: Kleanthis Thramboulidis and Dariusz Kościelnik 

Integration of Existing IEC 61131-3 Systems in an IEC 61499 Distributed Solution 

Stefano Campanelli, Pierfrancesco Foglia and Cosimo Antonio Prete 

IEC 61499: Back to the well Proven Practice of IEC 61131 

Kleanthis Thramboulidis 

Towards an Object-Oriented Extension for IEC 61131 

Kleanthis Thramboulidis 

Track 4-4 (Room D, 90 min): Modeling and Optimization 

Co-chairs: Riccardo Rasconi and Carla Seatzu 

A Cross Efficiency Fuzzy Data Envelopment Analysis Technique for Supplier Evaluation 

under Uncertainty 

Nicola Costantino, Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario and Fabio Sciancalepore 

Development of a Flexible and Adaptive Robotic Cell for Marine Nozzles Processing 

Manuel alvarez Souto, Felix Vidal, Ivan Iglesias, Rodrigo Gonzalez, Carlos Alonso and Manuel 

Remuinan 

Infinitesimal Perturbation Analysis Based Optimization for a Manufacturing System with 

Delivery Time 

Sadok Turki, Olivier Bistorin and Nidhal Rezg 

A Universal Framework for Lean Design and Control of Automated Material Handling Systems 

Maziar Mashaei and Bengt Lennartson 

SS04-2 (Room E, 60 min): Internet of Things Technologies for 

Adaptable and Agile Automation Systems 

Co-chairs: Amine Houyou and Domenico Rotondi 

Agile Manufacturing: General Challenges and IoT@Work Perspective 

Amine M. Houyou, Hans-Peter Huth, Christos Kloukinas, Henning Trsek and Domenico Rotondi 

Towards Autoconfiguration of Industrial Automation Systems: A Case Study Using 

PROFINET IO 

Lars Duerkop, Henning Trsek, Juergen Jasperneite and Lukasz Wisniewski 

A Generic Synchronized Data Acquisition Solution for Distributed Automation Systems 

Florian Pethig, Bjorn Kroll and Oliver Niggemann 

Track 6-4 (Room F, 90 min): Signal Processing and Fault Detection 

in Automation 

Co-chairs: Jacek Zurada and Boguslaw Cyganek 

Auditory Scene Analysis by Time-Delay Analysis with Three Microphones 

Nozomu Hamada, Wlodzimierz Kasprzak and Paweł Przybysz 

Sensor Fault Detection with Low Computational Cost: A Proposed Neural Network-based 

Control Scheme 

Konstantinos Michail and Kyriakos Deliparaschos 

Expert System for Power Generation Fault Diagnosis using Hierarchical Meta-Rules 

Edgar Amaya and Alberto Alvares 

Predictive Control Strategy in delta Domain for Damping Oscillations in a Driveline System 

Cristina Budaciu and Corneliu Lazar 

Friday, 21 September 2012 

iATPA Workshop, session 1 

Chair: Thomas Moser 

Semantic Design and Integration of Simulation Models in the Industrial Automation Area 

Petr Novak and Radek Sindelar 

Integrating Mechatronic Thinking and Multi-agent Approaches 

Matthias Foehr, Paulo Leitao, Thomas Wagner 

Let’s talk AutomationML – What is the effort in AutomationML programming 

Rainer Drath 


43

iATPA Workshop, session 2 

Chair: Estefania Serral 

Extraction of safety relevant functions from CAE data for evaluating the reliability of 

communications system 

Annett Krause, Michael Obst and Leon Urbas 

A Tool for Trace Visualization and Offline Debugging of PLC Applications 

Richard Berger, Herbert Praehofer, Christian Wirth and Roland Schatz 

Towards an Engineering Community as Driver and Basic Tool Support for Lean 

Approaches in Engineering Projects 

Johannes Goetz, Verena Bauer and Joerg Franke 

SOCNE Session 1: Cyber-physical Systems and Internet of Things 

Chair: Frank Golatowski, Sebastian Hudert 

Industry Adoption of the Internet of Things: A Constrained Application Protocol Survey 

Christian Lerche, Klaus Hartke and Matthias Kovatsch 

Interoperability in Large Scale Cyber-Physical Systems 

Jesús Bermejo Muńoz, Terje Grimstad, Diego R. López, Sebastian García-Galán, Luis Ramón López, 

Rocio P. Prado and José Enrique Muńoz 

Generating Test Data for Black-Box Testing using Genetic Algorithms 

Marten Fischer and Ralf Tönjes 

SOCNE Session 2: Enhanced Services for Smart and Cloud 

Environments 

Chair: Frank Golatowski, Sebastian Hudert 

Transactional Service Life Cycle Management in Smart Electromobility Ecosystems 

Sebastian Hudert, Michael Ditze, Stefan König, Victor Fässler 

Real-time Rating and Charging in federated Cloud Environments 

Stephan Flake, Juergen Tacken and Carsten Zoth 

A Web Service-based Communication Architecture for Smartphone/WPAN Sensor Ensembles 

Nico Laum, Christian Lerche, Frank Golatowski and Dirk Timmermann 

3rd 4DIAC Users’ Workshop – Session Communication Integration 

and Interoperability 

Chair: Alois Zoitl 

Welcome and Recent Activities of the 4DIAC Open Source Initiative 

Alois Zoitl (Vienna University of Technology, Automation and Control Institute) 

Integration of IEC 61131-3 and IEC 61499 control logic using FORTE and ProConOS 

Stefano Campanelli (University of Pisa) 

Automation Concept for a Smart Grid Laboratory using 4DIAC 

Filip Andrén (AIT Austrian Institute of Technology) 

Demonstrating interoperability of forte runtime with synchronous execution environments 

Majid Sorouri (University of Auckland) 

3rd 4DIAC Users’ Workshop – Session Application Modeling 

Chair: Thomas Strasser 

IEC 61499/4DIAC Applications for the Power and Energy Domain 

Thomas Strasser (AIT Austrian Institute of Technology) 

E3ICP – Embedded Energy Efficiency Industrial Controller Platform 

Alois Zoitl (Vienna University of Technology, Automation and Control Institute) 

Automatic Generation of IEC 61499 Applications based on Workflow Models 

Gerhard Ebenhofer (PROFACTOR GmbH) 

IEC 61499 Coordinated Object Pose Recognition using ReconstructMe Technology 

Gerhard Ebenhofer (PROFACTOR GmbH) 

Plenary Discussion – Future Development of 4DIAC: Goals and Targets 

Alois Zoitl, Gerhard Ebenhofer and Thomas Strasser 

Keynote Lectures 

Kai Hansen 

ABB “Computers and the Marine World” 

ABB Marine and Cranes, Norway 

The commercial vessels crossing the oceans today are 

controlled by embedded computers connected with communication 

solutions across the ship and to shore. A vessel has a power station 

with control systems and much of the functionality resembles a 

scaled down version of an industrial plant integrated with specific 

marine applications where the bridge can be compared with an 

industrial control room. Some of the solutions are well proven 

product while there are also ongoing development of new solutions 

with active research, especially towards more environmental friendly 

ships and management systems and fleet control. 

The engines are the source of energy for the ship and are used to move the ship and to provide 

all auxiliary power. Most ships have the propulsion system directly coupled to diesel engines but an 

increasing number of ships also have electrical propulsion so that the diesel engines are all producing 


45

electricity. The control of the electricity production is critical and has a redundant design supervised 

by protection relays, where solutions based on IEC 61850 are starting to be used. Modern DC 

distribution solutions are now also available and these are strongly dependant on advanced control 

and power electronics. Power management automation is used to ensure a proper functionality of the 

energy solution. One advanced application is “dynamic positioning” which is a kind of autopilot for 

ships. This is often used to keep a ship placed in exactly the same position by utilizing GPS and sonar 

sensors and a number of propellers. One dynamic positioning application is drill ships where active 

propulsion is used while the ship drills for oil 1000 meters below the surface of the ocean. Trust in 

the computer system is here essential. A number of other control tasks must also be solved on the ship 

and vessel types like oil tankers, liquid natural gas vessels, container ships and cruise and ferries have 

different control needs. One new trend is that while the captain has been not only the commander 

of the ship but also quite independent of the fleet owner while at sea, it is now possible to get 

much of the computers information from the vessel to the owners office in real time. This opens up 

possibilities to compare ship operations, improve maintenance work and improve on energy efficient 

planning and execution of voyages. The fleet management solution combined with more efficient 

motors and higher quality fuel is enablers to make possible and manage a more environmental 

friendly marine world. Cyber security is here, as in other parts of the industry, a growing concern. 

Similar solutions as for other remote industrial plants are investigated. 

Kai Tormod Hansen is Technology Manager for the center of excellence “Vessel Information and 

Control” in ABB Marine and Cranes. 

Kai T. Hansen is technology responsible manager for the unit Vessel Information and Control in 

the Marine business unit of ABB. He has a Ph.D. in theoretical physics from the University of Oslo and 

worked as researcher at universities in Denmark and Germany. He then joined ABB fifteen years ago 

as a researcher and has worked most of this time with control technology for a number of products 

including process control systems, safety certified systems, Ethernet based communication solutions, 

real-time operating systems, electrical protection, drives, software development methodology, project 

management research etc. As an applied researcher he has worked on solutions that bridge the gap 

between ideas from academia and practical solutions for the industry with its demands on cost and 

speed and the much more complex system that a real-life system gives in comparison with a research 

set up. He has worked as department manager heading the ABB research center in Norway before 

taking the challenge of building up new solutions for control systems on big ships. The challenge 

here is to make new modern systems which integrate many functions in one system based on modern 

technology solutions being cost efficient and fulfilling the needs of the ship crew. 

Kai T. Hansen is a senior member of IEEE 

Ronald Schoop 

Schneider Electric AG, Germany 

“Mastering Complexity in Heterogenous Industrial Systems” 

Ronald Schoop is Vice-president Technology and one out of four 

Schneider Electric Group Master Experts. 

He has received the diploma and the doctor degree (Dr. Ing.) in 

Electrical Engineering from the Humboldt-University in Berlin, in 1981 

and 1985, respectively. After 3 years in industry, he led the control 

group in the department Electronic Technology at the Humboldt- 

University and received the habilitation (Dr. sc. tech., Dr.-Ing. habil.) 

in 1990. 

He joined AEG Modicon in 1991 and after several years in Germ any and USA he was the R&D Director 

for Schneider Electric Automation Business in Germany and afterwards in France. Since 2002 he was/is 

the Vice President of Schneider Electric Industry Consistency and Platforms in France, USA and Germany. 

His research interests are in control and automation, especially in the area of distributed control, 

collaborative systems and service oriented architectures. He was project leader of several industrial 

projects bringing latest research results into industrial use, such as the development of the first 

industrial agent based control system, deployed in production at DaimlerChrysler (P2000+). 

He is co-author of 2 books and has published over 50 technical papers in these areas. He has 

been active in various industrial societies (Technical Director of IDA group, Director of Modbus-IDA, 

director in the board of FDT group, board member of SPS/IPC/Drives conference) and academic 

societies (Senior Member of IEEE, AdCom member of IEEE- IES). 

Jacek M. Zurada 

University of Louisville, Kentucky, USA, 

“Computational Intelligence Methods for Factory Automation 

and Industrial Applications” 

Jacek M. Zurada (FIEEE) serves as a University Scholar and 

Professor with the Electrical and Computer Engineering Department 

at the University of Louisville, Kentucky. He was Department Chair 

from 2004 to 2006. He has published 360 journal and conference 

papers in the areas of neural networks, computational intelligence, 

data mining, image processing and VLSI circuits. He also has 

authored or co-authored three books and co-edited a number of 

volumes in Springer Lecture Notes on Computer Science. 

He has held visiting appointments at Princeton, Northeastern, Auburn, and overseas in 

Australia, Chile, China, France, Germany, Hong Kong, Italy, Japan, Poland, Singapore, Spain, 

South Africa and Taiwan. Dr. Zurada was an Associate Editor of IEEE Transactions on Circuits 

and Systems, Pt. I and Pt. II, and served on the Editorial Board of the Proceedings of IEEE. 

From 1998 to 2003 he was the Editor-in-Chief of IEEE Transactions on Neural Networks. He 

is an A ssociate Editor of Neurocomputing, SchedaeInformaticae, International Journal of 

Applied Mathematics and Computer Science, Advisory Editor of Int’l Journal of Information 

Technology and Intelligent Computing, and Editor of Springer Natural Computing Book Series. 

He has served the profession and the IEEE in various elected capacities, including as President of 

IEEE CIS in 2004-05 and the ADCOM member in 2009-11 and earlier years. He has been member 

and Chair of various IEEE CIS and IEEE TAB committees, and is also now serving as Vice-Chair 

of PSPB and PSPB Strategic Planning Committee (2010-11). He is also Chair of the IEEE TAB 

Periodicals Committee (2010-11) and will chair the IEEE TAB Periodicals Review and Advisory 

Committee in 2012-13. He is also on the 2012 ballot of IEEE-wide elections for 2013 VP-TAB Elect. 

Dr. Zurada has received a number of awards for distinction in research, teaching, and service including 

the 1993 Presidential Award for Research, Scholarship and Creative Activity, 1999 IEEE Circuits and 

Systems Society Golden Jubilee Medal, and the 2001 Presidential Distinguished Service Award for 

Service to the Profession. He is a Distinguished Speaker of IEEE CIS. In 2003 he was conferred the 

Title of National Professor by the President of Poland. In 2004, 2006 and 2010, he received three 

Honorary Professorships from Chinese universities. Since 2005 he has been a Member of the Polish 

Academy of Sciences, and has been appointed as a Senior Fulbright Specialist for 2006-12. 


47

Rolf Ernst 

Technical University of Braunschweig, Germany 

“Formal performance analysis in industrial practice - lessons learned 

from automotive design” 

Rolf Ernst received a diploma in computer science and a Dr.-Ing. 

(with honors) in electrical engineering from the University of Erlangen- 

Nuremberg, Germany, in 81 and 87. After 2 years at Bell Laboratories, 

Allentown, PA, he joined the Technical University Braunschweig, Germany, 

where he chairs a university institute of 55 researchers and staff. He is a 

full professor and was Head of the Department of Electrical Engineering 

from 1999 to 2001. 

His research activities include embedded system design and design automation. The activities 

are currently supported by the German “Deutsche Forschungsgemeinschaft”, by the German BMBF, 

by European programs, and by industrial contracts, such as from Intel, Thomson, Ford, Bosch, and 

Volkswagen. He gave numerous invited presentations and tutorials at major international events and 

contributed to seminars and summer schools in the areas of hardware/software co-design, embedded 

system architectures, and system modeling and verification. 

He chaired major international events, such as the International Conference on Computer 

Aided Design of VLSI (ICCAD), or the Design Automation and Test in Europe (DATE) Conference and 

Exhibition, and was Chair of the European Design Automation Association (EDAA), which is the main 

sponsor of DATE. He is a founding member of the ACM Special Interest Group on Embedded System 

Design (SIGBED), and was a member of its first board of directors. He is a member and activity leader 

of the European Networks-of-Excellence Artist1 (real-time systems), Artist 2 (embedded systems), and 

ArtistDesign. He is an elected member (Fachkollegiat) and Deputy Spokesperson of the “Computer 

Science” review board of the German DFG. He is an advisor to the German Ministry of Economics 

and Technology for the high-tech entrepreneurship program EXIST (www.exist.org). 

He is an IEEE Fellow and served as an ACM-SIGDA Distinguished Lecturer. He is a member of 

the German Academy of Science and Engineering, acatech. 

Abstract: 

Automotive designs have come to a level where performance and safety requirements are 

seriously challenging the current test based methods. Except for few isolated cases, formal methods 

have not been able to provide a coherent alternative, mostly due to conservative results and incomplete 

coverage. 

New analysis methods from research can provide solutions, but a number of practical problems 

have slowed down adoption in industry. Meanwhile, however, such formal methods have passed the 

research and evaluation stages and are introduced in the regular automotive design processes. The 

talk gives an overview on the technology, its practical use and lessons learned. It ends with an outlook 

on applications in industrial electronics, e.g. when using AVB. 

Social events and tourist activities 

1. Guided sightseeing tour around the Old City including visit to 

Jagiellonian University Museum 

2. Welcome Reception (September 18, 2012), 8 pm 

Venue: Sukiennice, National Museum (Gallery of Art, 1 st floor) 

Address: Rynek Główny 1 (Main Market Square 1) 

The Old City in Kraków 

was enlisted in the first World 

Herritage List already in 1978. 

And the Jagiellonian University 

Museum in the oldest University 

premises has just been awarded 

“The certificate of excellence” for 

the current year by the tripadvisor 

portal. This tour is scheduled just 

before the Welcome Reception, on 

Tuesday September 18th. The bus 

transportation from the conference 

venue to the city center will be 

provided. The meeting is at 5:30 

pm in the conference venue. 

The Welcome Reception will be held in the Gallery of Art in Sukiennice at the “Rynek Główny” 

(Main Market Square). The “Rynek Główny” is a central place of the Old Town in Kraków and the 

largest medieval town square in Europe. It is surrounded by many historical buildings including the 

St. Mary’s Basilica, the Gothic church with two 80m high towers. Every hour a trumpet signal called 

the “hejnał mariacki” is played from the top of the taller of St. Mary’s two towers. 

The center of the square is dominated by the Renaissance Sukiennice (the Cloth Hall). The Sukiennice 

is one of the city’s most recognizable buildings. In past centuries it served as a major center 

of international trade. Now it hosts among others as a branch of National Museum comprising The 

Gallery of the 19th-century Polish Art. From the balcony in Sukiennice you can admire the impressive 

panorama of the Main Market Square and towers of St. Mary’s Basilica. 

3. Wieliczka Salt Mine tour preceding the Gala Dinner 

Salt is one of the oldest, most ubiquitous food seasonings and moreover, salting is an important 

method of food preservation. The taste of salt (saltiness) is one of the basic human tastes. While 

people have used canning and artificial refrigeration to preserve food for the last hundred years or so, 

salt has been the best-known food preservative for many thousands of years especially for meat. 

The production of salt from salted springs has been practiced in Wieliczka region since prehistoric 

times. Subterranean exploitation began in the13th century and production of table salt was continued 

almost seamlessly until 2007 making Wieliczka Salt Mine world’s oldest mine still in operation. 

Below a quote from the statement of significance of UNESCO Committee Advisory Board evaluation 

justifying the inclusion the Wieliczka Salt Mine into the first World Heritage Sites List (1978): 

“The salt mine in Wieliczka is a unique development in the history of mining, because the 

rock salt deposits were mined without interruption from the 13th to the end of the 20th centuries. 


49

The scale of excavation in this mine is very large, with corridors, galleries, and chambers, as well as 

underground lakes, totalling more than 200km in length on seven levels between 57m and 198m 

below ground. The largest collection of original tools and mining equipment illustrating the development 

of mining technology from the Middle Ages to modern times has been preserved here” (our 

note – actually the mine levels range down to 327 m, while the deepest level available to tourists is 

135 meters below ground).” 

In 2007, the readers of “Rzeczpospolita”, a polish daily newspaper, have chosen Wieliczka Salt 

Mine as the most beautiful among 7 Poland’s Miracles in the poll conducted in 2007. Over million 

of people visit Wieliczka Salt Mine every year. 

Gala dinner: September 19, 2012, 8 pm. 

Venue: Wieliczka Salt Mine – “Warszawa” Chamber 

Address: Wieliczka, 10 Daniłowicza Street. 

The bus transportation is organized for ETFA 2012 participants and guests. 

Bus departure to Wieliczka at 6:30. Place: parking in front of the Sheraton Hotel near Wisla 

river. In case of emergency, please call + 48 508 042215 

The Conference Dinner will take place underground at the Wieliczka. Salt Mine at the level 

100 m below the ground. The Dinner will be preceded by the 45-minute tourist walk along the 

saline corridors and unique chambers of the Wieliczka mine. See http://www.kopalnia.pl/en/visiting 

for more details. The temperature underground is approx. 15 o C. Please, take warm clothing and 

comfortable shoes. 

4. Tour of the underground vaults – Rynek Underground 

The Main Market Square 

in Kraków is an unusual place. 

Delineated in the middle of 

the XIII century, it became the 

principal public area of the city. 

Unchanged through centuries, 

today it is the heart of Kraków. 

But in order to see how 

it looked like in the late Middle 

Ages, in the time when Mikolaj 

Kopernik was walking about - 

one needs to go underground. 

Archeological works that 

started in summer 2005, and 

supposed to last for 6 months, 

were extended after the scale and importance of the activity to be carried out was realized. In the end 

excavation of the area under the eastern part of Main Market Square was completed after 5 years. 

This should not be a big surprise considering the archeological layers of the Main Square contain 

1000 years of history. The result of this research is presented in the underground exhibition, whose 

main aim is to present very close connections between Middle Age Cracow and other Middle Age 

European cities. 

After closing ceremony on Thursday September 20, 2012. 

Venue: Underground Museum 

Address: Rynek Główny 1 (Main Market Square 1) 

No transport is provided from the conference venue. The meeting is at 6:30 pm near Underground 

Museum in Rynek Główny. 

Kraków is renowned for its numerous old churches, 

including the Gothic St. Mary’s Church famous 

for its magnificent altar carved by Wit Stwosz. Probably 

the most famous landmark in Kraków is the 

Wawel Castle situated on Wawel Hill overlooking the 

Vistula river. This Renaissance castle boasts a beautiful 

arcaded courtyard, magnificent interiors and 

famous Flemish tapestries. In addition to the Renaissance 

castle, Kraków has a number of beautiful palaces 

from the same period. These belonged to the rich 

citizens of the city. One example is the Pod Baranami 

Palace. After the partition of Poland (by the end of 

the 18th century), Wawel became a necropolis for 

national heroes (Prince Jozef Poniatowski, Tadeusz 

Kosciuszko) and poets (Adam Mickiewicz, Juliusz Slowacki). 

Later this role was taken over by the church 

vault of the Paulite Fathers in Skalka. During this period 

many museum collections were founded, such 

as the art collection of the Czartoryski Family (with 

Leonardo da Vinci’s „Lady with an Ermine”). 

Kraków is also the city of Karol Wojtyla (Pope 

John Paul II), composer Krzysztof Penderecki, and 

many other famous people. Kraków is also one of the 

greatest centres of science and the Kraków University 

of Technology is one of its most renowned universities. 

In 1978 Kraków was entered into the UNESCO 

World Heritage Register. 

For more information 

about the city please visit: 

www.krakow.pl 

50 17th IEEE International Conference on

Conference venue 

The ETFA 2012 conference site is located on the campus of the AGH University of Science and 

Technology. It will be held in the building of the AGH Center of Informatics (Centrum Informatyki 

AGH). 

Address: 

Centrum Informatyki AGH 

Kawiory 21 

30-055 Kraków 

Poland 

The conference venue GPS google maps coordinates are: 

50.068123, 19.912484 

The conference venue is accessible by public transportation. 

The distance between the conference venue and the Old Town is about 2 km. 

Kraków 2012

PROGRAM

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?