A comprehensive survey on modeling of cyber‐physical systems. (18th October 2018)

• Record Type: Journal Article
• Authors: Graja, Imen; Kallel, Slim; Guermouche, Nawal; Cheikhrouhou, Saoussen; Hadj Kacem, Ahmed
• Other Names: Drira Khalil guestEditor.; Jmaiel Mohamed guestEditor.; Lastovetsky Alexey L. guestEditor.; Manumachu Ravi Reddy guestEditor.
• Is Part Of: Concurrency and computation. Volume 32:Number 15(2020)
• Page Start: n/a
• Page End: n/a
• Publication Date: 2018-10-18
• Subjects: cyber‐physical systems -- CPS properties -- modeling; Parallel processing (Electronic computers) -- Periodicals; Parallel computers -- Periodicals; 004.35
• DOI: 10.1002/cpe.4850
• Languages: English
• ISSNs: 1532-0626

Abstract

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.