Abstract:Recent years, the rapid development of Internet of Things (IoT) technologies and applications have been witnessed. Three important features are characterized in modern IoT applications: 1) device heterogeneity; 2) long-range communication; and 3) cloud/edge-device integration. Difficulties are raised by the above features toward IoT application developers, e.g., predicting and evaluating the performance of the entire IoT application system. To deal with the above difficulties, we design and implement an IoT simulator, TinySim, which satisfies the requirements of high fidelity, high scalability, and seamless transplantation. TinySim takes advantage of the hardware-independent features of TinyLink programming language. Hence, a similar code can be used for both simulation and execution on real hardware platforms. Many virtual IoT devices can be simulated by TinySim at the PC end. These IoT devices can send or receive messages from the cloud or smartphones, making it possible for the developers to evaluate the entire system without the actual IoT hardware. We connect TinySim with Unity 3-D to provide high interactivity. To reduce the event synchronization overhead between TinySim and Unity 3-D, a dependence graph-based approach is proposed. We design an approximation-based approach to reduce the number of simulation events, greatly speeding up the simulation process. We carefully evaluate TinySim using benchmarks and two concrete case studies. TinySim can simulate representative IoT applications, such as smart flowerspot and shared bikes. We conduct extensive experiments to evaluate the performance of TinySim. Results show that TinySim can achieve high accuracy with an error ratio lower than 9.52% in terms of energy and latency. Further, TinySim can simulate 4000 devices within 11.2 physical-minutes for ten simulation-minutes, which is about $3\times $ faster than the state-of-art approach.

Firmware code instrumentation technology for internet of things-based services

Dtee: A Declarative Approach to Secure IoT Applications Using TrustZone

Hardware-Assisted Control-Flow Integrity Enhancement for IoT Devices

Scalable and Interactive Simulation for IoT Applications with TinySim.

Toward Hybrid Static-Dynamic Detection of Vulnerabilities in IoT Firmware

An Instrumentation Tool for Program Dynamic Analysis in Java

Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware

Fingerprinting Mainstream IoT Platforms Using Traffic Analysis

IoTa: Fine-Grained Traffic Monitoring for IoT Devices Via Fully Packet-Level Models

Efficient Fault-Tolerant Information Barrier Coverage in Internet of Things

One Bad Apple Spoils the Barrel: Understanding the Security Risks Introduced by Third-Party Components in IoT Firmware

TPE-Det: A Tamper-Proof External Detector via Hardware Traces Analysis Against IoT Malware

Code Integrity and Confidentiality: An Active Data Approach for Active and Healthy Ageing

A lightweight intrusion detection method for IoT based on deep learning and dynamic quantization

LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Device

Faster and Better: Detecting Vulnerabilities in Linux-based IoT Firmware with Optimized Reaching Definition Analysis

IoTTFID: An Incremental IoT Device Identification Model Based on Traffic Fingerprint

Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems.

Rule (4) and Continuous Observation

Research on Application of IoT and Time-of-Flight Technology in Product Inspection for Intelligent factory

A TDD Framework for Automated Monitoring in Internet of Things with Machine Learning