INDIN IEEE 9th International Conference on Industrial Informatics - Program July 26 July 27 July 28 July 29

Transcription

1 INDIN IEEE 9th International Conference on Industrial Informatics - Program July 26 July 27 July 28 July 29 9:00 opening session 9:00 9:00 SS12 SS06a SS10 SS14 SS09 9:30 invited keynote Bogdan M. 'Dan' Wilamowski TT07a TT06 TT05 "Advantages and problems of soft computing" with 10:30 coffee posters 10:50 11:00 coffee 11:00 coffee SS05a SS01 11:20 invited keynote 11:20 invited keynote TT04a TT02a Luis M. Camarinha-Matos Stamatis Karnouskos "Behavioral Aspects in Collaborative "Cyber-Physical Systems in the Enterprise Networks" SmartGrid" 12:30 lunch 12:20 lunch 12:20 lunch Tutorials 14:00 invited keynote 13:50 13:50 Laïla Gide SS05c SS06b SS04 "ARTEMIS SRA 2011: Embedded Systems and Societal Challenges" TT03 TT08 TT07b TT01 15:00 coffee 15:20 15:30 coffee 15:30 SS05b SS02 15:50 TT04b TT02b SS05d SS11 17:00 17:30 TII TT04c TT02c

2 List of papers per track / special session SS01 Wireless Sensor and Actuator Networks in Industrial Automation Association Methods for Industrial Wireless Sensor LF Networks using Dynamic Hysteresis Jae-Hyung Lee, Eung-Soo Lee, Dong-Sung Kim Future Research Challenges in Wireless Sensor and LF Actuator Networks Targeting Industrial Automation Johan Akerberg, Mikael Gidlund, Mats Bjorkman LF Inertial-Visual Fusion For Camera Network Calibration Hadi Aliakbarpour, Jorge Dias LF Hardware Challenges and Their Resolution in Advancing WirelessHART Xiuming Zhu, Song Han, Aloysius Mok, Deji Chen, Mark Nixon LF Distributed Traffic Aware Routing with Multiple Sinks in Wireless Sensor Networks Quoc-Dinh Nguyen, Dang-Hoa Tran, Dong-Sung Kim SS02 Self-X and Autonomous Control in Engineering Applications Iterative Learning of Stochastic Disturbance Profiles Dirk Bielawny, Martin Krüger, Peter Reinold, Julia LF Using Bayesian Networks Timmermann, Ansgar Trächtler A real-time rescheduling heuristic using decentralized knowledge-based decisions for LF flexible flow shops with unrelated parallel machines Yi Tan, Mark Aufenanger LF Using Shape Analysis to verify Graph Transformations in Model Driven Design Dominik Steenken, Daniel Wonisch LF Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties Jürgen Gausemeier, Thomas Schierbaum, Roman Dumitrescu, Stefan Herbrechtsmeier, Alexander Jungmann LF A Test Bed for Investigating Self-X Properties in Multi-Robot Societies Alexander Jungmann, Jan Lutterbeck, Benjamin Werdehausen, Bernd Kleinjohann SS04 Self Recovery and Real Time Reconfiguration Real-time reconfiguration in complex embedded LF systems: a vision and its reality Marisol Garcia-Valls, Francisco Gómez-Molinero LF LF LF An Adaption of OSA-CBM Architecture for Human- Computer Interaction through Mixed Interface Embedded service oriented monitoring, diagnostics and control: towards the asset-aware and selfrecovery factory Data aggregation at field device level for industrial ambient monitoring using web services Safe Online Reconfiguration of Time- and Space- Partitioned Systems Danubia Espindola, Luca Fumagalli, Marco Garetti, Silvia Botelho, Carlos Pereira Axel Vidales Ramos, Ivan M. Delamer, Jose L. M. Lastra Angelica Nieto Lee, José L. Martínez Lastra LF Joaquim Rosa, João Craveiro, José Rufino SS05a Modern Software Engineering Methods and Approaches in Industrial Informatics - Software engineering in Automation Engineering Project Management Using The LF Engineering Cockpit: A collaboration platform for project managers and engineers Thomas Moser, Richard Mordinyi, Dietmar Winkler, Stefan Biffl LF Aspect-Oriented Programming of Video Based Systems Nuno Cardoso, Nuno Peixoto, Jorge Cabral, Jose Mendes, Joao Monteiro, Adriano Tavares Mohamed Hedi Karray, Brigitte Chebel-Morello, LF A Component Based System for S-maintenance Christophe Lang, Noureddine Zerhouni Protecting Know-How in Cross-Organisational Functional Mock-Up by a Service-Oriented Johannes Mezger, Michael Ditze, Michael Keckeisen, Carsten Kübler, Bernd Relovsky, Victor LF Approach with Trust Centres Fäßler LF Sustainable Visualization Solutions in Industrial Automation with Movisa a Case Study Stefan Hennig, Annerose Braune SS05b Modern Software Engineering Methods and Approaches in Industrial Informatics - Model-driven Engineering Evaluating Software Engineering Methods in the LF Context of Automation Applications Alpana Dubey

