IDEAS home Printed from https://ideas.repec.org/a/sae/intdis/v16y2020i5p1550147720911008.html
   My bibliography  Save this article

Design and model checking of timed automata oriented architecture for Internet of thing

Author

Listed:
  • Guang Chen
  • Tonghai Jiang
  • Meng Wang
  • Xinyu Tang
  • Wenfei Ji

Abstract

The architecture model of the Internet of thing system is the primary foundation for the design and implementation of the Internet of thing system. This article discusses the method and practice of time automaton modeling and model checking for the architecture of the Internet of thing system from the state and time dimensions. This article introduces the theory and method of modeling using time automata. And then, combined with the actual need of the elderly health cabin Internet of thing system, a dynamic and fault-tolerant time automaton model is established through a relatively complete architecture modeling. The model checking method verifies that the designed Internet of thing system has no deadlock system activity, service correctness, and timeliness correctness. The results of modeling experiments and model validation show that the reference model of time automata Internet of thing architecture established in this article can better reflect the nature of interaction with the physical world, heterogeneity and large-scale, dynamic, and incompleteness of the Internet of thing system.

Suggested Citation

  • Guang Chen & Tonghai Jiang & Meng Wang & Xinyu Tang & Wenfei Ji, 2020. "Design and model checking of timed automata oriented architecture for Internet of thing," International Journal of Distributed Sensor Networks, , vol. 16(5), pages 15501477209, May.
    • Handle: RePEc:sae:intdis:v:16:y:2020:i:5:p:1550147720911008
    DOI: 10.1177/1550147720911008
    as

    Download full text from publisher

    File URL: https://journals.sagepub.com/doi/10.1177/1550147720911008
    Download Restriction: no
    File URL: https://libkey.io/10.1177/1550147720911008?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Huiyuan Xiong & Xionglai Zhu & Ronghui Zhang, 2018. "Energy Recovery Strategy Numerical Simulation for Dual Axle Drive Pure Electric Vehicle Based on Motor Loss Model and Big Data Calculation," Complexity, Hindawi, vol. 2018, pages 1-14, August.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. He, Qiang & Yang, Yang & Luo, Chang & Zhai, Jun & Luo, Ronghua & Fu, Chunyun, 2022. "Energy recovery strategy optimization of dual-motor drive electric vehicle based on braking safety and efficient recovery," Energy, Elsevier, vol. 248(C).
    2. Jie Hu & Wentong Cao & Feng Jiang & Lingling Hu & Qian Chen & Weiguang Zheng & Junming Zhou, 2023. "Study on Multi-Objective Optimization of Power System Parameters of Battery Electric Vehicles," Sustainability, MDPI, vol. 15(10), pages 1-23, May.
    3. Huiyuan Xiong & Huan Liu & Jian Ma & Yuelong Pan & Ronghui Zhang, 2021. "An NN-Based Double Parallel Longitudinal and Lateral Driving Strategy for Self-Driving Transport Vehicles in Structured Road Scenarios," Sustainability, MDPI, vol. 13(8), pages 1-16, April.
    4. Ying Lyu & Xuenan Sun & Hong Chu & Bingzhao Gao, 2020. "Improvement of Battery Life and Energy Economy for Electric Vehicles with Two-Speed Transmission," Energies, MDPI, vol. 13(13), pages 1-20, July.
    5. Hong, Jichao & Wang, Zhenpo & Zhang, Tiezhu & Yin, Huaixian & Zhang, Hongxin & Huo, Wei & Zhang, Yi & Li, Yuanyuan, 2019. "Research on integration simulation and balance control of a novel load isolated pure electric driving system," Energy, Elsevier, vol. 189(C).
    6. Yang, Lu & Xie, Pengli & Bi, Chongke & Zhang, Ronghui & Cai, Bowen & Shao, Xiaowei & Wang, Rongben, 2020. "Household power consumption pattern modeling through a single power sensor," Renewable Energy, Elsevier, vol. 155(C), pages 121-133.
    7. Yang, Yang & He, Qiang & Fu, Chunyun & Liao, Shuiping & Tan, Peng, 2020. "Efficiency improvement of permanent magnet synchronous motor for electric vehicles," Energy, Elsevier, vol. 213(C).
    8. Yang Yang & Qiang He & Yongzheng Chen & Chunyun Fu, 2020. "Efficiency Optimization and Control Strategy of Regenerative Braking System with Dual Motor," Energies, MDPI, vol. 13(3), pages 1-21, February.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:sae:intdis:v:16:y:2020:i:5:p:1550147720911008. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: SAGE Publications (email available below). General contact details of provider: .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.