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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|