loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Adel Khelifati 1 ; Ahmed Hammad 2 and Malika Boukala-Ioualalen 1

Affiliations: 1 Faculty of Computer Science, USTHB University, Algiers, Algeria ; 2 FEMTO-ST Institute, UMR CNRS 6174, Besançon, France

Keyword(s): SysML v2, BIP, Interaction Modeling.

Abstract: Cyber-physical systems (CPS) require precise interaction modeling and rigorous verification to guarantee reliability and correctness, particularly in safety-critical systems, where interaction errors such as deadlocks may lead to critical failures. Although SysML v2 provides expressive modeling capabilities, it lacks explicit execution semantics for structured interactions. To address this limitation, we propose a structured subset of SysML v2 to specify interactions at the structural level. These interactions are then mapped to the Behavior, Interaction, Priority (BIP) framework, which defines their execution semantics and enables formal analysis. Specifically, we introduce Rendez-vous and Broadcast connectors to enforce synchronization and one-to-many communication, respectively, ensuring that interactions are explicitly represented and amenable to formal analysis. BIP provides precise execution semantics, facilitating rigorous verification and streamlining the process by eliminati ng the need for external verification models. We validate our approach through a case study on swarm drone coordination, demonstrating structured execution, the ability to detect and resolve critical deadlocks, and the correctness and robustness of interactions. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 216.73.216.108

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Khelifati, A., Hammad, A., Boukala-Ioualalen and M. (2025). Combining SysML V2 and BIP to Model and Verify CPS Interactions. In Proceedings of the 20th International Conference on Software Technologies - ICSOFT; ISBN 978-989-758-757-3; ISSN 2184-2833, SciTePress, pages 400-409. DOI: 10.5220/0013645700003964

@conference{icsoft25,
author={Adel Khelifati and Ahmed Hammad and Malika Boukala{-}Ioualalen},
title={Combining SysML V2 and BIP to Model and Verify CPS Interactions},
booktitle={Proceedings of the 20th International Conference on Software Technologies - ICSOFT},
year={2025},
pages={400-409},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013645700003964},
isbn={978-989-758-757-3},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 20th International Conference on Software Technologies - ICSOFT
TI - Combining SysML V2 and BIP to Model and Verify CPS Interactions
SN - 978-989-758-757-3
IS - 2184-2833
AU - Khelifati, A.
AU - Hammad, A.
AU - Boukala-Ioualalen, M.
PY - 2025
SP - 400
EP - 409
DO - 10.5220/0013645700003964
PB - SciTePress