Conceptual model of real-time IoT systems

被引：6
|
作者：
Yuan, Bo [1 ,2 ]
Chen, De-ji [1 ,3 ]
Xu, Dong-mei [4 ]
Chen, Ming [5 ]
机构：
[1] Tongji Univ, Dept Comp Sci & Technol, Shanghai 201804, Peoples R China
[2] Jinggangshan Univ, Sch Elect & Informat Engn, Jian 343009, Jiangxi, Peoples R China
[3] Tongji Univ, MOE Key Lab Embedded Syst & Serv Comp, Shanghai 201804, Peoples R China
[4] China Elect Standardizat Inst, Beijing 100007, Peoples R China
[5] Tongji Univ, Chinesisch Deutsch Hsch Angew Wissensch, Shanghai 201804, Peoples R China
来源：
FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING | 2019年 / 20卷 / 11期
关键词：
Internet of Things (IoT); Real-time system; Conceptual model; View; Hard; Soft real-time; TP393; INTERNET; THINGS;
D O I：
10.1631/FITEE.1900115
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We address a special kind of Internet of Things (IoT) systems that are also real-time. We call them real-time IoT (RT-IoT) systems. An RT-IoT system needs to meet timing constraints of system delay, clock synchronization, deadline, and so on. The timing constraints turn to be more stringent as we get closer to the physical things. Based on the reference architecture of IoT (ISO/IEC 30141), the RT-IoT conceptual model is established. The idea of edge subsystem is introduced. The sensing & controlling domain is the basis of the edge subsystem, and the edge subsystem usually must meet the hard real-time constraints. The model includes four perspectives, the time view, computation view, communication view, and control view. Each view looks, from a different angle, at how the time parameters impact an RT-IoT system.
引用
收藏
页码：1457 / 1464
页数：8
相关论文
共 50 条
  • [21] Real-Time Sensor Networks and Systems for the Industrial IoT: What Next?
    Koulamas, Christos
    Lazarescu, Mihai T.
    SENSORS, 2020, 20 (18) : 1 - 3
  • [22] Machine Learning in Real-Time Internet of Things (IoT) Systems: A Survey
    Bian, Jiang
    Al Arafat, Abdullah
    Xiong, Haoyi
    Li, Jing
    Li, Li
    Chen, Hongyang
    Wang, Jun
    Dou, Dejing
    Guo, Zhishan
    IEEE INTERNET OF THINGS JOURNAL, 2022, 9 (11) : 8364 - 8386
  • [23] Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems
    Bu, Lei
    Xiong, Wen
    Liang, Chieh-Jan Mike
    Han, Shi
    Zhang, Dongmei
    Lin, Shan
    Li, Xuandong
    ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2018, 2 (03)
  • [24] Compositional Model Checking for Real-Time Systems
    Hou, J.
    Li, X.
    Fan, X.
    Zheng, G.
    Software Engineering Notes, 23 (01):
  • [25] SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS
    HENZINGER, TA
    NICOLLIN, X
    SIFAKIS, J
    YOVINE, S
    INFORMATION AND COMPUTATION, 1994, 111 (02) : 193 - 244
  • [26] Local model checking for real-time systems
    Sokolsky, OV
    Smolka, SA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 211 - 224
  • [27] The XBW model for dependable real-time systems
    Claesson, V
    Poledna, S
    Soderberg, J
    1998 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1998, : 130 - 138
  • [28] The reference model for real-time simulation systems
    Gui, X.
    Dai, J.
    Zhou, X.
    2001, Acta Simulata Systematica Sinica (13):
  • [29] Symbolic model checking of real-time systems
    Logothetis, G
    Schneider, K
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 214 - 223
  • [30] SIGNAL AS A MODEL FOR REAL-TIME AND HYBRID SYSTEMS
    BENVENISTE, A
    LEBORGNE, M
    LEGUERNIC, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 20 - 38
12345