3 LF LF An IEC based Rule System for Integrated Automation Engineering: Concept and Case Study Adoption of Model-Driven methodology to aggregations design in Smart Grid Tina Kraußer, Gustavo Quirós, Ulrich Epple Igor Kaitovic, Slobodan Lukovic LF Challenges in Industrial Adoption of Model Driven Technologies in Process Control Application Design Jukka P. Peltola, Seppo A. Sierla, Timo Vepsäläinen, Kari O. Koskinen LF An Integrated Framework for Model-based Design and Verification of discrete Automation Solutions Mauro Mazzolini, Alessandro Brusaferri, Emanuele Carpanzano SS05c Modern Software Engineering Methods and Approaches in Industrial Informatics - Modelling, Simulation, Verification Modeling and Simulating the controller behavior of an Automated People Mover using IEC LF Communication Requirements Guilherme Kunz, Eduardo Perondi, José Machado LF Preventive Maintenance Manager design pattern for component based machine tools Felix Serna, Carlos Catalan, Alfonso Blesa, Josep M. Rams, José-Manuel Colom LF A new Model Structure based Synthesis Approach for Distributed Discrete Process Control Thomas Winkler, Hans-Christian Lapp, Hans- Michael Hanisch LF Observer Based Verification of IEC Function Blocks Zeeshan Ejaz Bhatti, Roopak Sinha, Partha S. Roop LF Distributed Execution and Cyber-Physical Design of Baggage Handling Automation with IEC Jeffrey Yan, Valeriy Vyatkin SS05d Modern Software Engineering Methods and Approaches in Industrial Informatics - IEC LF Progress in PLC Programming for Distributed Automation Systems Control Francesco Basile, Pasquale Chiacchio, Diego Gerbasio LF Generic and Reconfigurable IEC Function Blocks for Advanced Platform Independent Engineering Gerhard Ebenhofer, Martijn Rooker, Simon Falsig LF IEC Ontology Model for Semantic Analysis and Code Generation Wenbin Dai, Victor Dubinin, Valeriy Vyatkin LF Building Hierarchical Automation Solutions in the IEC Modeling Language Alois Zoitl, Herbert Prähofer LF Time-Complemented Event-Driven Control Framework for Distributed Motion Control Systems Based on IEC and IEEE 1588 Cheng Pang, Valeriy Vyatkin, Cesare Fantuzzi SS06a Knowledge Management Applications in Service Engineering LF Predicting the Characteristics of People Living in the South USA Using Logistic Regression and Decision Tree Shale-Gas Ontology, a robust data modeling methodology for integrating and connecting fractured reservoir petroleum ecosystems that LF affect production complexities LF Message Adaptor Code Generation Gongzhu Hu, Ramona Serban, Andrzej Kupraszewicz Shastri L. Nimmagadda, Heinz Dreher Ivan Gibbs, Husam Ghazaleh, Sergiu Dascalu Seasonal Rainfall Forecast using a Neo-Fuzzy LF Neuron Model Application of Case-Based Reasoning for Ship LF turning Emergency to prevent Collision A software application to improve human rights watching activities and to prepare police stations to LF face an ISO 9001:2008 certification procedure SS06b Knowledge Management Applications in Service Engineering Towards a Software Framework for Model LF Interoperability Thiago Castro, Francisco Souza, Jose Alves, Ricardo Pontes, Mosefran Firmino, Thiago Pereira Baisakhi Chakraborty, Narayan Debnath Narayan C. Debnath, Roberto Uzal, German Montejano, Daniel Riesco Sergiu Dascalu, Eric Fritzinger, Sohei Okamoto, Frederick Harris LF LF Application of CBR on Viral Fever Detection System(VFDS) Multidimensional Data Warehousing & Mining of Diabetes & Food-domain Ontologies for e-health Baisakhi Chakraborty, Samaresh Deyashi, Debrup Banerjee, Debidas Ghosh, Joyati Debnath Shastri L. Nimmagadda, Sashi K. Nimmagadda, Heinz Dreher

