Premium
A comprehensive survey on modeling of cyber‐physical systems
Author(s) -
Graja Imen,
Kallel Slim,
Guermouche Nawal,
Cheikhrouhou Saoussen,
Hadj Kacem Ahmed
Publication year - 2020
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.4850
Subject(s) - cyber physical system , key (lock) , computer science , focus (optics) , data science , computer security , physics , optics , operating system
Summary Modeling Cyber‐physical systems (CPS) is a challenging step that requires a lot of background from both the cyber and physical fields. However, there is a lack of studies in the existing literature that discuss the state of the art in modeling CPS or explore the research gaps in this area. In this paper, we survey existing approaches to modeling CPS. We focus on studying the considered CPS properties. Based on this study, we classify these properties and discuss their importance in different application domains. Moreover, research directions are presented to address key challenges in the specification of CPS models.