2014 IEEE Emerging Technologyand Factory Automation

(ETFA 2014)

Barcelona, Spain16-19 September 2014

Pages 1-671

IEEE Catalog Number: CFP14ETF-POD

ISBN: 978-1-4799-4844-4

1/3

Technical Program

Track 1. Information Technology in Automation

T1.1 Development and Test Methods

Chairs: Georg Frey, Michael Weyrich

Time: Wednesday 17th September, 9:30

Room: Conference Hall

PF-005223 Development and Execution of PLC Programs on Real-Time CapableMobile Devices

PS- 1 Mathias Obster, Igor Kalkov, Stefan Kowalewski

PF-004901 A Unit-Test Framework for Event-Driven Control Components Modeled in

IEC 61499

pg. 9 Reinhard Hametner, Ingo Hegny, Alois Zoitl

PF-003026 Reduction of Development Time by Using Scriptable IEC 61499 Function

Blocks in a Dynamically Loadable Type Library

pg. 17 Matthias Plasch, Michael Hofmann, Gerhard Ebenhofer, Martijn Rooker

PF-002577 Design Approach for Component-based Automation Systems using Exact

Cover

pg. 25 Matthias Lehmann, Tuan Linh Mai, Bastian Wollschlaeger, Klaus Kabitzsch

PF-001503 Tool based Device Development Method for Rapid Prototyping of Profile

conform Field Devices

pg. 33 Markus Simros, Stefan Matzler, Stefan Theurich, Martin Wollschlaeger

s«^Kirfgt^»w«s«Room: Conference Hall

* :' *

PF-005797

pg. 41

PF-005371

pg. 51

PF-004979

pg. 59

PF-000698

pg. 69

T1.3

Evaluating Software Architectures using Ontologies for Storing and

Versioning of Engineering Data in Heterogeneous Systems Engineering

Environments

Richard Mordinyi, Estefania Serral, Dietmar Winkler, Stefan Biffl

Multi-objective Device Selection Approach for Component-basedAutomation SystemsJoern Ploennigs, Matthias Lehmann, Bastian Wollschlaeger, Tuan Linh Mai,

Klaus Kabitzsch

Efficient Monitoring of Multi-Disciplinary Engineering Constraints with

Semantic Data Integration in the Multi-Model Dashboard Process

Stefan Biffl, Dietmar Winkler, Richard Mordinyi, Stefan Scheiber, Gerald Holl

Towards data exchange interoperability in building lifecycle management

Sylvain Kubler, Manik Madhikermi, Andrea Buda, Kary Framling, William

Derigent, Andre Thomas

Room: Conference Hall

PF-005088 An OPC UA Information Model for Cross-Domain Vertical Integration in

Automation Systems

pg. 77 Andreas Fernbach, Wolfgang Kastner, Stefan Matzler, Martin Wollschlaeger

PF-001007 Integrating Plant and Process Information as a Basis for Automated Plant

Diagnosis Tasks

pg. 85 Esteban Arroyo, Moncef Chioua, Mario Hoernicke, Alexander Fay

PF-004391 Semantic Repository for Case-based Reasoning in CBM Services

pg. 93 Pekka Aarnio, Mats Friman, llkka Seilonen

PF-002623 App-based System Diagnosis using Mobile Information Systems

pg. 101 Jens Ziegler, Henning Lenz, Hermann Richter, Leon Urbas

T1.4 virtual CommissioningChairs: Mike Barth, Seppo Sierla

Time: Thursday 18th September, 8:30

Room: Conference Hall

PF-000248 A Survey on Test and Piloting Practices within the Engineering of

Industrial Machines and Facilities

pg. 108 Rene Zeilinger, Wolfgang Beer, Albert Mayrhofer, Michael Wesinger

PF-002585 Concept for modelling and testing of individual mechatronic componentsfor manufacturing plant simulation

pg. 116 Zheng Liu, Stephan Magnus, Jan Krause, Christian Diedrich

PF-004006 Co-Simulation of a Dynamic Process Simulator And an Event-Based