4 Deployment of Service Oriented Architecture in LF MANET: A Research Roadmap Management of Software Development Projects Based on SmallRUP Methodology through a LF Standard Workflow Engine SS09 SmartGrids LF ENERGOS: Integral smart grid management Towards a Distributed Intelligent ICT Architecture LF for the Smart Grid Software-Intensive Systems Interoperability in LF Smart Grids: A Semantic Approach Harmonization of Semantic Data Models of Electric LF Data Standards LF Distributed Semantic Repositories in Smart Grids SS10 Embedded Systems and Reconfigurable SoCs LF A FPGA based C runtime hardware accelerator Prasenjit Choudhury, Anirban Sarkar, Narayan C Debnath Narayan C. Debnath, Fabio Zorzan, Germán Montejano, Daniel Riesco Yoseba K. Penya, Juan Garbajosa, Mariano Ortega, Eloy González Mariano Ortega de Mues, Alejandro Álvarez Acero, Angelina Espinosa, Juan Garbajosa Angelina Espinoza, Mariano Ortega, Carlos Fernandez, Juan Garbajosa, Alejandro Alvarez Juan Carlos Nieves, Mariano Ortega de Mues, Angelina Espinoza, Daniel Rodríguez-Álvarez Aitor Peña, Yoseba K. Penya Paulo Garcia, Filipe Salgado, Paulo Cardoso, Jorge Cabral, Adriano Tavares LF System development using Petri net based modules Aniko Costa, Luis Gomes Processor s micro-architectural support for runtime Paulo Garcia, Tiago Gomes, Filipe Salgado, Jorge LF environment Cabral, Adriano Tavares, Joao Monteiro LF GPU acceleration of Automated Speech Recognition for Mobile Devices Richard Veitch, Roger Woods, Louis-Marie Aubert Introducing Model-based Development within the LF Reengineering of a Smart House Controllers System Mauro Reis, Rogério Campos-Rebelo, Luís Gomes Vítor Silva, Tiago Malheiro, Jorge Cabral, Jose LF Real-Time Low-Cost Industrial Acquisition System Mendes, Adriano Tavares SS11 Behavioural Models for Embedded Systems LF An Ecore based Petri net Type Definition for PNML IOPT Models José Ribeiro, Filipe Moutinho, Fernando Pereira, João Paulo Barros, Luís Gomes LF IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics Fernando Pereira, Filipe Moutinho, Luis Gomes, Rogério Campos-Rebelo Elthon Oliveira, Leandro Silva, Angelo Perkusich, LF Obtaining Formal Models from Ladder Diagrams Kyller Gorgônio, Aldenor Martins LF Dataflow Model Property Verification Using Petri net Translation Techniques José Rocha, Luís Gomes, Octávio Dias Dynamic Reconfigurable Multicast Interconnections LF by using Radix-4 Multistage Networks in FPGA SS12 Reconfigurable Computing Trends Parallel Paradigms and Run-time Management Techniques for Many-core Architectures: The LF PARMA Approach LF ERA - Embedded Reconfigurable Architectures Ricardo Ferreira, Julio Vendramini, Mauro Rocha Cristina Silvano Stephan Wong, Anthony Brandon, Fakhar Anjam, Roel Seedorf, Roberto Giorgi, Zhibin Yu, Nikola Puzovic, Sally A. Mckee, Magnus Sjaelander, Georgios Keramidas LF LF Implementation of an ultra-high speed 256-point FFT for Xilinx Virtex-6 devices Programming Safety Requirements in the REFLECT Design Flow Michael Dreschmann, Joachim Meyer, Michael Huebner, Rene Schmogrow, David Hillerkuss, Juergen Becker, Juerg Leuthold, Wolfgang Freude Zlatko Petrov, Kamil Krátký, João Cardoso, Pedro Diniz Reconfigurable MPSoC versus GPU: Performance, LF Power and Energy Evaluation SS14 INDIN-NDS German Network of Excellence Diana Goehringer, Matthias Birk, Yves Dasse-Tiyo, Nicole Ruiter, Michael Huebner, Juergen Becker

