The combination of integrated software controlling devices, networking capabilities, and sensing/actuation technologies in Medical Cyber-Physical Systems (M-CPS) highlights some specific research challenges. The major challenge is to formally ensure the confidentiality of the data or resources they handle. This study tackles 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 structural dimension of the CPS, representing the space (physical and cyber entities) in which agents exist and interact, is defined with BRS. Control agents constitute the virtual dimension and observe and control the physical and cyber entities of their environment. The complex and adaptive behavior of CPS (behavioral dimension) is defined through several types of rules, each managing a possible evolution of a CPS component (physical, cyber, or virtual). Two distinctive perspectives are associated with the semantic interpretation of these rules: the states perspective and the activities perspective. This study focuses on the activities perspective that specifies the behavior of control agents with a BPMN activity diagram. This highlights how these two models (CA-BRS and BPMN) complement each other to assist the designer in defining formal models for CPS. Additionally, it reveals how to provide the CA-BRS model with means to control unauthorized access to an electronic health record system.
Read full abstract