Control System: Case District Heating SystemHeikki Nikula, Eero Vesaoja, Antti Aikala, Seppo Sierla, Tommi Karhela, Chen-

pg. 123 Wei Yang, Paul G. Flikkema, Tuomas Miettinen

PF-000604 Vidualize for Test Environment in Industrial Automation

pg. 130 Hongyu Pei Breivold, Kristian Sandstrbm

PF-004057 Adapting Keyword Driven Test Automation Framework to IEC 61131-3

Industrial Control Applications Using PLCopen XML

pg. 138 Jukka Peltola, Seppo Sierla, Valeriy Vyatkin

T1.5 Engineering Methods

Chairs: Rainer Drath, Esteban Arroyo

Time: Thursday 18th September, 11:40

Room: Conference Hall

PF-000574 A Novel Approach to Measure Engineering Efficiency of Automation

Projects

pg. 146 Georg Gutermuth, Ben Schroeter, Rainer Drath, Nuo Li, Christian Messinger

PF-002488 Analyzing Requirements on Software Tools According to the Functional

Engineering Phase in the Technical Systems Engineering Process

pg. 154 Nicole Schmidt, Arndt Luder, Heinrich Steininger, Stefan Biffl

PF-002844 Package Unit Integration for Process Industry - A New DescriptionApproachMichael Obst, Anna Hahn, Leon Urbas

PF-002801 An active service-component architecture to enable self-awareness of

evolving production systems

pg. 170 Christopher Haubeck, Jan Ladiges, Winfried Lamersdorf, Alexander Fay

PF-005428 Towards a Cooperative Knowledge-based Control Agent for a

Reconfigurable Manufacturing Plant

Stefano Borgo, Amedeo Cesta, Andrea Orlandini, Riccardo Rasconi, Marco

pg. 178Suriano, Alessandro Umbrico

PF-000191 Disruption-free Software Updates in Automation Systems

pg. 186 Michael Wahler, Manuel Oriol

PF-001481 Optimized Incremental State Replication for Automation Controllers

pg. 194 Stefan Stattelmann, Stephan Sehestedt, Thomas Gamer

T1.7 Modelling of Manufacturing SystemsChairs: Tobias Jager, Oliver Niggemann

Time: Thursday 18th September, 16:50

Room: Conference Hall

PF-000736 Security Impact Assessment of industrial automation systems usinggenetic algorithm and simulation

Nikolaos Papakonstantinou, Seppo Sierla, Konstantinia Charitoudi, Bryan

O'Halloran, Tommi Karhela, Valeriy Vyatkin, Irem Turner

A Model for Discrete Product Flows in Manufacturing Plants

Sten Gruner, Peter Weber, Ulrich Epple

Capability-based Planning and Scheduling for Adaptable ManufacturingSystemsNadine Keddis, Gerd Kainz, Alois Zoitl

pg. 202

PF-002828

pg. 210

PF-005053

pg. 218

T1.8

^filSK^lSS-fi!i^fl88*%?3fjj'Iv^S^^I^Sil?:1111111111PF-005347

.I.' .'.* \ f v "*« •

..

Industrial Control System Implementation ConceptsChairs: Oliver*'5—

* —-

Time;_

_

Room: Conference

pg. 226

PF-004502

pg. 234

PF-000752

pg- 241

A Framework for Generation of Inter-node Communication in Component-based Distributed Embedded SystemsLuka Lednicki, Jan Carlson

Guaranteeing Replica Determinism on IEC 61499

Mario de Sousa

Applicability of Using Internal GPGPUs in Industrial Control SystemsMarkus Lindgren, Kristian Sandstrom, Thomas Nolte, Daniel Hallmans

Track 2. Industrial Communication Systems

T2.1 Real-time Networks and Performance

Chairs: Elisabeth Uhlemann, Stefano Vitturi

Time: Wednesday 17th September, 9:30

Room: Sala de Juntes

PF-006327 INVITED PAPER: Novel trends in Automotive Networks: A perspective onEthernet and the IEEE Audio Video Bridging

pg. 248 Lucia Lo Bello

