4.6 Article

A Hierarchical Modeling and Analysis Framework for Availability and Security Quantification of IoT Infrastructures

期刊

ELECTRONICS
卷 9, 期 1, 页码 -

出版社

MDPI
DOI: 10.3390/electronics9010155

关键词

availability; security; hierarchical models; IoT Infrastructure; Cloud-Fog-Edge Continuum; smart factory

资金

  1. KU Brain Pool 2019, Konkuk University, Seoul, South Korea
  2. Korean Ministry of Trade, Industry and Energy (MOTIE) [N0002428, N0002431]

向作者/读者索取更多资源

Modeling a complete Internet of Things (IoT) infrastructure is crucial to assess its availability and security characteristics. However, modern IoT infrastructures often consist of a complex and heterogeneous architecture and thus taking into account both architecture and operative details of the IoT infrastructure in a monolithic model is a challenge for system practitioners and developers. In that regard, we propose a hierarchical modeling framework for the availability and security quantification of IoT infrastructures in this paper. The modeling methodology is based on a hierarchical model of three levels including (i) reliability block diagram (RBD) at the top level to capture the overall architecture of the IoT infrastructure, (ii) fault tree (FT) at the middle level to elaborate system architectures of the member systems in the IoT infrastructure, and (iii) continuous time Markov chain (CTMC) at the bottom level to capture detailed operative states and transitions of the bottom subsystems in the IoT infrastructure. We consider a specific case-study of IoT smart factory infrastructure to demonstrate the feasibility of the modeling framework. The IoT smart factory infrastructure is composed of integrated cloud, fog, and edge computing paradigms. A complete hierarchical model of RBD, FT, and CTMC is developed. A variety of availability and security measures are computed and analyzed. The investigation of the case-study's analysis results shows that more frequent failures in cloud cause more severe decreases of overall availability, while faster recovery of edge enhances the availability of the IoT smart factory infrastructure. On the other hand, the analysis results of the case-study also reveal that cloud servers' virtual machine monitor (VMM) and virtual machine (VM), and fog server's operating system (OS) are the most vulnerable components to cyber-security attack intensity. The proposed modeling and analysis framework coupled with further investigation on the analysis results in this study help develop and operate the IoT infrastructure in order to gain the highest values of availability and security measures and to provide development guidelines in decision-making processes in practice.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.6
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

Article Chemistry, Analytical

Performance-Cost Trade-Off in Auto-Scaling Mechanisms for Cloud Computing

Iure Fe, Rubens Matos, Jamilson Dantas, Carlos Melo, Tuan Anh Nguyen, Dugki Min, Eunmi Choi, Francisco Airton Silva, Paulo Romero Martins Maciel

Summary: This paper proposes a modeling method for auto-scaling mechanisms in cloud infrastructure using a stochastic Petri net, and adopts an adaptive search metaheuristic algorithm to discover critical trade-offs between performance and cost. The research results demonstrate the feasibility of this method in practice and its ability to help achieve optimized-quality solutions and operational management for cloud services.

SENSORS (2022)

Article Chemistry, Analytical

Model-Driven Impact Quantification of Energy Resource Redundancy and Server Rejuvenation on the Dependability of Medical Sensor Networks in Smart Hospitals

Francisco Airton Silva, Carlos Brito, Gabriel Araujo, Iure Fe, Maxim Tyan, Jae-Woo Lee, Tuan Anh Nguyen, Paulo Romero Martin Maciel

Summary: This study focuses on modeling the reliability and availability of medical computing infrastructure during the COVID-19 pandemic, proposing reliability and availability models using stochastic Petri net (SPN). Analysis results show that different configurations in smart hospitals have varying impacts on the operational availability of medical sensor networks, with configuration C achieving the highest availability of 99.64%.

SENSORS (2022)

Article Engineering, Electrical & Electronic

Supporting availability evaluation of a smart building monitoring system aided by fog computing

Francisco Airton Silva, Iure Fe, Carlos Brito, Gabriel Araujo, Leonel Feitosa, Eunmi Choi, Dugki Min, Tuan Anh Nguyen

Summary: The Internet of Things (IoT) is playing an increasingly important role in ensuring security and well-being, especially in homes and buildings. However, evaluating IoT architectures is crucial due to the complexity and fault-prone nature of sensor networks. This paper proposes a continuous time Markov chain (CTMC) model and presents an improved solution for system availability and downtime based on sensitivity analysis.

ELECTRONICS LETTERS (2022)

Article Computer Science, Hardware & Architecture

Performability evaluation of switch-over Moving Target Defence mechanisms in a Software Defined Networking using stochastic reward nets

