A Formal Integrated Approach for Cyber Physical Systems

Bouheroum, Ayoub; Benmerzoug, Djamel; Hemam, Sofiane Mounine; Belala, Faïza; Lehamdi, Aya; Aouissate, Radhia

doi:10.1109/pais56586.2022.9946900

Cited by 1 publication

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There were also some interesting works [23][24][25] based on the BRS formalism, which is stated in our work. Authors in [23] have introduced the concept of topology configuration that captures the characteristics of cyber-physical spaces' environment.…”

Section: Related Workmentioning

confidence: 66%

“…The authors of [25] proposed formalizing CPS using an integrated formal analysis, combining the BPMN model and Bigraphs. They tried to show how these models complement each other to assist the system designer in establishing a formal verification of the business process workflow involved in CPS.…”

Section: Related Workmentioning

confidence: 99%

“…In our previous work [26], we showed that BRS extended with specific intelligent nodes (Control Agents) determines the appropriate level of abstraction and granularity, because overly abstract models, such as BRS, may overlook important details, while the agent-based models may capture critical aspects accurately. In addition, they allow modeling and reasoning about the dynamic and uncertain behavior of CPS.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems

Bouheroum,

Benmerzoug,

Hemam

et al. 2024

Preprint

View full text Add to dashboard Cite

The combination of integrated software controlling devices, networking capabilities, and sensing/actuation technologies in Medical Cyber-Physical Systems (M-CPS) highlights some research challenges specific to this class of Cyber-Physical Systems (CPS). The major challenge is ensuring the confidentiality of the data or resources that they handle. In this paper, we tackle this problem by proposing a formal approach that combines CA-BRS (Control Agent and Bigraphical Reactive Systems) and BPMN (Business Process Model Notation) to specify and analyze CPS in general, while respecting several dimensions. The CPS structural dimension, which represents the space (physical and cyber entities) in which agents exist and interact, is defined by the Bigraphs. Control agents constituting the virtual dimension observe and control the physical and cyber entities of their environment. The complex and adaptive behavior of a CPS (behavioral dimension) is defined through several types of rules; each manages a possible evolution of a CPS component (physical, cyber or virtual). Two distinctive perspectives are associated with the semantic interpretation of these rules: states and activities. Both perspectives are defined with a particular semantics and notations. This study focuses on the activities perspective that specifies the behavior of control agents using a BPMN activity diagram. This highlights how these two models (CA-BRS and BPMN) complement each other to assist designers in defining formal models for CPS. Additionally, it reveals how to provide the CA-BRS model with means of controlling unauthorized access to an Electronic Health Record system.

show abstract