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

[1]  Benjamin Aziz,et al.  Deriving event data sharing in IoT systems using formal modelling and analysis , 2019, Internet Things.

[2]  He Jifeng,et al.  From CSP to hybrid systems , 1994 .

[3]  Jim Davies,et al.  A Brief History of Timed CSP , 1995, Theor. Comput. Sci..

[4]  Lubos Brim,et al.  Component-interaction automata as a verification-oriented component-based system specification , 2006, ACM SIGSOFT Softw. Eng. Notes.

[5]  Mesud Hadzialic,et al.  Internet of Things (IoT): A review of enabling technologies, challenges, and open research issues , 2018, Comput. Networks.

[6]  Nancy A. Lynch,et al.  The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science) , 2006 .

[7]  Frits W. Vaandrager,et al.  Analysis of a clock synchronization protocol for wireless sensor networks , 2009, Theor. Comput. Sci..

[8]  Branka Stojanovic,et al.  Towards formal verification of IoT protocols: A Review , 2020, Comput. Networks.

[9]  Pardis Pishdad-Bozorgi,et al.  A review of building information modeling (BIM) and the internet of things (IoT) devices integration: Present status and future trends , 2019, Automation in Construction.

[10]  Dang Van Hung,et al.  Model checking real-time component based systems with blackbox testing , 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

[11]  Frantisek Plasil,et al.  Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..

[12]  Thomas A. Henzinger,et al.  Timed Interfaces , 2002, EMSOFT.