PF-005169 A Wireless Gateway Approach Enabling Industrial Real-Time Communicationon the Field Level of Factory Automation

pg. 256 Matthias Bauer, Gunther May, Vivek Jain

PF-005622 Wireless Communication in Process Control Loop: Requirements Analysis,Industry Practices and Experimental Evaluation

Waqas Ikram, Niklas Jansson, Trygve Harvei, Stig Petersen, Ivar Halvorsen, Niels

pg. 264 Aakvaag, Simon Carlsen, Nina Thornhill

PF-001686 Performance Evaluation of Cognitive Wireless Medium Access Methods inIndustrial Coexisting Environments

pg. 272 Dimitri Block, Yashar Naderpour, Ganesh Man Shrestha, Uwe Meier

T22. Dependable and Secure Networks /nhairc* ManiiorRarranrn XA/nlfrfariri k'aotnfir , ?

t

PF-005525 INVITED PAPER: Architectures for Mixed-Criticality Systems based on

Networked Multi-Core Chipspg. 280 Roman Obermaisser, Donatus Weber

PF-002747 Dynamic Duplicate Deferral Techniques for Redundant Wi-Fi Networks

pg. 290 Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino

PF-003409 Latency Evaluation of a Firewall for Industrial Networks Based on the TofinoIndustrial Security Solution

pg. 298 Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano

T2.3 Wireless Sensor Networks and ApplicationsChairs: Lucia Lo Bello, Uwe Meier

Time: Thursday 18th September, 8:30

Room: Sala de Juntes

PF-004464 INVITED PAPER: Building Automation Systems Integration into the Internet ofThings The loT6 approach, its realization and validation

pg. 306 Wolfgang Kastner, Mario Kofler, Markus Jung, Gunther Gridling, Jurgen WeidingerPF-004928 A Distributed Management Scheme for supporting energy-harvested I/O

devices

pg. 315 Pouria Zand, Kallol Das, Emi Mathews, Paul Havinga

PF-003921 A Polynomial scheduling algorithm for IEEE 802.15.4/ ZigBee cluster treeWSN with one collision domain and period crossing constraint

pg. 325 Aasem Ahmad, Zdenek Hanzalek, Claire Hanen

PF-004715 Introducing multi-level communication in the IEEE 802.15.4e protocol: theMultiChannel-LLDN

pg. 333 Gaetano Patti, Giuliana Alderisi, Lucia Lo Bello

Track 3. Real-Time and Networked Embedded Systems

T3.1 Networked SystemsChair: Stefan Groesbrink

Time: Thursday 18th September, 11:40

Room: Sala de Juntes

PF-006076 An MDE Approach for the Design of Platform-Aware Controls in

Performance-Sensitive Applicationspg. 341 Matteo Morelli, Marco Di Natale

PF-001627 Design of TDMA-based In-Car Networks: Applying MultiprocessorScheduling Strategies on Time-triggered Switched Ethernet

Communication

pg. 349 Jan Kamieth, Till Steinbach, Franz Korf, Thomas C. Schmidt

PF-001716 Extending Schedulability Tests of Tree-Shaped Transactions for TDMA

Radio Protocols

pg. 358 Shuai Li, Frank Singhoff, Stephane Rubini, Michel Bourdelles

PF-003417 A model-driven approach with synchronous semantics for developinghard real-time WSNs

pg. 366 Jin Woo Ro, Zeeshan Ejaz Bhatti, Partha Sarathi Roop

PF-004472 Temporal Isolation with Preemption Delay Accounting

pg. 374 Jose Marinho, Vincent Nelis, Stefan Petters

PF-001864 Optimal static scheduling of real-time tasks on distributed time-triggerednetworked systems

pg. 382 Silviu S. Craciunas, Ramon Serna Oliver, Valentin Ecker

PF-001333 On the Effectiveness of Energy-Aware Real-Time Scheduling Algorithmson Single-Core Platforms

pg. 390 Mario Bambagini, Marko Bertogna, Giorgio Buttazzo

T3.3 Multi-core Systems I

