Communication Dans Un Congrès Année : 2024

Methodological Approach to Model and Validate CPS

Résumé

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.
Fichier principal
Vignette du fichier
e3a66998-dc80-45aa-8210-b8639785cae8-author.pdf (652) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04770997 , version 1 (07-11-2024)

Identifiants

  • HAL Id : hal-04770997 , version 1

Citer

Perla Tannoury, Ahmed Hammad. Methodological Approach to Model and Validate CPS. International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2024, Dijon, France. ⟨hal-04770997⟩
13 Consultations
12 Téléchargements

Partager

More