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.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.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.6622894
Rhea Valentina, Markus Ruppert, P. Nenninger, Francisco Mendoza
Instrumentation is an important part in the industrial automation domain as it is fundamentally required for process control loops. Virtual Prototyping (VP) as prime technology is considered as a novel approach to aid in the development Industrial Instruments. However, using state-of-the-art VP technologies requires a high degree of expertise, thereby limiting its usability among multi-disciplinary teams. This paper proposes a new approach for easing the use of VP technologies among different domain experts. It provides common grounds for domain experts to productively interact and share knowledge already in early stages of development. This is done by extending an existing virtual prototype of an Industrial Instrument with an integrated interfacing methodology. In this paper, the design, implementation, and integration of a custom HMI for an industrial temperature transmitter instrument are presented. This includes the verification and validation of the VP-enhanced development process. The presented evaluation shows the encapsulation of the complexity of Virtual Platform-based development process to enable agile development of Industrial Instruments.
{"title":"Human machine interface for Virtual Prototyping of Industrial Instruments","authors":"Rhea Valentina, Markus Ruppert, P. Nenninger, Francisco Mendoza","doi":"10.1109/INDIN.2013.6622894","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622894","url":null,"abstract":"Instrumentation is an important part in the industrial automation domain as it is fundamentally required for process control loops. Virtual Prototyping (VP) as prime technology is considered as a novel approach to aid in the development Industrial Instruments. However, using state-of-the-art VP technologies requires a high degree of expertise, thereby limiting its usability among multi-disciplinary teams. This paper proposes a new approach for easing the use of VP technologies among different domain experts. It provides common grounds for domain experts to productively interact and share knowledge already in early stages of development. This is done by extending an existing virtual prototype of an Industrial Instrument with an integrated interfacing methodology. In this paper, the design, implementation, and integration of a custom HMI for an industrial temperature transmitter instrument are presented. This includes the verification and validation of the VP-enhanced development process. The presented evaluation shows the encapsulation of the complexity of Virtual Platform-based development process to enable agile development of Industrial Instruments.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"10 1","pages":"270-275"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75491322","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}
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.6622875
Gaetano Patti, Giuliana Alderisi, L. L. Bello
The PRIME (PoweRline Intelligent Metering Evolution) protocol is a very popular multicarrier narrowband PLC protocol that fits the needs of advanced metering infrastructure applications. This paper proposes a performance assessment of the PRIME MAC layer protocol obtained through OMNeT simulations in different scenarios. The contribution of the paper is twofold. The first contribution is an approach to overcome a well-known problem of discrete-event simulators, i.e., the fact that they do not provide functionalities to emulate the continuous effects of signal propagation. To solve this problem, in this paper the channel is modeled based on measurements, made on real testbeds, so our simulator embeds data taken from experiments performed in a real scenario. The second contribution is the assessment of the impact of the modulation scheme on the performance of the PRIME protocol.
{"title":"Performance assessment of the PRIME MAC layer protocol","authors":"Gaetano Patti, Giuliana Alderisi, L. L. Bello","doi":"10.1109/INDIN.2013.6622875","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622875","url":null,"abstract":"The PRIME (PoweRline Intelligent Metering Evolution) protocol is a very popular multicarrier narrowband PLC protocol that fits the needs of advanced metering infrastructure applications. This paper proposes a performance assessment of the PRIME MAC layer protocol obtained through OMNeT simulations in different scenarios. The contribution of the paper is twofold. The first contribution is an approach to overcome a well-known problem of discrete-event simulators, i.e., the fact that they do not provide functionalities to emulate the continuous effects of signal propagation. To solve this problem, in this paper the channel is modeled based on measurements, made on real testbeds, so our simulator embeds data taken from experiments performed in a real scenario. The second contribution is the assessment of the impact of the modulation scheme on the performance of the PRIME protocol.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"40 1","pages":"158-164"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85040144","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.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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：