2021
DOI: 10.1109/jiot.2020.3025612
|View full text |Cite
|
Sign up to set email alerts
|

Reliable Real-Time Operating System for IoT Devices

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
7
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 10 publications
(8 citation statements)
references
References 21 publications
0
7
0
Order By: Relevance
“…Classic approaches to provide isolation and implement reliable systems on low-end embedded devices have been evolving from constructive (language/compiler-based) memory protection [58]- [62] and hardware-enforced RTOS mechanisms [21], [63], [64], to lightweight virtualization infrastructures [4], [5], [65], [66]. Tock [59] leverages limited hardware protection mechanisms as well as the type-safety features of the Rust programming language to provide a reliable multiprogramming environment for MCUs.…”
Section: Reliable Systems For Mcu-powered Iot Devicesmentioning
confidence: 99%
“…Classic approaches to provide isolation and implement reliable systems on low-end embedded devices have been evolving from constructive (language/compiler-based) memory protection [58]- [62] and hardware-enforced RTOS mechanisms [21], [63], [64], to lightweight virtualization infrastructures [4], [5], [65], [66]. Tock [59] leverages limited hardware protection mechanisms as well as the type-safety features of the Rust programming language to provide a reliable multiprogramming environment for MCUs.…”
Section: Reliable Systems For Mcu-powered Iot Devicesmentioning
confidence: 99%
“…This incorporates sandbox behavior and improves the network performance. Other researches [22][23][24] suggest that security verification, threading for performance and security, domain parameter prediction for better attack mitigation, and high-speed IoT performance can be achieved via modifying the existing IoT kernels. Here, kernels like TizenOS, real-time kernel, and so on are modified in order to include these enhancements.…”
Section: Literature Reviewmentioning
confidence: 99%
“…Reliable systems for the IoT. Classic approaches to provide isolation and implement reliable systems on resourceconstrained devices have been evolving from constructive (language/compiler-based) memory protection [52]- [56] and hardware-enforced RTOS mechanisms [21], [57], [58], to lightweight virtualization infrastructures [5], [6], [59], [60]. Tock [53] leverages limited hardware protection mechanisms as well as the type-safety features of the Rust programming language to provide a reliable multiprogramming environment for MCUs.…”
Section: Related Workmentioning
confidence: 99%
“…Several widespread embedded (RT)OSes such as Mbed OS [61], FreeRTOS [62], and Zephyr [63] have already upstream support for task isolation using the MPU. In [21], Hahm et al have enhanced TizenRT with user-level reliability mechanisms, i.e., fault isolation and fault recovery. Another class of approaches have proposed lightweight virtualization solutions for resource-constrained devices.…”
Section: Related Workmentioning
confidence: 99%