Chair: Matthias Becker

Time: Thursday 18th September, 16:50

Room: Sala de Juntes

PF-001619 CAP: Color-Aware Task Partitioning for Multicore Real-Time Applicationspg. 398 Giovani Gracioli, Antonio Augusto Frohlich

PF-005819 A Criticality-Aware Mapping of Real-time Virtual Machines to Multicores

Processors

pg. 406 Stefan Groesbrink, Luis Almeida

PF-002682 PASA: Framework for Partitioning and Scheduling Automation

Applications on Multicore Controllers

Aurelien Monot, Aneta Vulgarakis, Moris Benham

pg. 415

Time: Friday 19th September, 8:30

Room: Sala de Juntes

Industrial ApplicationsChairs: Aurelien Monot, Giovani Gracioli

PF-000167

pg. 423

PF-005398

pg- 431

PF-003603

pg. 439

PF-003085

pg. 446

PF-004197

pg. 456

T3.5

PF-001511

pg. 465

PF-006092

pg. 475

PF-006203

pg. 483

Survey on Real-Time Communication Via Ethernet in Industrial

Automation Environments

Peter Danielis, Jan Skodzik, Vlado Altmann, Eike Bjoern Schweissguth, Frank

Golatowski, Dirk Timmermann, Joerg Schacht

Managing temporal allocation in Integrated Modular Avionics

Nesrine Badache, Katia Jaffres-Runser, Jean-Luc Scharbarg, Christian Fraboul

Towards runtime adaption in AUTOSAR: adding Service-orientation to

automotive software architecture

Marco Wagner, Dieter Zobel, Ansgar Meroth

Response Time Analysis with Offsets for Mixed Messages in CAN

Supporting Transmission Abort RequestsSaad Mubeen, Jukka Maki-Turja, Mikael Sjodin

Performance Optimization of a UWB-based Network for Safety-criticalAvionics

Dinh-Khanh Dang, Ahlem Mifdaoui

Multi-core Systems II

Chairs: Saad Mubeen, Nesrine Badache

Time: Friday 19th September, 15:00

Room: S04

A Server-based Approach for Overrun Management in Multi-Core Real-

Time SystemsMeng Liu, Moris Behnam, Shinpei Kato, Thomas Nolte

Limiting temperature gradients on many-cores by adaptive reallocation of

real-time workloads

Matthias Becker, Kristian Sandstrom, Moris Behnam, Thomas Nolte

A Communication-Aware Solution Framework for Mapping AUTOSAR

Runnables on Multi-core SystemsHamid Reza Faragardi, Bjorn Lisper, Kristian Sandstrom, Thomas Nolte

Track 4. Automated Manufacturing Systems

T4.1

PF-000001

492Pg-

PF-

Pg-

PF-003042

-003123

504

Pg-

PF-

511

002615

519

Supervisory Control. Application to Manufacturing Systems and Robot**

"' *

PlanningChairs: Christoforos Hadjicostis, Carla Seatzu

Time: Wednesday 17th September, 9:30

Room: 101

INVITED PAPER: The deadlock problem in the control of Flexible

Manufacturing Systems: An overview of the Petri net approachJuan-Pablo Lopez-Grao, Jose-Manuel Colom, Fernando Tricas

Deadlock Prevention Policy for S3PR - Application to Robot Planning

Xu Wang, Cristian Mahulea, Manuel Silva

Comparative of Heuristics on Search of Supervisors by ApproximatedDistinguishersRaquel Aguiar, Antonio Cunha, Jose Cury, Max Queiroz

Enhancing Banker's Algorithm for Avoiding Deadlocks in Systems with

Non-sequential Processes

Michal Zarnay, Fernando Tricas Garcia

PF-000003 INVITED PAPER: Overview of opacity verification methods for discrete

event systems

pg. 527 C. N. Hadjicostis, C. Keroglou

PF-004146 Validation of logic controllers from events observation in a closed-loop

system

pg. 539 Anais Guignard, Jean-Marc Faure

PF-001147 Verification and Synthesis for Failure Diagnosis of Discrete Event