5 LF LF Smart least-resolution imager for industrial applications Embedded Vision System for Robotics and Industrial Automation Carsten Koch, Tim Niemeyer, Christian Linck, Ewald Matull Reinhard Gerndt, Soeren Michalik, Stefan Krupop LF Design Level Debugging of Timing Behavior in Embedded Systems: Using a Model-Based Approach Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermueller Padma Iyenghar, Michael Spieker, Pablo Tecker, Juergen Wuebbelmann, Clemens Westerkamp, Walter van der Heiden, Andreas Willert Applicability of an Integrated Model-Based Testing LF Approach for RTES Availability Calculation of Meshed, Ethernet based LF Automation Networks Karl-Heinz Niemann Kristian Virkus, Matthias Barkhoff, Tobias Applied Shop Floor Scheduling and Sequencing in an Stöckmann, Uwe Schmidtmann, Gerhard Kreutz, LF Agent-Controlled Production Armando Walter Colombo TT01 Infrastructure and Technology in Industrial Informatics Service-Oriented Application Integration for Condition-Based Maintenance with OPC Unified LF Architecture Ilkka Seilonen, Antti Tuomi, Jari Olli, Kari Koskinen Optimal Gradient Routing with Two-hop LF Information for Industrial Sensor Networks Quang Pham, Dong-Sung Kim, Ho-Kyoun Lee Agent Based Decision Support System for Optimizing Logistical Processes in Agricultural Julian Quindt, Eike Reetz, Vanessa Kukuck, Ralf LF Production Tönjes, Clemens Westerkamp Comparing KNXnet/IP Forwarding Rules in LF Congestion Conditions Salvatore Cavalieri TT02a Cognitive and Computational Intelligence in Industrial Informatics Bio-Inspired Coordination and Control in Self- Jan Van Belle, Paul Valckenaers, Bart Saint LF Organizing Logistic Execution Systems Germain, Rudi Bahtiar, Dirk Cattrysse Action primitives for bionics inspired action LF planning system Andreas Perner, Heimo Zeilinger A Detection Method of FAQ Matching Inquiry E- mails by Automatic Generation of Characteristic LF Word Groups on Past Inquiry s Causal Structure Learning in Process Engineering LF Using Bayes Nets and Soft Interventions Condition Monitoring based on Kernel Classifier LF Ensembles TT02b Cognitive and Computational Intelligence in Industrial Informatics Yuki Sakumichi, Masanori Akiyoshi, Masaki Samejima, Hironori Oka Christian Kuehnert, Thomas Bernard, Christian Frey Eduardo Mendel, Flávio M. Varejão, Rodrigo J. Batista LF LF LF Energy efficiency improvement through context sensitive self-learning of machine availability Cognitive Decision Unit Applied to Autonomous Biped Robot NAO Risk Based Decision Support System for Life Cycle Management of Industrial Plants LF Mamdani type fuzzy inference failures in navigation Using Advanced Simulation Techniques to Improve LF Industrial Controller s Dependability TT02c Cognitive and Computational Intelligence in Industrial Informatics Real-Time Issues of Predictive Modeling for LF Industrial Cognitive Radios Support Vector Machines versus Artificial Neural LF Networks in Data Classification José Bittencourt, Ralf Bonefeld, Sebastian Scholze, Dragan Stokic, Mohammad Uddin, José Lastra Tobias Deutsch, Markus Bader, Roland Lang, Heimo Zeilinger, Clemens Muchitsch, Markus Vincze Maria Marques, Rui Neves-Silva Lokukaluge Perera, Joao Carvalho, Carlos Guedes Soares Eurico Seabra, José Machado Kaleem Ahmad, Ganesh m. Shrestha, Uwe Meier E. A. Zanaty, Sultan Aljahdali

