Pub Date : 2019-05-27DOI: 10.1109/SERP4IoT.2019.00016
E. Reilly, Matthew Maloney, Michael Siegel, Gregory Falco
Smart cities and advanced energy delivery systems are examples of IoT rich environments. These systems are responsible for communicating critical data about urban infrastructure that keeps our modern cities functioning. Today, IoT devices lack communication protocols with data integrity as a priority. Without data integrity, these systems are at risk of actuating urban environments on compromised data. Attackers can use this IoT communication flaw to wage cyber-physical attacks. We designed and developed an integrity-first communication protocol for IoT that is distributed and scalable based on the Ethereum blockchain. Our light client ensures data communication integrity for systems that require it most.
{"title":"An IoT Integrity-First Communication Protocol via an Ethereum Blockchain Light Client","authors":"E. Reilly, Matthew Maloney, Michael Siegel, Gregory Falco","doi":"10.1109/SERP4IoT.2019.00016","DOIUrl":"https://doi.org/10.1109/SERP4IoT.2019.00016","url":null,"abstract":"Smart cities and advanced energy delivery systems are examples of IoT rich environments. These systems are responsible for communicating critical data about urban infrastructure that keeps our modern cities functioning. Today, IoT devices lack communication protocols with data integrity as a priority. Without data integrity, these systems are at risk of actuating urban environments on compromised data. Attackers can use this IoT communication flaw to wage cyber-physical attacks. We designed and developed an integrity-first communication protocol for IoT that is distributed and scalable based on the Ethereum blockchain. Our light client ensures data communication integrity for systems that require it most.","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123909270","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 : 2019-05-27DOI: 10.1109/SERP4IoT.2019.00014
Snehasish Banerjee, M. Chandra
The outburst of data generation by machines and humans, along with emergence of sophisticated data processing algorithms have created a demand for a wide number of data analytics based services and applications. The paper presents a collaborative framework and system to carry out a large number of data processing tasks based on semantic web technology and a combination of reasoning and data analysis approaches using software engineering guidelines. The paper serves as a first step for systematic fusion of symbolic and procedural reasoning that is programming language agnostic. This approach helps in reducing development time and increases developer's productivity. The proposed software system's logical functionality is explained with the help of a healthcare case study, and the same can be extended for other applications.
{"title":"A Software Framework for Procedural Knowledge Based Collaborative Data Analytics for IoT","authors":"Snehasish Banerjee, M. Chandra","doi":"10.1109/SERP4IoT.2019.00014","DOIUrl":"https://doi.org/10.1109/SERP4IoT.2019.00014","url":null,"abstract":"The outburst of data generation by machines and humans, along with emergence of sophisticated data processing algorithms have created a demand for a wide number of data analytics based services and applications. The paper presents a collaborative framework and system to carry out a large number of data processing tasks based on semantic web technology and a combination of reasoning and data analysis approaches using software engineering guidelines. The paper serves as a first step for systematic fusion of symbolic and procedural reasoning that is programming language agnostic. This approach helps in reducing development time and increases developer's productivity. The proposed software system's logical functionality is explained with the help of a healthcare case study, and the same can be extended for other applications.","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132401862","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 : 2019-05-27DOI: 10.1109/SERP4IoT.2019.00012
T. Asici, Burak Karaduman, Raheleh Eslampanah, Moharram Challenger, J. Denil, H. Vangheluwe
The huge variety of smart devices and their communication models increases the development complexity of embedded software for the Internet of Things. As a consequence, development of these systems becomes more complex, error-prone, and costly. To tackle this problem, in this study, a model-driven approach is proposed for the development of Contiki-based IoT systems. To this end, the Contiki metamodel available in the literature is extended to include elements of WiFi connectivity modules (such as ESP8266), IoT Log Manager, and information processing components (such as Raspberry Pi). Based on this new metamodel, a domain-specific modeling environment is developed in which visual symbols are used and static semantics (representing system constraints) are defined. Also, the architectural code for the computing components of the IoT system such as Contiki, ESP8266, and RaspberryPi are generated from the developer's instance model. Finally, a Smart Fire Detection system is used to evaluate this study. By modeling the Contiki-based IoT system, we support model-driven development of the system, including WSN motes and sink nodes (with ContikiOS), WiFi modules and information processing components.
{"title":"Applying Model Driven Engineering Techniques to the Development of Contiki-Based IoT Systems","authors":"T. Asici, Burak Karaduman, Raheleh Eslampanah, Moharram Challenger, J. Denil, H. Vangheluwe","doi":"10.1109/SERP4IoT.2019.00012","DOIUrl":"https://doi.org/10.1109/SERP4IoT.2019.00012","url":null,"abstract":"The huge variety of smart devices and their communication models increases the development complexity of embedded software for the Internet of Things. As a consequence, development of these systems becomes more complex, error-prone, and costly. To tackle this problem, in this study, a model-driven approach is proposed for the development of Contiki-based IoT systems. To this end, the Contiki metamodel available in the literature is extended to include elements of WiFi connectivity modules (such as ESP8266), IoT Log Manager, and information processing components (such as Raspberry Pi). Based on this new metamodel, a domain-specific modeling environment is developed in which visual symbols are used and static semantics (representing system constraints) are defined. Also, the architectural code for the computing components of the IoT system such as Contiki, ESP8266, and RaspberryPi are generated from the developer's instance model. Finally, a Smart Fire Detection system is used to evaluate this study. By modeling the Contiki-based IoT system, we support model-driven development of the system, including WSN motes and sink nodes (with ContikiOS), WiFi modules and information processing components.","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123956136","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 : 2019-05-27DOI: 10.1109/SERP4IoT.2019.00009
A. Lepekhin, A. Borremans, I. Ilin, S. Jantunen
The challenge of developing IoT-based systems has been found to be a complex problem. It is influenced by number of factors: heterogeneous devices/resources, various perception-action cycles and widely distributed devices and computing resources. Increasing complexity and immaturity to deal with it have resulted in growing range of problems and challenges in IoT development. This paper identifies essential IoT-related challenges by conducting a systematic mapping study of existing IoT literature. To this end, we distil information with respect to IoT-related: 1) challenges, 2) experimental studies, and 3) recommendations for future research. We then discuss our findings in order to understand better the general state of IoT research, potential gaps in research, and implications for future research.
{"title":"A Systematic Mapping Study on Internet of Things Challenges","authors":"A. Lepekhin, A. Borremans, I. Ilin, S. Jantunen","doi":"10.1109/SERP4IoT.2019.00009","DOIUrl":"https://doi.org/10.1109/SERP4IoT.2019.00009","url":null,"abstract":"The challenge of developing IoT-based systems has been found to be a complex problem. It is influenced by number of factors: heterogeneous devices/resources, various perception-action cycles and widely distributed devices and computing resources. Increasing complexity and immaturity to deal with it have resulted in growing range of problems and challenges in IoT development. This paper identifies essential IoT-related challenges by conducting a systematic mapping study of existing IoT literature. To this end, we distil information with respect to IoT-related: 1) challenges, 2) experimental studies, and 3) recommendations for future research. We then discuss our findings in order to understand better the general state of IoT research, potential gaps in research, and implications for future research.","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127803111","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 : 2019-05-27DOI: 10.1109/SERP4IoT.2019.00015
M. Rohit, Z. T. Hoque, S. Karim, Shahnewaz Siddique
The Internet of Things (IoT) envisions all physical objects connected to the internet and able to communicate with each other. This paper illustrates a methodology to provide a low cost Automated Pisciculture Assistance System for indoor fish production using Wireless Fidelity (Wi-Fi). Despite being ranked third in the world in terms of inland fish production [1], Bangladesh is presently using the method of Recirculation Aquaculture Systems (RAS), because pollution of pond water is a major factor posing significant hygiene danger to fish population inhabiting pond water. In this research, we developed a complete assistance system which provides information to the user about the conditions of the water through the sensors and operates the device remotely. The key components of this system are a pocket-sized Wi-Fi module, Message Queuing Telemetry Transport (MQTT) for monitoring, controlling the sensors and alerting the user through SMS, an Android application to visualize the data provided by the module and to operate the device. Our main objective is to build a system that accurately monitors water conditions with minimal costing and easy installation process.
{"title":"Cost Efficient Automated Pisciculture Assistance System Using Internet of Things (IoT)","authors":"M. Rohit, Z. T. Hoque, S. Karim, Shahnewaz Siddique","doi":"10.1109/SERP4IoT.2019.00015","DOIUrl":"https://doi.org/10.1109/SERP4IoT.2019.00015","url":null,"abstract":"The Internet of Things (IoT) envisions all physical objects connected to the internet and able to communicate with each other. This paper illustrates a methodology to provide a low cost Automated Pisciculture Assistance System for indoor fish production using Wireless Fidelity (Wi-Fi). Despite being ranked third in the world in terms of inland fish production [1], Bangladesh is presently using the method of Recirculation Aquaculture Systems (RAS), because pollution of pond water is a major factor posing significant hygiene danger to fish population inhabiting pond water. In this research, we developed a complete assistance system which provides information to the user about the conditions of the water through the sensors and operates the device remotely. The key components of this system are a pocket-sized Wi-Fi module, Message Queuing Telemetry Transport (MQTT) for monitoring, controlling the sensors and alerting the user through SMS, an Android application to visualize the data provided by the module and to operate the device. Our main objective is to build a system that accurately monitors water conditions with minimal costing and easy installation process.","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122152948","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 : 2019-05-01DOI: 10.1109/serp4iot.2019.00007
{"title":"SERP4IoT 2019 Program Committee","authors":"","doi":"10.1109/serp4iot.2019.00007","DOIUrl":"https://doi.org/10.1109/serp4iot.2019.00007","url":null,"abstract":"","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124445882","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 : 2019-05-01DOI: 10.1109/SERP4IoT.2019.00018
Zayan El Khaled, H. Mcheick, Fábio Petrillo
Recently, humans are more and more dependent to communication technologies (CT) in their everyday life to get services, exchange information and communicate with their relatives. Hence, many researches have been made in order to propose convenient and low-cost solutions compatible with the context of smart spaces. This paper characterizes the range of WiFi for outdoor applications in comparison with most known empirical path loss models, and analyzes its impact for smart space services like Internet of Things (IoT). The obtained range is 550m tested with a Samsung Galaxy S5 smartphone, and the comparison with empirical model showed a good difference. Hence the validity and accuracy of those models will be examined for this context, in order to develop an empirical model taking into account environmental effect during our future research. As solutions based on WiFi are generally low cost, its technical characteristics are illustrated and a wide deployment scenario based on this technology is explained on light of obtained results.
{"title":"WiFi Coverage Range Characterization for Smart Space Applications","authors":"Zayan El Khaled, H. Mcheick, Fábio Petrillo","doi":"10.1109/SERP4IoT.2019.00018","DOIUrl":"https://doi.org/10.1109/SERP4IoT.2019.00018","url":null,"abstract":"Recently, humans are more and more dependent to communication technologies (CT) in their everyday life to get services, exchange information and communicate with their relatives. Hence, many researches have been made in order to propose convenient and low-cost solutions compatible with the context of smart spaces. This paper characterizes the range of WiFi for outdoor applications in comparison with most known empirical path loss models, and analyzes its impact for smart space services like Internet of Things (IoT). The obtained range is 550m tested with a Samsung Galaxy S5 smartphone, and the comparison with empirical model showed a good difference. Hence the validity and accuracy of those models will be examined for this context, in order to develop an empirical model taking into account environmental effect during our future research. As solutions based on WiFi are generally low cost, its technical characteristics are illustrated and a wide deployment scenario based on this technology is explained on light of obtained results.","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117185987","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 : 2019-05-01DOI: 10.1109/serp4iot.2019.00001
{"title":"Title Page i","authors":"","doi":"10.1109/serp4iot.2019.00001","DOIUrl":"https://doi.org/10.1109/serp4iot.2019.00001","url":null,"abstract":"","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"46 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114104156","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 : 2019-05-01DOI: 10.1109/SERP4IoT.2019.00011
Nadine Kashmar, Mehdi Adda, Mirna Atieh, Hussein Ibrahim
Internet of Things (IoT) is the conversion of everyday tangible devices or machines to smart objects. This means that these objects would be able to think, sense and feel. For example, your home devices will be able to detect and feel your absence to turn off the lights of empty rooms, close doors, lock the gates, and other tasks. Thus, would it be acceptable to find intruders who might mess up your daily life style or control your home appliances? Absolutely not! The same idea for factories, they definitely reject to detect any unacceptable access from any foreigner to their logical/physical assets or machines who might be able to locally or remotely control, for example, any machine operation. This would cause a significant loss for their reputation or investments, since any vulnerability or attack can produce, for example, fault products. So far, IoT is considered as one of the most essential areas of future technologies, especially for the industries. Hence, finding an environment full of smart devices needs a smart security methodology to prevent any illegal access. In this domain, various researches are conducted to find Access Control (AC) models to enforce security policies that prevent any unauthorized detection of sensitive data and enable secure access of information. For this purpose, we present a new dynamic Smart-AC model methodology to enforce security policy in IoT layers.
{"title":"A New Dynamic Smart-AC Model Methodology to Enforce Access Control Policy in IoT Layers","authors":"Nadine Kashmar, Mehdi Adda, Mirna Atieh, Hussein Ibrahim","doi":"10.1109/SERP4IoT.2019.00011","DOIUrl":"https://doi.org/10.1109/SERP4IoT.2019.00011","url":null,"abstract":"Internet of Things (IoT) is the conversion of everyday tangible devices or machines to smart objects. This means that these objects would be able to think, sense and feel. For example, your home devices will be able to detect and feel your absence to turn off the lights of empty rooms, close doors, lock the gates, and other tasks. Thus, would it be acceptable to find intruders who might mess up your daily life style or control your home appliances? Absolutely not! The same idea for factories, they definitely reject to detect any unacceptable access from any foreigner to their logical/physical assets or machines who might be able to locally or remotely control, for example, any machine operation. This would cause a significant loss for their reputation or investments, since any vulnerability or attack can produce, for example, fault products. So far, IoT is considered as one of the most essential areas of future technologies, especially for the industries. Hence, finding an environment full of smart devices needs a smart security methodology to prevent any illegal access. In this domain, various researches are conducted to find Access Control (AC) models to enforce security policies that prevent any unauthorized detection of sensitive data and enable secure access of information. For this purpose, we present a new dynamic Smart-AC model methodology to enforce security policy in IoT layers.","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123693913","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 : 2019-05-01DOI: 10.1109/SERP4IoT.2019.00008
S. Reiss
The advent of smart devices and sensors (the Internet of Things or IoT) will create increasing demands for the automation of devices based on sensor, time, and other inputs. This is essentially a programming task with all the problems and difficulties that programming entails, for example, modularity, feature interaction, debugging, and understanding. Moreover, much of the programming for smart devices is going to be done not by professional programmers but by end users, often end users without any programming experience or computational literacy. Our research is aimed at exploring the programming space and the associated issues using a case study of a smart sign that can be controlled using a variety of sensors. We have developed a general system for programming smart devices and, in this paper, explore a variety of different user interfaces for programming this system for our smart sign.
{"title":"IoT End User Programming Models","authors":"S. Reiss","doi":"10.1109/SERP4IoT.2019.00008","DOIUrl":"https://doi.org/10.1109/SERP4IoT.2019.00008","url":null,"abstract":"The advent of smart devices and sensors (the Internet of Things or IoT) will create increasing demands for the automation of devices based on sensor, time, and other inputs. This is essentially a programming task with all the problems and difficulties that programming entails, for example, modularity, feature interaction, debugging, and understanding. Moreover, much of the programming for smart devices is going to be done not by professional programmers but by end users, often end users without any programming experience or computational literacy. Our research is aimed at exploring the programming space and the associated issues using a case study of a smart sign that can be controlled using a variety of sensors. We have developed a general system for programming smart devices and, in this paper, explore a variety of different user interfaces for programming this system for our smart sign.","PeriodicalId":340042,"journal":{"name":"2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116464131","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
扫码关注我们
求助内容：
应助结果提醒方式：