Tuan Anh Nguyen, Minjune Kim, Jangse Lee, Dugki Min, Jae-Woo Lee, Dongseong Kim

Summary: This paper presents a comprehensive modeling and analysis of time-based switch-over MTD strategies deployed in a SDN, and explores the impact of MTD strategies on system performability metrics. The study can assist in designing and planning the development and adoption of MTD strategies, considering the trade-offs between security and performability assurance.

JOURNAL OF NETWORK AND COMPUTER APPLICATIONS (2022)

Article Chemistry, Multidisciplinary

Performability Evaluation and Sensitivity Analysis of a Video Streaming on Demand Architecture

Rubenilson de Sousa, Leonardo Cristian, Leonel Feitosa, Eunmi Choi, Tuan Anh Nguyen, Dugki Min, Francisco Airton Silva

Summary: In the field of urban air mobility (UAM), video streaming platforms have attracted attention from media companies due to their increasing demand for on-demand video streaming services during flights. The availability and performance of the back-end video streaming infrastructure are crucial to provide a satisfactory user experience. Analytical models, such as stochastic Petri nets (SPNs), can be used to evaluate video-on-demand architectures in a cost-effective manner.

APPLIED SCIENCES-BASEL (2023)

Article Remote Sensing

Software Aging Effects on Kubernetes in Container Orchestration Systems for Digital Twin Cloud Infrastructures of Urban Air Mobility

Jackson Costa, Rubens Matos, Jean Araujo, Jueying Li, Eunmi Choi, Tuan Anh Nguyen, Jae-Woo Lee, Dugki Min

Summary: To ensure the smooth operation and control of urban air mobility (UAM), it is necessary to develop an accurate vehicle digital twin (DT) that can model the statics and dynamics of the vehicle. However, issues such as the lack of digital twin engines, back-end system engineering, and fault-tolerant mechanisms need to be addressed for effective UAM management.

DRONES (2023)

Proceedings Paper Engineering, Aerospace

Multi-agent Reinforcement Learning-Based UAS Control for Logistics Environments

Hyungeun Jo, Hoeun Lee, Sangwoo Jeon, Vishnu Kumar Kaliappan, Tuan Anh Nguyen, Dugki Min, Jae-Woo Lee

Summary: With recent technological developments, the value and usefulness of the UAS (unmanned aerial system) have been recognized in various fields. This study proposes the improved Multi-Actor-Attention-Critic (iMAAC) approach, a modified multi-agent reinforcement learning method for urban air mobility logistic services. A virtual simulation environment based on Unity is created to validate the suggested method, and the results show a higher learning rate compared to other landmark reinforcement algorithms when utilized in multi-agent systems.

PROCEEDINGS OF THE 2021 ASIA-PACIFIC INTERNATIONAL SYMPOSIUM ON AEROSPACE TECHNOLOGY (APISAT 2021), VOL 2 (2023)

Proceedings Paper Engineering, Aerospace

Deep Multi Agent Reinforcement Learning Based Decentralized Swarm UAV Control Framework for Persistent Surveillance

Vishnu Kumar Kaliappan, Tuan Anh Nguyen, Sang Woo Jeon, Jae-Woo Lee, Dugki Min

Summary: Enhancing intelligence in the development of UAVs and applying swarm fleets in urban applications without human intervention is the focus of this paper. The proposed B-DMARL framework utilizes AI-based bio-inspired algorithms and reinforcement learning methods to achieve group coordination, collision avoidance and task execution in dynamic environments. Simulation results show that the proposed methods have improved learning rate and reward signal.

PROCEEDINGS OF THE 2021 ASIA-PACIFIC INTERNATIONAL SYMPOSIUM ON AEROSPACE TECHNOLOGY (APISAT 2021), VOL 2 (2023)

Article Chemistry, Analytical

Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration

Luis Guilherme Silva, Israel Cardoso, Carlos Brito, Vandirleya Barbosa, Bruno Nogueira, Eunmi Choi, Tuan Anh Nguyen, Dugki Min, Jae Woo Lee, Francisco Airton Silva

Summary: This paper proposes a novel method to evaluate VANET-based Vehicle Communication and Control (VCC) architectures, which uses stochastic elements to mirror VANET scenarios, enhancing network robustness and dependability.

SENSORS (2023)

Proceedings Paper Engineering, Aerospace

Blockchain Empowered Federated Learning with Edge Computing for Digital Twin Systems in Urban Air Mobility

Tuan Anh Nguyen, Vishnu Kumar Kaliappan, Sangwoo Jeon, Kwon-Su Jeon, Jae-Woo Lee, Dugki Min

