Formal Verification of Control Modules in Cyber-Physical Systems

Autor:	Iwona Grobelna
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	control systems cyber-physical systems formal verification manufacturing systems model checking Chemical technology TP1-1185
Zdroj:	Sensors, Vol 20, Iss 18, p 5154 (2020)
Druh dokumentu:	article
ISSN:	20185154 1424-8220
DOI:	10.3390/s20185154
Popis:	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 verification using the model checking technique and for prototype implementation in FPGA devices. The model is automatically transformed into a verifiable model in nuXmv format and into synthesizable code in VHDL language, which ensures that the resulting models are consistent with each other. It also allows the early detection of any errors related to the specification. A case study of a manufacturing automation system is presented to illustrate the approach.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/bbffeb8b77a14c17996c6f486766b423 Zobrazit plný text záznamu View record in DOAJ Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.