Dependable IoT for human and industry : modeling, architecting, implementation / editors, Vyacheslav Kharchenko, Ah Lian Kor, Andrzej Rucinski.

Format:

Book

Contributor:

Kharchenko, Vyacheslav, editor.

Kor, Ah-Lian, editor.

Ruciński, Andrzej, editor.

Series:

River Publishers series in information science and technology.

River Publishers series in information science and technology

Language:

English

Subjects (All):

Internet of things--Standards.

Internet of things.

Internet of things--Security measures.

Physical Description:

1 online resource (lvi, 566 pages) : illustrations.

Edition:

1st ed.

Place of Publication:

Gistrup, Denmark : River Publishers, [2019]

Summary:

Dependable IoT for Human and Industry covers the main aspects of Internet of Things and IoT based systems such as global issues of applications, modeling, development and implementation of dependable IoT for different human and industry domains.

Contents:

Cover

Half Title

Series Page

Title Page

Copyright Page

Table of Contents

Preface

Acknowledgments

List of Contributors

List of Figures

List of Tables

List of Abbreviations

Dependable LoT for Human and Industry: Introduction and Book Scope

1. Internet of Important Things

2. Internet of Things and Collaboratory

3. Main Topics and Scope

Part I: Internet of Vital and Trust Things

1: Disruptive Innovation in Vital Embedded Systems and the Internet of Vital Things

1.1 Introduction and Brief History

1.1.1 Embedded Systems

1.1.2 Critical Embedded Systems

1.1.3 The Internet of Things in Context

1.1.4 Some Observations of the Status Quo and the Near Term

1.2 Internet of Vital Things (IoVT)

1.2.1 Conception of LoVT

1.2.2 Historic Example: SAGE

1.3 The SAGE Air Defense System

1.4 Evolution of Disruptive Innovation in the Design of Microelectronic Systems and the LoVT

1.4.1 Creation of CIDLab

1.4.2 Concepts of GAIN and Global Systems Engineering Education

1.4.3 I-GEMS and the Virtual Design Universe

1.4.4 Design for Globalization

1.4.5 Vital Electronics

1.5 Vital-ISolve and the Internet of Vital Things (IOVT)

1.5.1 Vital-iSolve Fundamentals

1.5.2 Vital-iSolve Ingredients

1.5.3 Example From an E-Health Ambulatory Sensor Application: Heart Sensor

1.6 Conclusion

1.6.1 Summing up the Recent Disruptive Innovation in Microelectronics Systems Education

1.6.2 The Big Question Which Needs to be Addressed

References

2: How to Support Creativity in the Complex LoT with Ethics and Trust for Users

2.1 Introduction

2.2 Architecting the Future

2.2.1 Conceptual Architects

2.2.2 System-of-Systems

2.2.3 Trusted Interfaces

2.3 Conclusion

Part II: Modelling and Assessment.

3: Design and Simulation of an Energy-Efficient Sensor Network Routing Protocol for Large-Scale Distributed Environmental Monitoring Systems

3.1 Introduction

3.1.1 Context and Motivation

3.1.2 Contributions

3.2 Related Work

3.3 Proposed Protocol EESNR

3.3.1 Network Topology Model for EESNR

3.3.2 Path Loss/Fading

3.3.3 Radio and Data Transmission Model

3.4 Simulation Setup and Results

3.4.1 Simulation Setup

3.4.2 Simulation Results

3.5 Conclusions

4: Modeling and Assessment of Resource-Sharing Efficiency in Social Internet of Things

4.1 Introduction

4.2 Related Work

4.3 Motivation

4.4 The Proposed Model

4.4.1 P2P Resource Sharing Specifications

4.4.2 Agent-Based Model of Peers in Competitive Mode

4.4.3 Agent-Based Model of Peers in Cooperative Mode

4.5 Simulation and Results

4.5.1 Simulation Setup

4.5.2 Simulation Results

4.6 Conclusions

5: Modeling and Availability Assessment of Mobile Healthcare LoT Using Tree Analysis and Queueing Theory

5.1 Introduction

5.1.1 Motivation

5.1.2 State of the Art

5.1.3 Aim and Objectives

5.2 Healthcare LoT Infrastructure

5.3 Applicable Approaches and Methods for Modeling and Simulation of Healthcare LoT

5.3.1 Fault Tree Analysis for Failure Occurrence Nature of Healthcare LoT

5.3.2 Justification of Applicability of the Queueing Theory

5.4 Case Study: Modeling of Healthcare LoT Using Queueing Theory

5.4.1 Initial Model "Birth-Death"

5.4.2 The Model Considering Attacks on Vulnerabilities

5.4.3 The Model Considering Elimination of Vulnerabilities

5.4.4 Discussion of the Simulation Results

5.5 Conclusions

6: PSMECA Analysis of LoT-Based Physical Security Systems

6.1 Introduction

6.1.1 Motivation

6.1.2 The Objectives, Approach and Structure.

6.2 LoT-Based Physical Security System

6.3 Establishment of the Models of PSS

6.3.1 Models of Functions and Components of PSS

6.3.2 Fault Models of Physical Security System

6.3.3 Investigation and Analysis of the Occurrence of Failures in PSS

6.4 Conducting of PSMECA

6.4.1 An Example of PSMECA Tables for the Case of CCTV Subsystem Functioning in Normal Operation Mode

6.4.2 Discussion of the PSMECA

6.5 Conclusions and Future Steps

7: LoT Security Event Correlation Based on the Analysis of Event Types

7.1 Introduction

7.2 State of the Art

7.3 Approach to Security Event Correlation

