{"title":"Inconsistency Checking of UML Sequence Diagrams and State Machines Using the Structure-Behavior Coalescence Method","authors":"Steve W. Haga, Weicong Ma, W. Chao","doi":"10.1109/ICEET56468.2022.10007160","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007160","url":null,"abstract":"UML offers various models for system behavior. A key concern is efficiently determining that these different models are all consistent. Determining this requires a precise semantic understanding of each model. Two of the most-used UML models are Sequence Diagrams (SDs) and State Machine (or Statechart) Diagrams (SMDs). We propose a metamodel to describe both SDs and SMDs. Such a unified metamodel simplifies verifying behavioral equivalence between models, as each is represented with structural similarities. Our proposed metamodel is a label transition system (LTS), which is a form of finite state machine that is derived from process algebra.A metamodel based on process algebra has several benefits. First, it allows for a high-level plain-text description of the system as a set of process algebra equations. These algebraic equations can also be presented graphically as an informative overview diagram. Second, the use of process algebra simplifies the derivation of the semantic meanings of both the SD and SMD, by converting it into a problem of parsing the syntax of algebraic expressions, then applying transformations to derive an LTS from the parse tree. Because the operands of process algebra are processes, a direct and seamless correspondence exists between the high-level algebraic description and the low-level semantic LTS description. Third, as the SD and SMD are both described in process algebra, an LTS analyzer can simplify verification of behavioral equivalence through the structural similarity between the LTS descriptions of the SD and SMD.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"165 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115546010","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":"Massive MIMO With Few Number of Transmit Antennas: Space Shift Keying–Steiner Triple System","authors":"R. Mesleh, Omar Hiari, Mohammad Abudayah","doi":"10.1109/ICEET56468.2022.10007291","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007291","url":null,"abstract":"This paper proposes using Steiner triple system to create unique blocks that are used as constellation diagram for space shift keying (SSK) multiple–input multiple–output (MIMO) technique. The aim is to reduce the required number of transmit antennas to attain a target spectral efficiency without compromising the error performance. The developed system named as, Steiner–SSK (S–SSK), is shown to achieve substantial reduction in receiver computational complexity as compared to conventional SSK technique, driven mainly by the huge reduction in the required number of transmit antennas. As well, S–SSK is shown to achieve almost identical error probability as that of traditional SSK. In S–SSK system, triple antennas are activated at each time instant to emit and unformulated carrier signal and the overall transmit power is divided equally among active antennas.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115658859","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}
A. Waheed, S. Rehman, M. W. Hassan, U. Sadiq, M. Asif
{"title":"Efficient Electric Vehicle Charger Based on Wide Band-gap Materials for V2G and G2V.","authors":"A. Waheed, S. Rehman, M. W. Hassan, U. Sadiq, M. Asif","doi":"10.1109/ICEET56468.2022.10007180","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007180","url":null,"abstract":"Global warming is increasing day by day due to the use of fossil fuels that are widely used in transportation sector. To tackle these issues, Electric Vehicle are the promising choice. EVs are now using worldwide but fast charging through converters is the main challenge faced during the adaptation of EV with large space for storage and a lot of time to recharge. Wide band gap based devices are getting more attention due to their superior electrical properties. They are the next generation semiconductor devices which offer high efficiency due to their high energy band gap and high thermal conductivity that differentiate them with other semiconductor devices. EV’s required efficient, fast, and reliable charging stations which is less depend on the grid. This paper presents a study of performance analysis of electrical vehicle charger by using WBG based materials. It has been demonstrated that SiC/GaN based switches offers good results for EV charging and discharging mode for V2G and G2V.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114244865","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":"Forensic Timeline Analysis of iOS Devices","authors":"H. Studiawan, T. Ahmad, B. J. Santoso, B. Pratomo","doi":"10.1109/ICEET56468.2022.10007150","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007150","url":null,"abstract":"One of the steps in a forensic investigation is to build a timeline. A timeline is required to discover activities that occurred in a forensic image. A forensic image is an acquisition result of an iOS device, such as the iPhone and iPad. One of the de facto tools for creating forensic timelines is the log2time1ine plaso. However, the plaso cannot extract all the time data on iOS device artifacts. In this study, a method is proposed to complete log2time1ine in order to extract all-time data on iOS devices. We create a parser plugin for the log2time1ine plaso for missing artifacts, such as a plist or an SQLite database. The proposed method is briefly described as follows. First, the procedure constructs a forensic timeline using the plaso tool from an iOS image which has been acquired beforehand. We then examine missing artifacts from the timeline. After that, we create a plaso plugin to parse missing artifacts. Finally, we rerun the plaso with new plugins to build a more comprehensive timeline. Thus, a complete forensic timeline is obtained from the forensic image of an iOS device. Experiments show that additional plugins can provide a more comprehensive forensic timeline extracted from an iOS device.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116808145","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}
N. Kouvakas, F. Koumboulis, D. Fragkoulis, Enti Zoto
{"title":"Supervisory control for surge prevention in a gas compressor station with actuator faults","authors":"N. Kouvakas, F. Koumboulis, D. Fragkoulis, Enti Zoto","doi":"10.1109/ICEET56468.2022.10007175","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007175","url":null,"abstract":"Safety and reliability of gas transmission systems include efficient performance of the gas compressor stations, being indispensable parts of the distribution network. Efficient control of gas compressor stations is an important constraint of the optimization of gas transmission networks. In this paper, the model of a gas compressor station with possible recycle valve (actuator) faults is presented using finite deterministic automata. The desired performance with respect to the safe operation of the process in the case of actuator faults is formulated in the form of regular languages. The goal is surge prevention in the presence of faults. Towards this aim, a modular supervisory control scheme, also providing controller realizability and guaranteeing a nonblocking controlled system, has been developed. The implementation of the controller is accomplished in the form of Ladder Diagrams for PLC use.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114980168","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}
Abdul Ali Khan, P. Thirunavakkarasu, N. Saidin, A. L. Khalaf, F. Roslan, Muhammad Luqman Haider
{"title":"Characterization of plain and ZnO coated D-shaped plastic optical fiber sensor of different diameters","authors":"Abdul Ali Khan, P. Thirunavakkarasu, N. Saidin, A. L. Khalaf, F. Roslan, Muhammad Luqman Haider","doi":"10.1109/ICEET56468.2022.10007269","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007269","url":null,"abstract":"The sensitivity and simple fabrication of fiber sensor are major concerns now a days. In this work, the effect of sensor diameter and zinc oxide (ZnO) sensing layer on the intensity of D-shaped multimode plastic optical fiber (POF) sensor was experimentally investigated. A simple side polishing method was used to prepare a fiber sensor of various diameters having a length of 30 cm. The sensor is coated with ZnO using hydrothermal method. The behavior of both plain and coated fiber sensor in terms of intensity were recorded using spectrometer. After analysis, it was observed that plain and coated sensor having a diameter of 500 generated strong evanescent waves, which resulted in a lower intensity and higher absorbance. The proposed method is efficacious for improving the sensitivity of optical fiber sensors.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125590930","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}
Diponkor Bala, Mohammed Mynuddin, Mohammad Iqbal Hossain, Mohammad Anwarul Islam, Mohammad Alamgir Hossain, M. Abdullah
{"title":"A Robust Plant Leaf Disease Recognition System Using Convolutional Neural Networks","authors":"Diponkor Bala, Mohammed Mynuddin, Mohammad Iqbal Hossain, Mohammad Anwarul Islam, Mohammad Alamgir Hossain, M. Abdullah","doi":"10.1109/ICEET56468.2022.10007185","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007185","url":null,"abstract":"Plants are considered an energy supply to humanity. Plant diseases can damage farming, reducing harvest yields. This immediately affects farmers’ income and human health. Plant disease identification is one of the world’s most extensive challenges for farmers. Thus, leaf disease identification is vital in agriculture. Traditional disease detection approaches are difficult to detect in large numbers of plant leaf infectious illnesses. The ability to identify plant leaf diseases using images is rapidly improving. However, processing plant leaf images is difficult due to their complicated structure and shape. While modern deep learning algorithms can categorize and diagnose plant sickness, preparing plant leaf images is widely acknowledged as the most important and hardest step. Preprocessing has a big impact on the final results of deep learning. However, the proposed vision-based approaches efficiently detect and observe illness’s external aspects. We have used the New Plant Diseases Dataset in our paperwork. We proposed deep learning with a specially trained convolutional neural network (CNN), which can aid in the classification of plant leaf images. Our approach makes use of a CNN architecture that was trained on a collection of these plant leaf images. This method accurately classifies plant leaf images into 38 types of plant leaf diseases with 99.29% test accuracy, outperforming approaches previously defined as state-of-the-art.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116005867","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. Agbedanu, F. U. Bawah, V. Akoto-Adjepong, N. S. Awarayi, Isaac Kofi Nti, S. Boateng, P. Nimbe, O. Nyarko-Boateng
{"title":"BLOCOVID: A blockchain-based COVID-19 digital vaccination certificate verification system","authors":"P. Agbedanu, F. U. Bawah, V. Akoto-Adjepong, N. S. Awarayi, Isaac Kofi Nti, S. Boateng, P. Nimbe, O. Nyarko-Boateng","doi":"10.1109/ICEET56468.2022.10007366","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007366","url":null,"abstract":"The global impact of the COVID-19 pandemic has been felt in diverse ways. Although the death rate in Africa has not been as devastating as predicted by the World Health Organization (WHO), its economic and social impact has been fully felt by the African continent. As the world goes through the vaccination process to achieve herd immunity, Africa has not only faced problems like the inability to produce and procure vaccines, but some countries in the west are doubting the authenticity of the vaccination process and even vaccine certificates coming from various countries on the continent. The approach of using centralized systems to validate COVID-19 vaccine certificates makes these systems susceptible to Denial of Service (DoS), modification, and Man-in-the-Middle (MiTM) attacks. To curb this problem, we proposed a blockchain-based digital COVID-19 vaccination certificate verification system called BLOCOVID. The proposed system uses the decentralized approach of distributed ledgers to ensure that vaccine certificates are secured, immutable, and verifiable. Our proposed system stores vaccine serial numbers and their corresponding certificates as hash values. These hash values are stored on the blockchain network as transaction values. The authenticity of a vaccine certificate is determined by the availability of the hash values of the certificate and its corresponding vaccine serial number on the blockchain network. The proposed system was simulated using the BlockSim simulator. To begin with, the simulation results show that the proposed system can ensure system availability, thereby minimizing DoS attacks. Secondly, the proposed system can ensure the integrity of vaccine certificates by allowing third parties to verify the authenticity of these certificates. The simulation results show that even with 10240 nodes, the average transaction time was 137.2ms, with a total transaction rate of 9911.034 transactions per second.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125107468","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":"Design of an incinerator working on solar PV powered electrolyzer for municipal solid waste management","authors":"O. Butt, M. Ahmad, H. S. Che, Nasrudin Abd. Rahim","doi":"10.1109/ICEET56468.2022.10007337","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007337","url":null,"abstract":"The rise in urbanization and growth has made managing municipal solid waste more challenging. The most developed and practical approach to managing municipal solid waste is incineration technology. It has become a challenge as a both environment and high energy consuming sector. Normally, incineration technology uses fossil fuel to combust the waste for incineration process. This fuel is required to assist in combustion due to high content of moisture. Fossil fuel on burning not only a source of extra pollution but also depleting day by day. This study gives a novel method to incinerate MSW with the help of hydrogen produce as HHO gas. This HHO gas was result of electrolysis process of water by using electrolyzer. Further, electrolyzer was energized with solar PV to make whole incineration system as a green solution for municipal waste management. Current proposed incineration system in a lab-scale prototype showed effective incineration. This incineration system was able to reduce weight by 97.1% while loss on ignition was quantified as 1.41% after incineration process. Based on the lab-scale setup and its results, a portable incinerator was designed that was able to incinerate 10kg of MSW. It was calculated that an electrolyzer was required with a capacity of 10 LPM was required for this portable incinerator.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133771581","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}
Abdurrahman Yilmaz, Osman Ervan, H. Temeltas, I. Akduman
{"title":"An Autonomous Robotic System for Ground Surface and Subsurface Imaging","authors":"Abdurrahman Yilmaz, Osman Ervan, H. Temeltas, I. Akduman","doi":"10.1109/ICEET56468.2022.10007262","DOIUrl":"https://doi.org/10.1109/ICEET56468.2022.10007262","url":null,"abstract":"Imaging science attracts the attention of several researchers from different fields since it involves many application areas and subjects. Two noticeable issues are the imaging of the ground surface and subsurface in this field of science. In the literature, imaging systems are usually integrated into a mobile platform, and the imaging process is performed throughout the movement of the platform. In this study, the imaging system is deployed on an autonomous mobile platform with a skid-steering driving mode. Two main elements distinguish this mobile imaging system from others. The first is that the imaging system can simultaneously investigate the ground surface and subsurface. The latter advantage is that the mobile platform can work even in harsh outdoor conditions. The developed architecture has been tested both in the simulation environment and in the real world.","PeriodicalId":241355,"journal":{"name":"2022 International Conference on Engineering and Emerging Technologies (ICEET)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116626686","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}