Pub Date : 2017-07-01DOI: 10.1109/INDIN.2017.8104780
G. Mehdi, T. Runkler, M. Roshchin, S. Suresh, Nguyen Quang
In industrial power generation plants, subsystem monitoring and analytics play a vital role in quantifying the knowledge about different factors that impact their overall performance. Multi-dimensional performance metrics, e.g. thermal efficiency, in-service time, mean-time-to-failure etc., are calculated that may have different data constraints, modelling techniques, and execution frameworks. Automating these calculations and combining multiple metrics to form a single performance index (e.g. reliability) is a challenging task as it requires considerable domain-specific expertise and consolidation of performance-related data and its underlying models. In this paper, we propose to use ontologies to assist domain analyst to first, capture appropriate semantic data of an individual performance metric, and later to provide means to integrate and execute multiple metrics to accurately reflect the overall performance of a plant. We present our prototypical implementation, its evaluation; furthermore, we discuss an ontology model that currently describes three distinct analytical models and its related data based on the case study of Siemens gas turbines. We also demonstrate how ontologies can support to infer the appropriate aggregation method in calculating composite indices.
{"title":"Ontology-based integration of performance related data and models: An application to industrial turbine analytics","authors":"G. Mehdi, T. Runkler, M. Roshchin, S. Suresh, Nguyen Quang","doi":"10.1109/INDIN.2017.8104780","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104780","url":null,"abstract":"In industrial power generation plants, subsystem monitoring and analytics play a vital role in quantifying the knowledge about different factors that impact their overall performance. Multi-dimensional performance metrics, e.g. thermal efficiency, in-service time, mean-time-to-failure etc., are calculated that may have different data constraints, modelling techniques, and execution frameworks. Automating these calculations and combining multiple metrics to form a single performance index (e.g. reliability) is a challenging task as it requires considerable domain-specific expertise and consolidation of performance-related data and its underlying models. In this paper, we propose to use ontologies to assist domain analyst to first, capture appropriate semantic data of an individual performance metric, and later to provide means to integrate and execute multiple metrics to accurately reflect the overall performance of a plant. We present our prototypical implementation, its evaluation; furthermore, we discuss an ontology model that currently describes three distinct analytical models and its related data based on the case study of Siemens gas turbines. We also demonstrate how ontologies can support to infer the appropriate aggregation method in calculating composite indices.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"23 1","pages":"251-256"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91343500","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104921
Taweesak Kuhamanee, Nattaphon Talmongkol, Krit Chaisuriyakul, W. San-Um, Noppadon Pongpisuttinun, S. Pongyupinpanich
This paper presents an analysis of sentiment of foreign tourists to Bangkok, Thailand, using data mining approach through online social networks. The objective is to acquire information on sentiment of foreign tourists in order to improve and foster tourism industry of Bangkok. This paper has retrieved 10,000 datasets from Twitter in 2017. Such datasets were tokenized and filtered in order to obtain sentiment English words. Subsequently, the sentiment English words were purposely classified into five categories of visiting Bangkok, involving (i) Traveling, (ii) Business, (iii) Visiting Family, (iv) Education, and (v) Health and Treatments. It has revealed that the traveling purpose has the highest percentage of 71.93% followed by business and visiting family. Therefore, the sentiment of foreign tourists to traveling in Bangkok was analyzed through four approaches, i.e. (i) Decision Tree, (ii) Naïve Bayes, (iii) Support Vector Machine (SVM), and (iv) Artificial Neural Network (ANN), using RapidMiner Studio7.4. The results have shown that the foreign tourists visit in Bangkok mostly for nightlife activity, Thai culture, and shopping with percentages of 65.54%, 16.07%, and 13.61%, respectively, meanwhile temple and historical sites, Thai cuisine, and nature are not significant. The accuracy of sentiment analysis approaches of Decision Tree, Naïve Bayes, SVM, and ANN are 79.83%, 55.66%, 80.11%, and 80.33%, respectively. Based upon ANN approach that provides the highest accuracy, the positive sentiments were found to be a visit for nightlife activity, temple and historical sites, Thai cuisine, and nature. On the other hand, the negative sentiment was Thai culture while shopping is relatively neutral. This paper therefore suggests an acceleration of nightlife activity of Bangkok in order to foster tourism industry of Bangkok.
{"title":"Sentiment analysis of foreign tourists to Bangkok using data mining through online social network","authors":"Taweesak Kuhamanee, Nattaphon Talmongkol, Krit Chaisuriyakul, W. San-Um, Noppadon Pongpisuttinun, S. Pongyupinpanich","doi":"10.1109/INDIN.2017.8104921","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104921","url":null,"abstract":"This paper presents an analysis of sentiment of foreign tourists to Bangkok, Thailand, using data mining approach through online social networks. The objective is to acquire information on sentiment of foreign tourists in order to improve and foster tourism industry of Bangkok. This paper has retrieved 10,000 datasets from Twitter in 2017. Such datasets were tokenized and filtered in order to obtain sentiment English words. Subsequently, the sentiment English words were purposely classified into five categories of visiting Bangkok, involving (i) Traveling, (ii) Business, (iii) Visiting Family, (iv) Education, and (v) Health and Treatments. It has revealed that the traveling purpose has the highest percentage of 71.93% followed by business and visiting family. Therefore, the sentiment of foreign tourists to traveling in Bangkok was analyzed through four approaches, i.e. (i) Decision Tree, (ii) Naïve Bayes, (iii) Support Vector Machine (SVM), and (iv) Artificial Neural Network (ANN), using RapidMiner Studio7.4. The results have shown that the foreign tourists visit in Bangkok mostly for nightlife activity, Thai culture, and shopping with percentages of 65.54%, 16.07%, and 13.61%, respectively, meanwhile temple and historical sites, Thai cuisine, and nature are not significant. The accuracy of sentiment analysis approaches of Decision Tree, Naïve Bayes, SVM, and ANN are 79.83%, 55.66%, 80.11%, and 80.33%, respectively. Based upon ANN approach that provides the highest accuracy, the positive sentiments were found to be a visit for nightlife activity, temple and historical sites, Thai cuisine, and nature. On the other hand, the negative sentiment was Thai culture while shopping is relatively neutral. This paper therefore suggests an acceleration of nightlife activity of Bangkok in order to foster tourism industry of Bangkok.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"89 1","pages":"1068-1073"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85984162","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104863
A. Roque, Charles Steinmetz, E. P. Freitas, C. Pereira
Faults in industrial communication protocols represent an important problem for industrial systems as they may lead to severe losses. Observing the need for approaches to deal with this type of problem, this paper studies reliability aspects related to industrial communication protocols and the modeling of possible communication faults. The work proposes a requirements specification based on aspect-oriented concepts to map and model common faults in design phases of embedded systems. A model integrating fault modeling in communication protocols extending the Real-Time From Requirements to Design using Aspects (RT-FRIDA) framework is presented. A case study on vehicular networks was conducted considering the nonfunctional requirements specification of an Active Suspension System. Then, a sequence of fault requirements based in recent studies is modeled and presented to validate the proposed approach. The main contribution of this work is to enable the use of fault modeling in communication protocols and aspect-oriented modeling techniques to mitigate the fault impact in the timing behavior of critical tasks. This study indicates the use of observers' technique modeled to fault diagnosis, so that they can be aggregated into a real-time control system.
{"title":"Modeling faults in communication protocols based on an aspect-oriented method","authors":"A. Roque, Charles Steinmetz, E. P. Freitas, C. Pereira","doi":"10.1109/INDIN.2017.8104863","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104863","url":null,"abstract":"Faults in industrial communication protocols represent an important problem for industrial systems as they may lead to severe losses. Observing the need for approaches to deal with this type of problem, this paper studies reliability aspects related to industrial communication protocols and the modeling of possible communication faults. The work proposes a requirements specification based on aspect-oriented concepts to map and model common faults in design phases of embedded systems. A model integrating fault modeling in communication protocols extending the Real-Time From Requirements to Design using Aspects (RT-FRIDA) framework is presented. A case study on vehicular networks was conducted considering the nonfunctional requirements specification of an Active Suspension System. Then, a sequence of fault requirements based in recent studies is modeled and presented to validate the proposed approach. The main contribution of this work is to enable the use of fault modeling in communication protocols and aspect-oriented modeling techniques to mitigate the fault impact in the timing behavior of critical tasks. This study indicates the use of observers' technique modeled to fault diagnosis, so that they can be aggregated into a real-time control system.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"42 1","pages":"732-737"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90625486","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104849
Nadra Tabassam, R. Obermaisser
Active diagnosis in real time embedded computer systems increases the overall reliability of the system by performing error detection and fault recovery. Real time databases and diagnostic queries are a common solution to realize active diagnosis. This paper presents a technique to optimize the diagnostic queries in a fault tolerant real time embedded system. A directed graph called the DMG (Diagnostic Multi-query Graph) based on the diagnostic symptoms and features is the input to the query optimization module for the processing of each query within a short worst case execution time. The diagnostic inference process is temporally and spatially decomposed by introducing intermediate inference steps called symptoms. These symptoms and diagnostic features extracted from the DMG are stored in an embedded database created in a Pervasive SQL server. The query execution is based on periods and each query node of the DMG has to finish within its time bound which is worst case execution time of the query. At first the estimated worst case execution time for each diagnostic query is calculated. After that the algorithm optimizes the diagnostic query using a class based query categorization technique. The access method for each query is selected on the basis of its type. For join queries the most optimized join order is calculated by estimating the selectivity factor based on the number of tuples present in each join order. Results presented in this context show that the diagnostic queries are optimized effectively and their estimated worst case execution time is minimized.
{"title":"Class-based query-optimization for minimizing worst-case execution times of diagnostic queries in embedded real-time systems","authors":"Nadra Tabassam, R. Obermaisser","doi":"10.1109/INDIN.2017.8104849","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104849","url":null,"abstract":"Active diagnosis in real time embedded computer systems increases the overall reliability of the system by performing error detection and fault recovery. Real time databases and diagnostic queries are a common solution to realize active diagnosis. This paper presents a technique to optimize the diagnostic queries in a fault tolerant real time embedded system. A directed graph called the DMG (Diagnostic Multi-query Graph) based on the diagnostic symptoms and features is the input to the query optimization module for the processing of each query within a short worst case execution time. The diagnostic inference process is temporally and spatially decomposed by introducing intermediate inference steps called symptoms. These symptoms and diagnostic features extracted from the DMG are stored in an embedded database created in a Pervasive SQL server. The query execution is based on periods and each query node of the DMG has to finish within its time bound which is worst case execution time of the query. At first the estimated worst case execution time for each diagnostic query is calculated. After that the algorithm optimizes the diagnostic query using a class based query categorization technique. The access method for each query is selected on the basis of its type. For join queries the most optimized join order is calculated by estimating the selectivity factor based on the number of tuples present in each join order. Results presented in this context show that the diagnostic queries are optimized effectively and their estimated worst case execution time is minimized.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"50 2 1","pages":"653-658"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90992675","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104859
A. Voinov, Chen-Wei Yang, V. Vyatkin
This paper presents an automatic software generation method for energy distribution automation. The method uses the distribution network structure represented in SCL format of the IEC 61850 standard and generates complete executable applications compliant with the IEC 61499 standard. Each equipment element is based on the componentized MVC design pattern and can be executed on a distributed network of HMI and control devices. The challenges solved in this work include design and automatic generation of a library of substation equipment elements according to the MVC design pattern and secondly, automatic generation of SCADA HMI based on the IEC 61850 specification. The design process is demonstrated in a laboratory case study.
{"title":"Automatic generation of function block systems implementing HMI for energy distribution automation","authors":"A. Voinov, Chen-Wei Yang, V. Vyatkin","doi":"10.1109/INDIN.2017.8104859","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104859","url":null,"abstract":"This paper presents an automatic software generation method for energy distribution automation. The method uses the distribution network structure represented in SCL format of the IEC 61850 standard and generates complete executable applications compliant with the IEC 61499 standard. Each equipment element is based on the componentized MVC design pattern and can be executed on a distributed network of HMI and control devices. The challenges solved in this work include design and automatic generation of a library of substation equipment elements according to the MVC design pattern and secondly, automatic generation of SCADA HMI based on the IEC 61850 specification. The design process is demonstrated in a laboratory case study.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"126 1","pages":"706-713"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87888964","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104754
A. Lüder, B. Vogel‐Heuser, Nicole Schmidt, Julia Prieler
Several research and development activities have been, are, and will be conducted towards the development of agile production systems. All of the will had, have, and will have their individual rationales, aims, and reached results. To enable comparability and a broader application of reached results means for representation of the application field of the research activity are required. As most research and development activities validate their results within a demonstration system one possibility for the representation is a detailed classification of the demonstration system towards agility capabilities of the demonstration system. A first idea of such a classification is given in this paper.
{"title":"Metric based modelling of flexibility properties of demonstration plants","authors":"A. Lüder, B. Vogel‐Heuser, Nicole Schmidt, Julia Prieler","doi":"10.1109/INDIN.2017.8104754","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104754","url":null,"abstract":"Several research and development activities have been, are, and will be conducted towards the development of agile production systems. All of the will had, have, and will have their individual rationales, aims, and reached results. To enable comparability and a broader application of reached results means for representation of the application field of the research activity are required. As most research and development activities validate their results within a demonstration system one possibility for the representation is a detailed classification of the demonstration system towards agility capabilities of the demonstration system. A first idea of such a classification is given in this paper.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"51 1","pages":"103-108"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88082691","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104753
D. Kulikov, Evgeniy Yablochnikov, Artem Vostropyatov, Aleksandr Arnst
The report sets out the methodology of computer-aided design of operating the workpiece (OW), a concept which is: use the added solids, CAD-electronic system of geometric models of OW in parallel with the establishment of parametric models of OW, built-in CAD macro system for calculating operational sizes and the use of a single informational space. The implementation of methods allows you to increase the level of automation in the designing of technological processes and increase the quality of technological processes.
{"title":"Method of automated design of operating the workpieces in a CAD system environment","authors":"D. Kulikov, Evgeniy Yablochnikov, Artem Vostropyatov, Aleksandr Arnst","doi":"10.1109/INDIN.2017.8104753","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104753","url":null,"abstract":"The report sets out the methodology of computer-aided design of operating the workpiece (OW), a concept which is: use the added solids, CAD-electronic system of geometric models of OW in parallel with the establishment of parametric models of OW, built-in CAD macro system for calculating operational sizes and the use of a single informational space. The implementation of methods allows you to increase the level of automation in the designing of technological processes and increase the quality of technological processes.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"118 1","pages":"96-102"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86200165","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104869
E. Nefedov, S. Sierla, V. Vyatkin
The electric vehicles can contribute to reducing electricity costs by providing their batteries as temporary energy storages. The paper presents a new mechanism of their implementation in systems with distributed energy resources. The method is based on individual contracts that facility company makes with the drivers of electric vehicles. The company that has own energy generation from photovoltaic panels, stores and uses the electricity in the batteries of vehicles while they are in the parking lot. The contracts specify the required level of charge at the end of agreement and the financial compensation. The paper analysed proposed cooperation between facility owner and multiple electric vehicles in simulation, using real energy, weather and vehicles behaviour data. All the electric vehicles can significantly reduce the average recharging bill, as well as the facility owner gets lower electricity expenses.
{"title":"Towards electric vehicles integration to distributed energy resources of prosumer","authors":"E. Nefedov, S. Sierla, V. Vyatkin","doi":"10.1109/INDIN.2017.8104869","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104869","url":null,"abstract":"The electric vehicles can contribute to reducing electricity costs by providing their batteries as temporary energy storages. The paper presents a new mechanism of their implementation in systems with distributed energy resources. The method is based on individual contracts that facility company makes with the drivers of electric vehicles. The company that has own energy generation from photovoltaic panels, stores and uses the electricity in the batteries of vehicles while they are in the parking lot. The contracts specify the required level of charge at the end of agreement and the financial compensation. The paper analysed proposed cooperation between facility owner and multiple electric vehicles in simulation, using real energy, weather and vehicles behaviour data. All the electric vehicles can significantly reduce the average recharging bill, as well as the facility owner gets lower electricity expenses.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"1 1","pages":"769-772"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87392837","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104887
A. Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, B. Vogel‐Heuser
With recent trends in manufacturing automation, such as Industry 4.0, control software in automated production systems becomes more and more complex and volatile, complicating and increasing importance of quality assurance. Test tables are a widely used and generally accepted means to intuitively specify test cases for automation software. However, each table only specifies a single software trace, whereas the actual software behavior may cover multiple similar traces not covered by the table. Within this work, we present a generalization concept for test tables allowing for bounded and unbounded repetition of steps, “don't-care” values, as well as calculations with earlier observed values. We provide a verification mechanism for checking conformance of an IEC 61131-3 PLC software with a generalized test table, making use of a state-of-the-art model checker. Our notation is inspired by widely-used paradigms found in spreadsheet applications. By an empirical study with mechanical engineering students, we show that the notation matches user expectations. A real-world example extracted from an industrial automation plant illustrates our approach.
{"title":"Generalized test tables: A powerful and intuitive specification language for reactive systems","authors":"A. Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, B. Vogel‐Heuser","doi":"10.1109/INDIN.2017.8104887","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104887","url":null,"abstract":"With recent trends in manufacturing automation, such as Industry 4.0, control software in automated production systems becomes more and more complex and volatile, complicating and increasing importance of quality assurance. Test tables are a widely used and generally accepted means to intuitively specify test cases for automation software. However, each table only specifies a single software trace, whereas the actual software behavior may cover multiple similar traces not covered by the table. Within this work, we present a generalization concept for test tables allowing for bounded and unbounded repetition of steps, “don't-care” values, as well as calculations with earlier observed values. We provide a verification mechanism for checking conformance of an IEC 61131-3 PLC software with a generalized test table, making use of a state-of-the-art model checker. Our notation is inspired by widely-used paradigms found in spreadsheet applications. By an empirical study with mechanical engineering students, we show that the notation matches user expectations. A real-world example extracted from an industrial automation plant illustrates our approach.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"126 1","pages":"875-882"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87668507","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 : 2017-07-01DOI: 10.1109/INDIN.2017.8104752
Erik Wassermann, A. Fay
Multi-agent systems (MAS) are a promising technology for solving the challenges posed by the trend towards increasing digitalization — Industrie 4.0, Industrial Internet of Things, Cyber-Physical Systems or Smart Grids. In spite of this promise and many showcases and prototypes, multi-agent systems are not widely applied in industry nowadays. Reasons for this are for example lacking trust in the technology and special demand for safety and security in these domains. To address these topics, the Levels of Conceptual Interoperability Model is applied on heterogeneous multi-agent systems. Additionally interoperability rules are introduced for enhancing the interoperability of MAS. It is further outlined how such rules can be used for unit testing single agents and for runtime verification.
{"title":"Interoperability rules for heterogenous multi-agent systems: Levels of conceptual interoperability model applied for multi-agent systems","authors":"Erik Wassermann, A. Fay","doi":"10.1109/INDIN.2017.8104752","DOIUrl":"https://doi.org/10.1109/INDIN.2017.8104752","url":null,"abstract":"Multi-agent systems (MAS) are a promising technology for solving the challenges posed by the trend towards increasing digitalization — Industrie 4.0, Industrial Internet of Things, Cyber-Physical Systems or Smart Grids. In spite of this promise and many showcases and prototypes, multi-agent systems are not widely applied in industry nowadays. Reasons for this are for example lacking trust in the technology and special demand for safety and security in these domains. To address these topics, the Levels of Conceptual Interoperability Model is applied on heterogeneous multi-agent systems. Additionally interoperability rules are introduced for enhancing the interoperability of MAS. It is further outlined how such rules can be used for unit testing single agents and for runtime verification.","PeriodicalId":6595,"journal":{"name":"2017 IEEE 15th International Conference on Industrial Informatics (INDIN)","volume":"4 1","pages":"89-95"},"PeriodicalIF":0.0,"publicationDate":"2017-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85467736","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
扫码关注我们
求助内容：
应助结果提醒方式：