6 LF A high-speed generation of goal-oriented scenarios using combination of bidirectional propagation on qualitative and quantitative hybrid model Digital Print Workflow Optimization Under Due- LF Dates, Opportunity Cost and Resource Constraints TT03 Distributed, Embedded and Networked Control Loosely Coupled Architecture Network Control LF Systems Masaki Samejima, Yoshihiro Morita, Masanori Akiyoshi Mukesh Agrawal, Qing Duan, Krishnendu Chakrabarty, Jun Zeng, I-Jong Lin, Gary Dispoto, Yuan-Shin Lee Milton Cunguara, Tomás Silva, Paulo Pedreiras LF Common communication model for distributed automation systems Thomas Hadlich, Christian Diedrich, Karin Eckert, Timo Frank, Alexander Fay, Birgit Vogel-Heuser LF Monitoring Service Choreographies André Röder, Matthias Lehmann, Klaus Kabitzsch From IOPT Petri nets to C: an Automatic Code Rogério Campos-Rebelo, Fernando Pereira, Filipe LF Generator Tool Moutinho, Luis Gomes Fernando Pereira, Filipe Moutinho, Luis Gomes, LF A IOPT-net State-Space Generator Tool José Ribeiro, Rogério Campos-Rebelo TT04a Factory Automation and Industrial Informatics - Industrial communications LF Convergence of OPC UA and DPWS with a crossdomain Data Model Bernard Bony, Michael Harnischfeger, Francois Jammes OPC-UA and DPWS Interoperability for Factory Floor Jorge Garcia Izaguirre, Andrei Lobov, Jose L. LF Monitoring using Complex Event Processing Martinez Lastra LF DPWS as Specific Communication Service Mapping for IEC Jose Lima, Celson Lima, Vasco Gomes, João Martins, José Barata, Luís Ribeiro, Gonçalo Cândido LF Adaptive and Robust Monitoring Approach for WSAN Environments Luis Brito Palma, Paulo Sousa Gil LF An EtherCAT-based Motor Drive for High Precision Motion Systems Minyoung Sung, Kanghee Kim, Hyun-Wook Jin, Taehyoun Kim TT04b Factory Automation and Industrial Informatics - Advanced Manufacturing and Maintenance Techniques LF Process plan generation in reconfigurable manufacturing systems using adapted NSGA-II and AMOSA Bensmaine Abderrahmane, Benyoucef Lyes, Dahane Mohammed Mohammad Kamal Uddin, Aleksandra Dvoryanchikova, Jose Luis Martinez Lastra, LF Service Oriented Computing to Self-Learning Production System Sebastian Scholze, Dragan Stokic, Gonçalo Cândido, Jose Barata LF Autonomous Product Memories for Industrial Applications Christian Seitz, Joerg Neidig, Thomas Runkler Javier Nieves, Igor Santos, Xabier Ugarte-Pedrero, LF Anomaly Detection for High Precision Foundries Pablo G. Bringas TT04c Factory Automation and Industrial Informatics - Manufacturing Automation LF Modeling and Validation based on Manufacturing Standards Elisabet Estevez, Dario Orive, Isabel Sarachaga, Marga Marcos Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten LF Toward Verification of Material Handling Systems Schmidt LF Controlling Discrete Manufacturing Processes Using Kanban and Heijunka Approaches Thomas Runkler LF Design challenges for implementing a customer driven mass-customisation system Anthony J Soroka, Le C Hieu A fuzzy based algorithm to Manage Power LF Consumption in Industrial Wireless Sensor Networks TT05 Human, Computer and Machine Interface Physically Based Simulation of Heterogeneous LF Deformable Models Using XFEM Mario Collotta, Giovanni Pau, Valerio Mario Salerno, Gianfranco Scatà Sara Farag, Wael Abdelrahman, Saeid Nahavandi, Douglas Creighton

