Methodological Approach to Model and Validate CPS

Perla Tannoury, Ahmed Hammad

2024

Abstract

As Cyber-Physical Systems (CPS) become increasingly complex and critical, ensuring high-quality specifications is crucial. However, the process is often challenging due to the need for expertise and lack of guidance. To address this, we propose a methodological framework and tools for CPS specification and validation. Our approach utilizes semi-formal modeling and incorporates SysML and AcTRL technologies. By applying validation strategies early in the development process, we aim to reduce the costs of correcting errors. This comprehensive approach offers vital support to designers navigating CPS complexities.

Paper Citation

in Harvard Style

Tannoury P. and Hammad A. (2024). Methodological Approach to Model and Validate CPS. In Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH; ISBN 978-989-758-708-5, SciTePress, pages 281-288. DOI: 10.5220/0012758800003758

in Bibtex Style

@conference{simultech24,
author={Perla Tannoury and Ahmed Hammad},
title={Methodological Approach to Model and Validate CPS},
booktitle={Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH},
year={2024},
pages={281-288},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012758800003758},
isbn={978-989-758-708-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH
TI - Methodological Approach to Model and Validate CPS
SN - 978-989-758-708-5
AU - Tannoury P.
AU - Hammad A.
PY - 2024
SP - 281
EP - 288
DO - 10.5220/0012758800003758
PB - SciTePress