Summary: The recent emergence of advanced computing technologies, such as digital twin technology, edge computing, federated learning, and blockchain, has opened up possibilities for the development of urban air mobility (UAM). This study proposes a comprehensive integrated UAM-DT platform called BlockFE-DT, which combines the principles of probabilistic graphical models, federated learning, blockchain, and edge computing. The integration of these technologies is important for the development of UAM-DT systems and addresses key issues such as explainable AI, dependability, and security.

PROCEEDINGS OF THE 2021 ASIA-PACIFIC INTERNATIONAL SYMPOSIUM ON AEROSPACE TECHNOLOGY (APISAT 2021), VOL 2 (2023)

Article Engineering, Aerospace

Rapid Airfoil Inverse Design Method with a Deep Neural Network and Hyperparameter Selection

Maxim Tyan, Cheol-Kyun Choi, Tuan Anh Nguyen, Jae-Woo Lee

Summary: A deep-learning based algorithm, DL-RED, is developed for solving engineering inverse design problems. The algorithm generates an inverse design deep neural network (IDNN) through hyperparameter selection and training database enhancement. The accuracy and training time are improved by configuring IDNN and iteratively refining the database. The construction of an Airfoil-IDNN is demonstrated, which can generate NACA 4-series airfoils based on target aerodynamic parameters. Two case studies confirm the accuracy of Airfoil-IDNN in generating airfoils with arbitrary parameters and existing airfoils.

INTERNATIONAL JOURNAL OF AERONAUTICAL AND SPACE SCIENCES (2023)

Proceedings Paper Automation & Control Systems

es-DNLC: A Deep Neural Network Control with Exponentially Stabilizing Control Lyapunov Functions for Attitude Stabilization of PAV

Minseok Jang, Jeongseok Hyun, Taeho Kwag, Chan Gwale, Chanyoung Jeong, Tuan Anh Nguyen, Jae-Woo Lee

Summary: This study proposes a new control framework, called es-DNLC, which uses a deep neural network and exponentially stabilizing control Lyapunov functions for attitude stabilization of a personal aerial vehicle. Experimental results show that es-DNLC can provide higher robustness against disturbances and aerodynamic uncertainties compared to the traditional linear quadratic regulator.

2022 22ND INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2022) (2022)

Proceedings Paper Computer Science, Information Systems

Survivability and Resiliency Modeling and Analysis of an Internet of Industrial Things using Hierarchical Models

Tuan Anh Nguyen, Dugki Min, Eunmi Choi, Iure Fe, Francisco Airton Silva

Summary: This study proposes a hierarchical model to model and evaluate the survivability and resilience of Industrial Internet of Things (IoIT) in order to assist system managers in ensuring the maximum level of survivability and resiliency of industrial processes in smart factories.

2022 IEEE CLOUD SUMMIT (2022)

Proceedings Paper Computer Science, Information Systems

Mobile Games at the Edge: A Performance Evaluation to Guide Resource Capacity Planning

Gabriel Araujo, Carlos Brito, Leonel Correia, Tuan Anh Nguyen, Jae Woo Lee, Francisco Airton Silva

Summary: Mobile games are highly popular among young people, especially during the Covid-19 pandemic. The use of edge computing resources is essential in the game industry to ensure non-delayed data transactions. This study proposes a closed queuing network model to evaluate the performance of game execution in mobile edge computing systems. The results show that the number of physical and virtual machines have a similar impact on overall system performance, and making small calibrations to the resources can prevent message loss.

PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE (CLOSER) (2022)

Article Automation & Control Systems

Steering Behavior-based Multiple RUAV Obstacle Avoidance Control

Vishnu Kumar Kaliappan, Tuan Anh Nguyen, Dugki Min, Jae-Woo Lee, U. Sakthi

Summary: In recent years, there has been a rapid increase in the use of rotorcraft-based unmanned aerial vehicles (RUAV). Researchers have focused on integrating bioinspired techniques to improve intelligence and coordination among multiple RUAVs. Due to limitations in intelligence, these RUAVs can only fly at low altitudes with high maneuverability. To overcome this limitation, it is necessary to develop an advanced intelligent control algorithm that can avoid low altitude obstacles and coordinate flight without collision. This paper proposes an Artificial Intelligence (AI) based steering behavior algorithm that generates a smooth trajectory by avoiding both static and dynamic obstacles. The proposed algorithm is validated using a PC104 embedded board-based HIL (Hardware in the Loop) simulation environment, and is evaluated in various scenarios involving static and dynamic obstacles.

INTELLIGENT AUTOMATION AND SOFT COMPUTING (2022)

暂无数据