Naslov
Periodic Systems: Safety, Security, and Complexity

Autori
Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Book of Abstracts LAP 2021 / - , 2021, 7-8

Skup
Logic and Applications 2021

Mjesto i datum
Dubrovnik, Hrvatska, 20.09.2021. - 24.09.2021

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Formal Methods, Verification, Security, Multiset Rewriting, Industry 4.0, Complexity

Sažetak
This paper is a step toward a formal framework for specifying Industry 4.0 (I4.0) systems and analyzing underlying properties including safety and security. Our formal framework is based on multiset rewriting. We introduce Automata Systems (AS) motivated by I4.0 applications. We identify various subclasses of AS that reflect different types of requirements on I4.0. For example, Periodic Automata Systems (PAS) refine AS by incorporating the assumption that an I4.0 application carries out a collection of tasks by execution of its components periodically. We investigate the complexity of the problem of Functional Correctness of these systems and the Security Problem for Functionally Correct Systems. We model the presence of various levels of threats to the system by proposing a range of intruder models, based on the number of actions intruders can use.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo

POVEZANOST RADA