{"title":"Modeling Misbehavior Detection Timeliness in VANETs","authors":"M. M. Lucena, A. A. Fröhlich","doi":"10.1109/ETFA52439.2022.9921605","DOIUrl":"https://doi.org/10.1109/ETFA52439.2022.9921605","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"1 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75079120","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}
{"title":"Towards Practical and Formal Security Risk Analysis of IoT (Internet of Things) Applications","authors":"Muhammad Taimoor Khan","doi":"10.1109/ETFA52439.2022.9921511","DOIUrl":"https://doi.org/10.1109/ETFA52439.2022.9921511","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"78 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73905503","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}
{"title":"Embedding Anomaly Detection Autoencoders for Wind Turbines","authors":"José Luís Conradi Hoffmann, A. A. Fröhlich","doi":"10.1109/ETFA52439.2022.9921541","DOIUrl":"https://doi.org/10.1109/ETFA52439.2022.9921541","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"262 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76267336","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}
{"title":"The Beremiz PLC: Adding Support for Industrial Communication Protocols","authors":"M. Sousa","doi":"10.1109/ETFA.2019.8869526","DOIUrl":"https://doi.org/10.1109/ETFA.2019.8869526","url":null,"abstract":"Beremiz is a project that is currently developing a software based PLC (Programmable Logic Controller) distributed under the open source GNU Public License (GPL). Recent activity has focused on adding support for several industrial communication protocols. This paper describes the implementations and integration with Beremiz of several industrial protocols already completed, as well as current activity and possible future directions.","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"52 1","pages":"232-239"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75190128","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}
P. Saey, S. Wilde, Annemarie M. Kökösy, J. Knockaert, D. D. Schuyter, J. Brabanter
{"title":"Using code generated by MATLAB for the Mold Level Control System of a Continuous Slab Caster in ArcelorMittal Gent","authors":"P. Saey, S. Wilde, Annemarie M. Kökösy, J. Knockaert, D. D. Schuyter, J. Brabanter","doi":"10.1109/ETFA.2019.8869155","DOIUrl":"https://doi.org/10.1109/ETFA.2019.8869155","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"29 1","pages":"1497-1500"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75325532","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}
Christoph Pallasch, Alexander Peitz, W. Herfs, A. Schmeink, Guido Dartmann
{"title":"Novel approach for wireless commissioning and assisted process development based on Bluetooth Low Energy","authors":"Christoph Pallasch, Alexander Peitz, W. Herfs, A. Schmeink, Guido Dartmann","doi":"10.1109/ETFA.2018.8502455","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502455","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"239 1","pages":"235-242"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78506044","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}
{"title":"Dynamic Regions to Enhance Safety in Human-Robot Interactions","authors":"Dejanira Araiza-Illan, A. Clemente","doi":"10.1109/ETFA.2018.8502453","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502453","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"57 1","pages":"693-698"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72678853","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}
{"title":"Scheduling of production and maintenance activities using multi-agent systems","authors":"Ghita Bencheikh, A. Letouzey, Xavier Desforges","doi":"10.1109/ETFA.2018.8502667","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502667","url":null,"abstract":"Manufacturing systems are usually confronted to conflicting situations between production and maintenance services since their activities are considered as source of disturbance to each other. In order to reduce these conflicts, a multi-agents system SCEMP (Supervisor, Customer, Environment, Maintainer and Producer) is proposed in this paper, making sure that these two entities collaborate in order to achieve a common goal. It consists of scheduling the production activities according to the health states of the machines. The main idea is to use the prediction of the durations of use and remaining useful lifetimes of the machines devices, which can be obtained using prognostic techniques. This enables simultaneous scheduling of production and maintenance activities.","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"1 1","pages":"508-515"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77247743","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}
{"title":"Designing digital tools for factory planning: Integrating requirements for usability on a meta-level","authors":"U. Dombrowski, Alexander Reiswich, A. Karl","doi":"10.1109/ETFA.2018.8502669","DOIUrl":"https://doi.org/10.1109/ETFA.2018.8502669","url":null,"abstract":"","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"117 1","pages":"99-106"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91432044","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}
{"title":"Verifying end-to-end real-time constraints on multi-periodic models","authors":"J. Forget, F. Boniol, C. Pagetti","doi":"10.1109/ETFA.2017.8247612","DOIUrl":"https://doi.org/10.1109/ETFA.2017.8247612","url":null,"abstract":"Control-command systems must usually satisfy a set of high-level end-to-end timing constraints to ensure their correctness. We propose a formal approach to verify these properties directly at the model level. First, we introduce a small language for specifying arbitrary end-to-end constraints. Then, we show how to verify any constraint of this language for a system represented with a multi-periodic synchronous model, a model that retains the main concepts of data-flow oriented programming languages (such as Matlab/Simulink, synchronous languages or AADL). One advantage of this approach is that it is simpler to verify end-to-end constraints at the model level, early in the development process, rather than at the implementation level.","PeriodicalId":6522,"journal":{"name":"2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","volume":"41 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79689990","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}