An IOHMM-Based Framework to Investigate Drift in Effectiveness of IoT-Based Systems

IoT-based systems, when interacting with the physical environment through actuators, are complex systems difficult to model. Formal verification techniques carried out at design-time being often ineffective in this context, these systems have to be quantitatively evaluated for effectiveness at run-t...

Descripción completa

Detalles Bibliográficos
Autores principales: Rocher, Gérald, Lavirotte, Stéphane, Tigli, Jean-Yves, Cotte, Guillaume, Dechavanne, Franck
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7828485/
https://www.ncbi.nlm.nih.gov/pubmed/33451006
http://dx.doi.org/10.3390/s21020527

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7828485/
https://www.ncbi.nlm.nih.gov/pubmed/33451006
http://dx.doi.org/10.3390/s21020527

Ejemplares similares