7.3.1 Security Correlation and Sources of Information

7.3.2 Events, Event Types, and Properties

7.3.3 Correlation Method Based on Analysis of Event Types

7.3.4 Input Data Requirements

7.4 Implementation and Experiments

7.5 Conclusion

8: Investigation of the Smart Business Center for IoT Systems Availability Considering Attacks on the Router

8.1 Introduction

8.2 Security Challenges for IoT Technologies

8.2.1 Technologies and Features to Create IoT Systems

8.2.2 Vulnerabilities and Types of Attacks in Wireless IoT Systems

8.2.3 Security Issues of Some Wireless Technologies of IoT

8.2.3.1 ZigBee Technology

8.2.3.2 Z-Wave Technology

8.2.3.3 Long-Term Evolution/Long-Term Evolution Advanced (LTE/LTE-A) Technologies

8.2.3.4 Low-Power Wide-Area Network (LoRAWAN) Technology

8.2.3.5 Radio Frequency IDentification (RFID) Technology

8.2.3.6 Bluetooth Low Energy Technology (BLE)

8.2.4 Spyware in IoT

8.3 The Markov Model of the SBC Router States

8.3.1 Assumptions and Initial Data for Modeling

8.3.2 Description of the SBC Router States' Graph

8.3.3 Simulation Results

8.4 Conclusion

References.

9: An Internet of Drone-Based Multi-Version Post-Severe Accident Monitoring System: Structures and Reliability

9.1 Introduction

9.1.1 Motivation

9.1.2 State of the Art

9.1.3 The Goals and Structure

9.2 Principles of Creating an Internet-of-Drones-Based Multi-Version Post-Severe Accident Monitoring System

9.2.1 Structure

9.2.2 Principles

9.3 Reliability Models for the Internet-of-Drones-Based Multi-Version Post-Severe Accident Monitoring System

9.3.1 Simplified Structure

9.3.2 Subsystems' Reliability Models

9.3.3 System Models

9.4 Simulation

9.5 Conclusion

Part III: Architecting and Development

10: Virtualization of Embedded Nodesfor Network System Characterization in IoT Applications

10.1 Introduction

10.2 Related Work

10.2.1 System Level Simulation

10.2.2 Network Level Simulation

10.2.3 Network Level Emulation

10.3 Requirements

10.4 Background

10.4.1 The Emb::6 Networking Stack

10.4.2 TTCN-3

10.5 VTENN Basics

10.5.1 General Architecture

10.5.2 Node Virtualization

10.5.3 Virtual Radio and Channel

10.5.4 Virtual Topologies

10.5.5 Monitoring and Control

10.6 Design and Implementation

10.6.1 Test Executor

10.6.2 Network Manager

10.6.3 Virtual Nodes and Virtual Channels

10.6.4 Sample Test Cases

10.7 VTENN in IoT Applications

10.8 Conclusion and Future Work

11: IoT Meets Opportunities and Challenges: Edge Computing in Deep Urban Environment

11.1 Introduction

11.2 The Role of Big Data in IoT Era

11.2.1 Big Data Generation

11.2.2 IoT Data and Big Data Analytics

11.2.3 IoT System Architecture

11.3 Deep Urban Environment

11.3.1 Urban Paradigm

11.3.2 Urban IoT Applications

11.4 The Emergence of Edge Computing in Urban Context

11.4.1 Edge Vision.

11.4.2 Application in Urban Environment: Pollution Monitoring

11.4.3 Network Load Improvements

11.4.4 Network Local Estimation of Concentration for Immediate Exposure Feedback

11.4.5 Dependability: Reliability, Security, and Maintenance

11.5 Challenges

11.6 Conclusion

12: Hybrid Control System of Mobile Objects for IoT

12.1 Introduction

12.2 Related Work

12.3 Methodology

12.4 Implementation and Evaluation of the Hybrid Control System

12.4.1 Subsystem of Remote Control

12.4.2 Subsystem of Autonomous Control

12.5 Results and Further Work

12.6 Conclusion

13: Software Architecture for Smart Cities and Technical Solutions with Emerging Technologies' Internet of Things

13.1 Introduction

13.1.1 Challenges in a Smart City

13.1.2 Software Architecture for a Smart City

13.1.3 Smart City Governance: Example of Oman

13.1.4 Examples of Services Like Intelligent Transport System or Smart Transportation

13.1.5 Smart Urban Modeling

13.2 Security in a Smart City

13.2.1 Attack Analysis

13.2.2 Cyber-Physical Systems in Smart Cities

13.3 IoT Solutions for a Smart City

13.4 Conclusion

14: Approaches and Techniques to Improve IoT Dependability

14.1 Introduction

14.1.1 Motivation

14.1.2 Objectives and Structure

14.2 Secure Implementation of Modular Arithmetic Operations for IoT and Cloud Applications

14.2.1 Modular Arithmetic Operation for IoT and Cloud Security

14.2.2 Shortfalls of Methods for Secure Remote Implementation of Modular Exponentiation

14.2.3 Secure Parallel Modular Exponentiation

14.2.4 Secure Modular Exponentiation in Cloud Infrastructure

14.3 Security and Safety Case Driven Design for IoT Systems

14.3.1 Concept of Assurance Case Driven Design

14.3.2 Approach to Implement ACDD.

14.4 Software Requirements Correctness Improvement for IoT Reliability.

Notes:

"Conference papers and proceedings."

Description based on print version record.

ISBN:

1-000-79641-8

1-00-333784-8

1-003-33784-8

1-000-79288-9

87-7022-013-1

9781003337843

OCLC:

1349722182