CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa
Controller synthesis for IoT protocols verification
Año: 2021
Idioma: Inglés
Resumen
Almost every modern device or artifact can now send and/or receive information and data. This hyper connected modern era is commonly denominated Internet of Things (IoT). Software Engineering tools and techniques must be adapted to manage the new challenges and requirements that the emergent paradigm of IoT imposes, especially regarding to communications, interactions and protocols between those artifacts. In this work we focus on a very well known formal technique called Controller Synthesis, which features interesting characteristics to formally verify IoT systems. In particular, we specified and synthesized the behavior of a key protocol for IoT, the MQQT protocol, employing the FVS formal verification framework.
Integrantes
Fernando Asteasuain (Autor)
Archivos
-
Fernando Asteasuain (2021). “Controller Synthesis for IoT Protocols Verification”. 9no. Congreso Nacional de Ingeniería Informática y Sistemas de Información CoNaIISI 2021. Modalidad Virtual. Facultad Regional Mendoza. Universidad Tecnológica Nacional. Mendoza, 4 y 5 de Noviembre de 2021.
19- Fernando Asteasuain - Controller Synthesis for IoT - CoNaIISI 2021.pdf