Systems Subject to Permanent Sensor Failures

pg. 546 Naoki Kanagawa, Shigemasa Takai

-m-

1

. .

|, . -C- J*-£ «_ 11. -

.

i Time: Wednesday 17th September, 16:50

Room: S01.

v>.^Tk!.^ '^.A^i§Ml^5;i-*'i^*ViV** ^^i^.^'fe^^il!^ ^ /r.J-;. '- ':-<:t

PF-000345 Petri Net Discovery of Discrete Event Processes by Computing T-

invariants

Tonatiuh Tapia-Flores, Ernesto Lopez-Mellado, Ana Paula Estrada-Vargas,

pg. 554 Jean-Jacques Lesage

PF-002704 State feedback control of labeled Petri nets with uncertainty in the initial

marking

pg. 562 M.P. Cabasino, C. Hadjicostis, C. Seatzu

PF-001562 An Assembly Problem with Mobile Robots

pg. 569 Marius Kloetzer, Cristian Mahulea

PF-005576 Optimal Performance of Modular and Synchronized Mechatronic Systems

pg. 576 Sathyamyla Kanthabhabhajeya, Bengt Lennartson

PF-001023

pg. 583

PF-005258

pg. 591

PF-003182

pg. 599

T4.5

T4.4 Estimation and ObservabilityChairs: Carla Seatzu, Cristian Mahulea

Time: Thursday 18th September, 16:50

Room: SOI

Estimation of P-Time Labeled Petri Nets with unobservable transitions

Patrice Bonhomme

Duality of Controllability-Observability in Continuous Petri Nets

Carlos Renato Vazquez, Jose Luis Garcia-Malacara, Antonio Ramirez-Trevino

Bayesian network model with dynamic structure identification for real

time diagnosis

Dang Trinh Nguyen, Quoc Bao Duong, Eric Zamai, Muhammad Kashif Shahzad

Modeling and Software Tools

Chairs: Patrice Bonhomme, Shigemasa Takai

Time: Friday 19th September, 8:30

Room: 101

PF-000002 INVITED PAPER: Discrete Event Systems Models and Methods for

Different Problems in Healthcare Management

pg. 607 Maria Pia Fanti, Walter Ukovich

PF-000004 INVITED PAPER: Matlab tools for the analysis of Petri net models

pg. 615 Jorge Julvez, Mihaela H. Matcovschi, Octavian Pastravanu

PF-001392 Visualizing Time-Dependent Key Performance Indicator in a Graph-basedAnalysis

pg. 627 Stefan Hesse, Marcel Spehr, Stefan Gumhold, Rainer Groh

T4.6 Manufacturing Systems ApplicationsChairs: Mihaela H. Matcovschi, Marcello Colledani

Time: Friday 19th September, 15:00

Room: S01

PF-006246 Offline Workpiece Calibration Method for Robotic ReconfigurableMachining Platform

pg. 634 Fabio Pini, Francesco Leali, Matteo Ansaloni

PF-004561 Lead Time Distribution in Unreliable Production Lines ProcessingPerishable Products

pg. 642 Marcello Colledani, Andras Horvath, Alessio Angius

Track 5. Industrial Control

T5.1

Jlfc?S3|lg

PF-001139

pg. 650

PF-004405

pg. 658

PP000205

pg. 664

T5.2

Industrial Control I

Chairs: Koichi Suyama, Maria Jesus de la FuenteAparicioTime: Wednesday 17th September, 9:30Room: 100

Supplier evaluation and selection under uncertainty via an integratedmodel using cross-efficiency Data Envelopment Analysis and Monte Carlosimulation

Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Fabio Sciancalepore

Fault detection based on neural networks and Independent ComponentAnalysisMaria J. Fuente, Gregorio I. Sainz-Palmero

Fault-tolerant servo systems using integrators with variable limitsKoichi Suyama, Noboru Sebe

Industrial Control II

Chairs: Alfonso Bafios, Maria Jesus de la FuenteAparicio

Time: Thursday 18th September, 11:40

Room: 102

/i.