7 Virtual Reality-Aided Planning for Energy- LF Autonomous Factories Auditory decorator of complex sounds for LF teleoperation systems Towards context adaptive HMIs in process LF industries SidneyChart: a statechart GUI for SOA Orchestration LF in Autonomous Industrial Systems. TT06 Mechatronics and Robotics Inverters with Reduced Switching Losses for LF Industrial Applications A new Approach for Robot Motion Planning using LF Rapidly-exploring Randomized Trees Low-cost Motion Control Solution for Industrial LF Manufacturing Systems Passivity-Based Speed Control of PMSM with the Online Estimation of Unknown Resistance and LF Torque LF Feed drive control considering multi-axis coupling effects and extension to contouring control LF A Mechatronic Device for Spasticity Quantification TT07a Industrial Informatics Applications Maintaining Image Quality when Watermarking LF Grayscale Comic Images for Electronic Books LF LF GPGPU Implementation of Adaptive Fractal Image Coding Algorithm using Index Vectors A Generic Framework for Failure Modes and Effects Analysis of Automotive Networks Reimund Neugebauer, Franziska Pürzel, Antje Schreiber, Tino Riedel Hirohiko Kuramata, Takahiro Yakoh Leon Urbas, Stefan Hennig, Henning Hager, Falk Doherr, Annerose Braune Pedro Malaca, Germano Veiga, Norberto Pires Valery Vodovozov, Mikhail Egorov, Zoja Raud, Tonu Lehtla Lukas Krammer, Wolfgang Granzer, Wolfgang Kastner Radu E. Breaz, Octavian C. Bologa, Melania Tera, Cristian Deac Shuanghe Yu, Zhenqiang Yang, Sheng Qiang, Jialu Du Naoki Uchiyama, Shigenori Sano João Ferreira, Vitor Moreira, José Machado, Filomena Soares Takaaki Yamada, Ryu Ebisawa, Yoshiyasu Takahashi Akiyoshi Wakatani, Masayuki Mede, Koujirou Tanaka Candice Muller, Eric Armengaud, Maurizio Valle, Allan Tengg LF Analyzing and Exploring Feature Detectors in Images Paulo Drews Jr, Rodrigo de Bem, Alexandre Melo LF Service-oriented Computing in Manufacturing Automation: A SWOT Analysis Marco Mendes, Paulo Leitao, Armando W. Colombo LF Analysis of Maintenance Histories in Industrial Equipment with Frequent Maintenance Demand Clemens Schwenke, Volodymyr Vasyutynskyy, André Röder, Klaus Kabitzsch TT07b Industrial Informatics Applications LF My_Easy_Shop_System Joao Ferreira Mobile Technology to Support Maintenance LF Efficiency - Mobile Maintenance in Heavy Industry Jere Toni Kalevi Backman, Heli Susanna Helaakoski LF Modeling of Energy-Sensitive Manufacturing Processes Björn Krellner, Raphael Kunis, Gudula Rünger LF Asymptotic Tracking and Disturbance Rejection of Servo Systems Sheng Qiang, Xinglin Chen, Shuanghe Yu Fumihiko Nakazawa, Hiromitsu Soneda, Osamu Smart Power Strip Network and Visualization Server Tsuboi, Akinori Iwakawa, Masahiko Murakami, LF to Motivate Energy Conservation in office Masahiro Matsuda, Naoyuki Nagao TT08 New Paradigms in Industrial Informatics A Generic Simulation Environment for Agent-Based LF FMS Scheduling Iman Badr, Peter Göhner LF Simulation of Multi-agent Manufacturing Systems using Agent-based Modelling Platforms José Barbosa, Paulo Leitão LF Stigmergy based Autonomous Shop Floor Control with Wireless Sensor Networks Ke Shi, Xuan Qin LF Modeling System of Systems: A Generic Method Based on System Characteristics and Interface Bo Zhou, Aleksandra Dvoryanchikova, Andrei Lobov, Jose Luis Martinez Lastra LF Prospecting Tools for Mechatronic Multiagentbased Systems Luis Ribeiro, Jose Barata

8