Controller synthesis for IoT protocols verification

dc.contributor.author Asteasuain, Fernando
dc.date.accessioned 2022-11-23T11:46:57Z
dc.date.available 2022-11-23T11:46:57Z
dc.date.issued 2021-11
dc.description.abstract 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.
dc.identifier.citation Asteasuain, F. (2022). Controller synthesis for IoT protocols verification. En: Congreso Nacional de Ingeniería Informática y Sistemas de Información, CoNaIISI. 9. 4-5 nov 2021, Mendoza, Argentina. Memoria de trabajos, comp. por M. Fernández, M. Césari, M.G. Martínez. Buenos Aires : Universidad Tecnológica Nacional. p.:321-326
dc.identifier.uri https://repositorio.uai.edu.ar/handle/123456789/521
dc.language.iso en
dc.publisher Universidad Tecnológica Nacional
dc.subject Internet of Things
dc.subject IoT
dc.subject formal verification
dc.subject synthesis
dc.title Controller synthesis for IoT protocols verification
dc.type DOCUMENTOCONF
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
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.
Size:
3.32 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description: