Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components

Perla Tannoury, Ahmed Hammad

2024

Abstract

Modeling Cyber-Physical Systems (CPS) with timing constraints remains a challenge due to the complex behaviors of their interconnected components that operate in a physical environment. In this paper, we introduce “Timed SysReo”, a novel incremental design methodology that integrates SysML and Timed Reo for modeling CPS architectures and timed interaction protocols during the design phase. We first define the meta-models to formalize CPS model architecture and to detail timed connections between its components. Then, we propose to precise the meta-model with Object Constraint Language (OCL), that imposes rules to be respected in order to ensure consistency between timed models in our incremental design approach. Finally, we demonstrate our approach through an example of the Smart Medical Bed (SMB) system.

Paper Citation

in Harvard Style

Tannoury P. and Hammad A. (2024). Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components. In Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT; ISBN 978-989-758-706-1, SciTePress, pages 477-484. DOI: 10.5220/0012854100003753

in Bibtex Style

@conference{icsoft24,
author={Perla Tannoury and Ahmed Hammad},
title={Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components},
booktitle={Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT},
year={2024},
pages={477-484},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012854100003753},
isbn={978-989-758-706-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 19th International Conference on Software Technologies - Volume 1: ICSOFT
TI - Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components
SN - 978-989-758-706-1
AU - Tannoury P.
AU - Hammad A.
PY - 2024
SP - 477
EP - 484
DO - 10.5220/0012854100003753
PB - SciTePress