Formal Specification and Verification of Timing Behavior in Safety-Critical IoT Systems-Reference-Cited by-同舟云学术

Formal Specification and Verification of Timing Behavior in Safety-Critical IoT Systems

Published:2021 Issue: Volume: Page:459-470
ISSN:2569-7072
Container-title:Transactions on Computational Science and Computational Intelligence
language:
Short-container-title:

Author:

Jia Yangli,Zhang Zhenling,Cao Xinyu,Wang Haitao

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-70873-3_32

Reference13 articles.

1. A. Čolaković, M. Hadžialić, Internet of Things (IoT): A review of enabling technologies, challenges, and open research issues. Comput. Netw. 144, 17–39 (2018)

2. K. Hofer-Schmitz, B. Stojanović, Towards formal verification of IoT protocols: A review. Comput. Netw., 107233. ISSN 1389-1286. (2020). https://doi.org/10.1016/j.comnet.2020.107233

3. S. Tang, D.R. Shelden, C.M. Eastman, et al., A review of building information modeling (BIM) and the internet of things (IoT) devices integration: Present status and future trends. Autom. Constr. 101(May), 127–139 (2019)

4. P. Fremantle, B. Aziz, Deriving event data sharing in IoT systems using formal modelling and analysis, Internet of Things. 8, 100092, ISSN 2542-6605 (2019). https://doi.org/10.1016/j.iot.2019.100092

5. D.V. Hung, B.V. Anh, Model checking real-time component based systems with blackbox testing, in Proceedings of IEEE RTCSA’05, Washington, DC, 2005, pp. 76–79

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Incorporating Failure Knowledge into Design Decisions for IoT Systems: A Controlled Experiment on Novices;2023 IEEE/ACM 5th International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT);2023-05