Scientific Journal

Applied Aspects of Information Technology

BEHAVIORAL VERIFICATION OF INTERNET OF THINGS SYSTEMS BY PETRI NETS
Abstract:
The rapid development, implementation in all spheres of human activity and the growing responsibility of the functions of the Internet of things systems tighten and complicate the requirements for the reliability of their design decisions at the development stages and operability during their implementations. Well-known methods for verifying projects and implementations rely on the means of system, structural, functional, design and technological analysis and synthesis of Internet of things systems. However, their capabilities do not underestimate the feasibility of developing formalized models and verification methods, in particular, their integration at the early system-functional stages, where “manual” design is inevitable and essential. This paper presents elements of a comprehensive behavioral verification of projects at the system-functional level for Internet of Things systems represented using input UML diagrams and designed Petri nets. Verification includes at the first stage a “manual” system analysis of the correctness of entities and relationships for input UML diagrams and simple Petri nets, performed as their cover when activated in visual modeling. For this stage, general estimates of the costs of redesigning in case of errors are given. At the second stage in the verification of the system-functional level, an automated analysis of the correctness of more complex Petri nets corresponding to real objects is performed in the CPN Tools environment with modeling of their behavior and construction of a graph of reachable states (markups). In this case, the result allows the dynamics of the Petri net to evaluate the presence of dead ends, hanging peaks, endless cycles, safety and liveliness properties, and, if necessary, redesign. The combined integrated use of system “manual” and functional automated verification for input UML models and projected models of Petri nets allows reducing the time of designing Internet of things systems by eliminating or timely eliminating design errors.
Authors:
Keywords
DOI
DOI: 10.15276/aait.04.2019.4
References
  1. Pallavi, Sethi & Smruti, R. (2017). “Sarangi Internet of Things: Architectures, Protocols, and Applications”, Journal of Electrical and Computer Engineering Vol. 5, Article ID 9324035, 25 p. https://doi.org/10.1155/2017/9324035.
  2. (2018). Kharchenko, Vyacheslav, Ah Lian Kor, & Rucinski,Andrzej (Eds). “Dependable IoT for Human and Industry: Modeling, Architecting, Implementation”, River Publishers Series in Information Science and Technology, 450 p.
  3. Tara, Salman “Networking Protocols and Standards for Internet of Things”. https://www.cse.wustl.edu/~jain/cse570-15/ftp/iot_prot/index.html, Internet source.
  4. Talari, Saber, Shafie-khah, Miadreza, Siano, Pierluigi, Loia, Vincenzo, Tommasetti, Aurelio & Catalão, João P. S. (2017). “A Review of Smart Cities Based on the Internet of Things Concept”, Publ. Energies 10, 421, 23 p. http://www.mdpi.com/1996-1073/10/4/421/pdf, DOI.org/10.3390/en10040421.
  5. Strielkina,A. A., Uzun,D. D., Kharchenko,V. S., Tetskyi,A. H. (2018). “Modelling and Availability Assessment of Mobile Healthcare IoT Using Tree Analysis and Queueing Theory”, in book: “Dependable IoT for Human and Industry: Modeling, Architecting, Implementation”, Kharchenko, Vyacheslav, Ah Lian Kor, Rucinski, Andrzej (Eds.), Publ. River Publishers Series in Information Science and Technology.
  6. Dovgal, V. A., Dovgal, D. V. (2017). “Management of Resources on the Internet of Things”, Distance educational technologies: proceedings of the II Russian scient.-pract. conf., Yalta: Simferopol: Publ. ARIAL, pp. 168-173.
  7. Ashton, Kevin. (2009). “That “Internet of Things”, RFID Journal. (2009. 22 June). URL: http://www.rfidjournal.com/articles/pdf?4986
  8. Evans, D. (2009). “Internet of Things”, Cisco, white paperhttps://www.cisco.com/c/dam/en_us/about /ac79/ docs/innov/IoT_IBSG_0411FINAL.pdf. Internet source.
  9. Dovgal, V. А. & Dovgal, D. V. (2017). “Security Issues and Challenges for the Intellectual Networks Founded on the Internet of Things”, The Bulletin of the Adyghe State University. Ser. Natural-Mathematical and Technical Sciences, Iss. 4. pp. 140-147. URL: http://vestnik.adygnet.ru (in Russian).
  10. Esparza, Javier. (2017). “Automata theory. an Algorithmic Approach. Lecture Notes”, (August 26, 2017), 321 p. Available from: https://www7.in.tum.de/~esparza/autoskript.pdf.
  11. Kondratenko,Y., Kozlov,O., Topalov,A., Korobko,O. &Gerasin,O.(2018). “Automation of Control Processes in Specialized Pyrolysis Complexes Based on Industrial Internet of Things”, in book: “Dependable IoT for Human and Industry: Modeling, Architecting, Implementation”, Kharchenko, Vyacheslav, Ah Lian Kor, Rucinski, Andrzej (Eds.), River Publishers Series in Information Science and Technology.
  12. Boyarchuk, A., Kharchenko,V., Illiashenko,O., Maevsky,D., Phillips,C., Plakhteev,A. &Vystorobska,L.(2018). “Internet of Things for Human and Industry Applications: ALIOT Based Curriculum”, in book: “Dependable IoT for Human and Industry: Modeling, Architecting, Implementation”, Kharchenko, Vyacheslav, Ah Lian Kor, Rucinski,Andrzej (Eds.), River Publishers Series in Information Science and Technology.
  13. Hahanov, V., Litvinova, E., Chumachenko, S. (2017). “Cyber Physical Computing for IoT-driven Services”, Publ. Springer, 279 p.
  14. Desel, Jorg, Esparza & Javier Free (1995). “Choice Petri Nets”, Cambridge University Press, Cambridge, 256 p. Available from: https://www7.in.tum.de/~esparza/fcbook-middle.pdf.
  15. (2007). Kleijn, J., Yakovlev, A. (Eds). “Petri nets and Other Models of Concurrency”, ICATPN, Lecture Notes in Computer Science, Vol. 4546, ISBN 978-3-54073093-4, Publ. Springer-Verlag, 2007, 515 p.
  16. Poliakov, I., Mokhov, A., Rafiev, A., Sokolov D. & Yakovlev, A. (2008). “Automated Verification of Asynchronous Circuits Using Circuit Petri Nets”, Proceedings of the 14th IEEE International Symposium on Asynchronous Circuits and Systems, Newcastle upon Tyne, UK, (April 2008), pp. 161-170. DOI10.1109/ASYNC.2008.18.
  17. Zaitsev, D. A. (2013). “Toward the Minimal Universal Petri Net”, IEEE Transactions on Systems, Man, and Cybernetics: Systems, pp. 1-12.
  18. Westergaard, Michael. (2010). “CPN Tools”, Eindhoven: 46 p. https://westergaard.eu/wp-content/uploads/2010/09/CPN-Tools.pdf. Internet source.
  19. Sugak, A., Martynyuk, O. & Drozd, O. (2015). “The Hybrid Agent Model of Behavioral Testing”, International Journal of Computing, Vol. 14, Issue 4, Ternopol: Ukraine, pp. 232-244.
  20. Kharchenko,V., Gorbenko, A., Sklyar, V. & Phillips, C. (2013). “Green Computing and Communications in Critical Application Domains: Challenges and Solutions”, IX International Conference of Digital Technologies, Zhilina: Slovak Republic, pp. 191-197.
  21. Sugak, A., Martynyuk, O. & Drozd, O. (2015). “Models of the Mutation and Immunity in Test Behavioral Evolution”, Proceedings of the 2015 8th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, Warsaw: Poland, pp. 790-795. DOI: 10.1109/IDAACS.2015.7341411.
  22. Martynyuk, O., Sugak, A., Martynyuk, O. & Drozd, O. (2017). “Evolutionary Network of Testing of the Distributed Information Systems”,Proceedings of the 2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, Bucharest: Romania, pp. 888-893. https://ieeexplore.ieee.org/document/8095215.
  23. Wang, Anduo. (2010). “Formal Analysis of Network Protocols”, University of Pennsylvania Department of Computer and Information Science Technical Report, No. MS-CIS-10-16. 32 p. https://repository.upenn.edu/cgi/viewcontent.cgi?article=1970&context=cis_reports
  24. Câmara, Daniel. (2009). “Formal Verification of Communication Protocols for Wireless Networks”, Publ. Belo Horizonte, 136 p. http://www.eurecom.fr/~camara/files/ThesisCamara_FormalVerification.pdf. Internet source.
  25. Gomes, Luís & Fernandes João M. (2010). “Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation”, 494 p. ISBN13: 9781605667508 | ISBN10: 1605667501 | EISBN13: 9781605667515 | DOI: 10.4018/978-1-60566-750-8.
  26. Schamai, Wladimir. (2013). “Model-Based Verification of Dynamic System Behavior against Requirements Method, Language, and Tool”, Linköping University SE-581 83, Linköping, Sweden, 257 p. Internet source.
  27. Kudryavtsev, V. B., Grunskii, I. S., & Kozlovskii, V. A. (2010). “Analysis and Synthesis of Abstract Automata”, Journal of Mathematical Sciences, (September 2010), Vol. 169, Issue 4, pp. 481-532.
  28. Martynyuk, О., Drozd, O., Ahmesh, Tamem, Bui Van Thuong, Sachenko, A., Mykhailova, H. & Dombrovskyi, M. (2019). “Hierachical Model of Behavior On-line Testing for Distributed Information Systems”, The 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, Vol. 2, Metz, France: pp. 724-729. DOI: 10.1109/IDAACS.2019.8924314.
  29. Drozd, M., Drozd, O. & Antoniuk, V. V. (2019). “Power-oriented Checkability and Monitoring of the Current Consumption in FPGA Projects of the Critical Applications”, Scientific Journal Applied Aspects of Information Technology, Vol. 2, No 2, Odessa: Ukraine, pp. 105-114.
Published:
Last download:
22 Oct 2021

Contents


[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2018.]