Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems

Adel Khelifati, Malika Boukala-Ioualalen, Ahmed Hammad

2025

Abstract

Cyber-physical systems (CPS) often involve vague or qualitative requirements such as comfort or energy efficiency, which are difficult to verify using the crisp Boolean logic traditionally employed in Systems Modeling Language v2 (SysML v2). This paper introduces an approach for modeling and verifying fuzzy requirements directly within SysML v2 without modifying its metamodel or relying on external tools. Fuzzy semantics are encoded using native constructs such as calculation definitions, requirements, and constraints, with satisfaction degrees computed via trapezoidal membership functions and evaluated using the native expression evaluation mechanism provided by the modeling environment. We illustrate the effectiveness and feasibility of our expression-based fuzzy verification approach using a smart building Heating, Ventilation, and Air Conditioning (HVAC) system example and clearly show how the modeling is achieved in standard SysML v2 notation. Furthermore, to extend verification capability under variability and uncertainty, we introduce a complementary external transformation of expression-based model elements into Python scripts to perform scenario-based evaluation. A batch-based exploration method is then presented to systematically analyze fuzzy requirement satisfaction under different runtime conditions, offering insights into system robustness and design-space analysis.

Paper Citation

in Harvard Style

Khelifati A., Boukala-Ioualalen M. and Hammad A. (2025). Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems. In Proceedings of the 20th International Conference on Software Technologies - Volume 1: ICSOFT; ISBN 978-989-758-757-3, SciTePress, pages 422-429. DOI: 10.5220/0013648400003964

in Bibtex Style

@conference{icsoft25,
author={Adel Khelifati and Malika Boukala-Ioualalen and Ahmed Hammad},
title={Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems},
booktitle={Proceedings of the 20th International Conference on Software Technologies - Volume 1: ICSOFT},
year={2025},
pages={422-429},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013648400003964},
isbn={978-989-758-757-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 20th International Conference on Software Technologies - Volume 1: ICSOFT
TI - Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems
SN - 978-989-758-757-3
AU - Khelifati A.
AU - Boukala-Ioualalen M.
AU - Hammad A.
PY - 2025
SP - 422
EP - 429
DO - 10.5220/0013648400003964
PB - SciTePress