Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622932
K. Nagorny, R. Harrison, A. Colombo, G. Kreutz
This paper describes an engineering approach suitable for a service-oriented control and monitoring environment in the industrial manufacturing area. Recent and current research projects (http://www.socrades.eu and http://www.imc-aesop.eu) have focused on the concepts, opportunities, feasibility and required strategies for the effective application of service-oriented architectures in the manufacturing domain, with systems potentially involving up to 10,000 distributed devices. Future work is now being focused on migration, engineering and performance optimization. This paper presents an engineering methodology. It describes an engineering path and proposes abstract engineering methods, based on a Petri net formalization, to better-support the problems that engineers face in the implementation of service-oriented control structures and dynamic behaviors, whilst at the same time minimizing training requirements. The described approach, methods and relevant paradigms (i.e., Service-Oriented Architectures (SOA) and High-Level Petri Net-based Orchestration) form the basis for the engineering-tools to be developed and used in an enterprise architecture based on the standard ISA'95.
{"title":"A formal engineering approach for control and monitoring systems in a service-oriented environment","authors":"K. Nagorny, R. Harrison, A. Colombo, G. Kreutz","doi":"10.1109/INDIN.2013.6622932","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622932","url":null,"abstract":"This paper describes an engineering approach suitable for a service-oriented control and monitoring environment in the industrial manufacturing area. Recent and current research projects (http://www.socrades.eu and http://www.imc-aesop.eu) have focused on the concepts, opportunities, feasibility and required strategies for the effective application of service-oriented architectures in the manufacturing domain, with systems potentially involving up to 10,000 distributed devices. Future work is now being focused on migration, engineering and performance optimization. This paper presents an engineering methodology. It describes an engineering path and proposes abstract engineering methods, based on a Petri net formalization, to better-support the problems that engineers face in the implementation of service-oriented control structures and dynamic behaviors, whilst at the same time minimizing training requirements. The described approach, methods and relevant paradigms (i.e., Service-Oriented Architectures (SOA) and High-Level Petri Net-based Orchestration) form the basis for the engineering-tools to be developed and used in an enterprise architecture based on the standard ISA'95.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"1 1","pages":"480-487"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77177846","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622890
L. Duerkop, Jahanzaib Imtiaz, H. Trsek, Lukasz Wisniewski, J. Jasperneite
In the future, production systems will consist of modular and flexible production components, being able to adapt to completely new manufacturing processes. This requirement arises from market turbulences caused by customer demands, i. e. highly customized goods in smaller production batches, or phenomenon like commercial crisis. In order to achieve adaptable production systems, one of the major challenges is to develop suitable autoconfiguration mechanisms for industrial automation systems. This paper presents a two-step architecture for the autoconfiguration of real-time Ethernet (RTE) systems. As a first step, an RTE-independent device discovery mechanism is introduced. Afterwards, it is shown how the parameters of an RTE can be configured automatically using Profinet IO as an exemplary RTE system. In contrast to the existing approaches, the proposed discovery mechanism is based on the OPC Unified Architecture (OPC-UA). In addition, a procedure to autoconfigure modular IO-Devices is introduced.
{"title":"Using OPC-UA for the autoconfiguration of real-time Ethernet systems","authors":"L. Duerkop, Jahanzaib Imtiaz, H. Trsek, Lukasz Wisniewski, J. Jasperneite","doi":"10.1109/INDIN.2013.6622890","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622890","url":null,"abstract":"In the future, production systems will consist of modular and flexible production components, being able to adapt to completely new manufacturing processes. This requirement arises from market turbulences caused by customer demands, i. e. highly customized goods in smaller production batches, or phenomenon like commercial crisis. In order to achieve adaptable production systems, one of the major challenges is to develop suitable autoconfiguration mechanisms for industrial automation systems. This paper presents a two-step architecture for the autoconfiguration of real-time Ethernet (RTE) systems. As a first step, an RTE-independent device discovery mechanism is introduced. Afterwards, it is shown how the parameters of an RTE can be configured automatically using Profinet IO as an exemplary RTE system. In contrast to the existing approaches, the proposed discovery mechanism is based on the OPC Unified Architecture (OPC-UA). In addition, a procedure to autoconfigure modular IO-Devices is introduced.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"46 1","pages":"248-253"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77572963","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622909
Claudio Gargiulo, Donato Pirozzi, V. Scarano
Nowadays, to design product impacted by fluid flow, industries use Computational Fluid Dynamics (CFD) to get a better insight into product behaviour. In this paper, we present a system architecture design for CFD Workflow management.
{"title":"An architecture for CFD Workflow management","authors":"Claudio Gargiulo, Donato Pirozzi, V. Scarano","doi":"10.1109/INDIN.2013.6622909","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622909","url":null,"abstract":"Nowadays, to design product impacted by fluid flow, industries use Computational Fluid Dynamics (CFD) to get a better insight into product behaviour. In this paper, we present a system architecture design for CFD Workflow management.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"39 1","pages":"352-357"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79727508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622982
Jan-Patrick Osterloh, H. Bracker, H. Müller, J. Kelsch, B. Schneider, A. Lüdtke
Modelling traffic or human-machine systems in different domains such as aeronautic, maritime and automotive is a challenging but well generalizable task. Within the modelling process, one is usually facing the complexity of the system dynamics and emergent effects like cooperation or competition on the one hand. But on the other hand in all domains, the system designer is dealing with a similar basis: Distributed multi-agent systems. This basis allows bringing orderliness and additional benefit into the system design process by means of a semi-formal and domain independent system description language. In this contribution, we propose such a description language for modelling of dynamic distributed cooperative systems (DCoS-XML). We will discuss the theoretical language structures towards a graphical tool for the language usage as well as an exemplary DCoS-XML application towards description of a design pattern for information displays in maritime domain.
{"title":"DCoS-XML: A modelling language for dynamic distributed cooperative systems","authors":"Jan-Patrick Osterloh, H. Bracker, H. Müller, J. Kelsch, B. Schneider, A. Lüdtke","doi":"10.1109/INDIN.2013.6622982","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622982","url":null,"abstract":"Modelling traffic or human-machine systems in different domains such as aeronautic, maritime and automotive is a challenging but well generalizable task. Within the modelling process, one is usually facing the complexity of the system dynamics and emergent effects like cooperation or competition on the one hand. But on the other hand in all domains, the system designer is dealing with a similar basis: Distributed multi-agent systems. This basis allows bringing orderliness and additional benefit into the system design process by means of a semi-formal and domain independent system description language. In this contribution, we propose such a description language for modelling of dynamic distributed cooperative systems (DCoS-XML). We will discuss the theoretical language structures towards a graphical tool for the language usage as well as an exemplary DCoS-XML application towards description of a design pattern for information displays in maritime domain.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"9 1","pages":"774-779"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85569282","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622911
G. Zhabelova, Chen-Wei Yang, V. Vyatkin
The paper proposes a novel computer-aided model-based system engineering process for Smart Gird applications. The process is supported by the SysGrid tool that plays the roles of system configurator and device configurator. The design process starts with single line diagrams which are automatically transformed to executable function block specifications. The process is based on the Smart Grid control architecture that is a heterogeneous network of controllers communicating in a peer to peer manner. This “artificial nervous system” of the Smart Grid will be capable of self-healing and dynamic adaptation to renewable generation and ever-changing loads. The tool supports system-level design of automation logic in the form of function block networks with compliancy to IEC 61499. The capabilities of SysGrid are demonstrated through the process of designing a distributed protection application.
{"title":"SysGrid: IEC 61850/IEC 61499 based engineering process for Smart Grid automation design","authors":"G. Zhabelova, Chen-Wei Yang, V. Vyatkin","doi":"10.1109/INDIN.2013.6622911","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622911","url":null,"abstract":"The paper proposes a novel computer-aided model-based system engineering process for Smart Gird applications. The process is supported by the SysGrid tool that plays the roles of system configurator and device configurator. The design process starts with single line diagrams which are automatically transformed to executable function block specifications. The process is based on the Smart Grid control architecture that is a heterogeneous network of controllers communicating in a peer to peer manner. This “artificial nervous system” of the Smart Grid will be capable of self-healing and dynamic adaptation to renewable generation and ever-changing loads. The tool supports system-level design of automation logic in the form of function block networks with compliancy to IEC 61499. The capabilities of SysGrid are demonstrated through the process of designing a distributed protection application.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"32 1","pages":"364-369"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85619452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622916
L. Ribeiro, J. Barata
This paper discusses the main problematic, misunderstandings and gaps associated with the development of self-organizing multiagent mechatronic systems. The paper reflects the authors' experience in designing and implementing Multiagent Mechatronic Systems. It also partly addresses the work developed under the FP7 IDEAS project (rated an EU FP7 success story) as a clarifying, but not unique, example. In this respect the paper presents a critical overview on how the existing technology is close to support the automation concepts envisioned by emerging production paradigms that rely on Emergence and Self-Organization as main constructs of the system and why technology alone should be understand as only a mean and not a end.
{"title":"Self-organizing multiagent mechatronic systems in perspective","authors":"L. Ribeiro, J. Barata","doi":"10.1109/INDIN.2013.6622916","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622916","url":null,"abstract":"This paper discusses the main problematic, misunderstandings and gaps associated with the development of self-organizing multiagent mechatronic systems. The paper reflects the authors' experience in designing and implementing Multiagent Mechatronic Systems. It also partly addresses the work developed under the FP7 IDEAS project (rated an EU FP7 success story) as a clarifying, but not unique, example. In this respect the paper presents a critical overview on how the existing technology is close to support the automation concepts envisioned by emerging production paradigms that rely on Emergence and Self-Organization as main constructs of the system and why technology alone should be understand as only a mean and not a end.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"110 1","pages":"392-397"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85804319","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622966
M. Cheminod
Security of industrial network is a hot topic that requires constant efforts. Access control models and related analysis are powerful tools for the design and verification of security policies. However, the methodologies developed in the standard ICT world are not always suitable for the application in industrial environments because of the well known limitations that these systems are constantly dealing with.We propose here an approach for the automatic verification of the implementation of security policies in industrial systems with a particular attention on the limited security mechanisms available in these environments. We leverage a formal class model suitable for the description of system device configurations and the related security policies.
{"title":"Policy implementation check in industrial networks","authors":"M. Cheminod","doi":"10.1109/INDIN.2013.6622966","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622966","url":null,"abstract":"Security of industrial network is a hot topic that requires constant efforts. Access control models and related analysis are powerful tools for the design and verification of security policies. However, the methodologies developed in the standard ICT world are not always suitable for the application in industrial environments because of the well known limitations that these systems are constantly dealing with.We propose here an approach for the automatic verification of the implementation of security policies in industrial systems with a particular attention on the limited security mechanisms available in these environments. We leverage a formal class model suitable for the description of system device configurations and the related security policies.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"98 1","pages":"682-687"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86052897","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622947
C. Insaurralde, Alois Zoitl
Current engineering tools for control software development of Industrial Automation Systems (IASs) are no longer capable of dealing with the architectural demands they entail. Increasingly-complex control software architectures make developers look for more efficient modeling methodologies to deal with such complexity. This paper discusses modeling gaps by focusing on the requirements analysis and architectural/detailed design stages of the IASs. It argues for having a good requirements notation on models to order to lead developers to end up in right control software for IASs. Following this hypothesis, the objective of this paper is to review existing modeling methodologies and technologies for control software architectures from factory automation and high-integrity systems. Thus, weaknesses and strengths can be identified in the industrial automation domain but also modeling capabilities from other domains can be added. This paper reveals modeling gaps given by what current approaches can provide and what is needed. It also discusses a mitigation way to close the above gap.
{"title":"System requirements in industrial automation","authors":"C. Insaurralde, Alois Zoitl","doi":"10.1109/INDIN.2013.6622947","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622947","url":null,"abstract":"Current engineering tools for control software development of Industrial Automation Systems (IASs) are no longer capable of dealing with the architectural demands they entail. Increasingly-complex control software architectures make developers look for more efficient modeling methodologies to deal with such complexity. This paper discusses modeling gaps by focusing on the requirements analysis and architectural/detailed design stages of the IASs. It argues for having a good requirements notation on models to order to lead developers to end up in right control software for IASs. Following this hypothesis, the objective of this paper is to review existing modeling methodologies and technologies for control software architectures from factory automation and high-integrity systems. Thus, weaknesses and strengths can be identified in the industrial automation domain but also modeling capabilities from other domains can be added. This paper reveals modeling gaps given by what current approaches can provide and what is needed. It also discusses a mitigation way to close the above gap.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"5 1","pages":"572-577"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82496944","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622914
P. Silva, S. Karnouskos, Dejan Ilić
The electric power grid is undergoing fundamental changes in light of the current focus on distributed generation, and in particular renewable generation (e.g., solar and wind). As a result, new methodologies and technologies are needed to effectively coordinate and make optimal use of the these resources. A distribution-system level energy market offers the potential to address this issue by providing an efficient mechanism for the pricing and allocation of resources. Market participants (e.g., households, ESCos, asset managers etc.) can apply economically driven strategies to trade energy while reacting to current and local levels of production and consumption. We evaluate here such a local neighborhood market and investigate its scalability under different numbers of participants and different penetrations photo-voltaic (PV) generation. The evaluation is carried out by simulating market operations under realistic production and consumption conditions. Results showed that the proposed market model scales well against both parameters.
{"title":"Evaluation of the scalability of an energy market for Smart Grid neighborhoods","authors":"P. Silva, S. Karnouskos, Dejan Ilić","doi":"10.1109/INDIN.2013.6622914","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622914","url":null,"abstract":"The electric power grid is undergoing fundamental changes in light of the current focus on distributed generation, and in particular renewable generation (e.g., solar and wind). As a result, new methodologies and technologies are needed to effectively coordinate and make optimal use of the these resources. A distribution-system level energy market offers the potential to address this issue by providing an efficient mechanism for the pricing and allocation of resources. Market participants (e.g., households, ESCos, asset managers etc.) can apply economically driven strategies to trade energy while reacting to current and local levels of production and consumption. We evaluate here such a local neighborhood market and investigate its scalability under different numbers of participants and different penetrations photo-voltaic (PV) generation. The evaluation is carried out by simulating market operations under realistic production and consumption conditions. Results showed that the proposed market model scales well against both parameters.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"101 1","pages":"380-385"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80804858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-07-29DOI: 10.1109/INDIN.2013.6622873
D. G. Costa, L. A. Guedes, F. Vasques, P. Portugal
Wireless sensor networks can be deployed for a large set of monitoring functions, providing information as humidity, pressure, temperature, luminosity, among many others. When monitored data is transmitted over wireless links, packets can be corrupted requiring some error recovery strategy. Hop-by-hop retransmission can provide an acceptable level of reliability, but can potentially increase the energy consumption of the network. In fact, wireless communications are error prone, and interferences may be concentrated in specific parts of the network. We propose a semi-reliable retransmission mechanism where only packets carrying critical information will be always retransmitted if corrupted. The remaining corrupted packets will not be retransmitted, saving energy of the network. We designed an energy consumption model to evaluate the proposed approach.
{"title":"Partial energy-efficient hop-by-hop retransmission in wireless sensor networks","authors":"D. G. Costa, L. A. Guedes, F. Vasques, P. Portugal","doi":"10.1109/INDIN.2013.6622873","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622873","url":null,"abstract":"Wireless sensor networks can be deployed for a large set of monitoring functions, providing information as humidity, pressure, temperature, luminosity, among many others. When monitored data is transmitted over wireless links, packets can be corrupted requiring some error recovery strategy. Hop-by-hop retransmission can provide an acceptable level of reliability, but can potentially increase the energy consumption of the network. In fact, wireless communications are error prone, and interferences may be concentrated in specific parts of the network. We propose a semi-reliable retransmission mechanism where only packets carrying critical information will be always retransmitted if corrupted. The remaining corrupted packets will not be retransmitted, saving energy of the network. We designed an energy consumption model to evaluate the proposed approach.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"88 1","pages":"146-151"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80272787","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：