Cargando…

Formal Verification of Control Modules in Cyber-Physical Systems

The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system. The initial specification in the form of user-friendly UML state machine diagrams is written as an abstract rule-based logical model. The logical model is then used both for formal veri...

Descripción completa

Detalles Bibliográficos
Autor principal: Grobelna, Iwona
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7570814/
https://www.ncbi.nlm.nih.gov/pubmed/32927612
http://dx.doi.org/10.3390/s20185154