OUDINA, Zina2025-03-192025-03-192024https://dspace.univ-annaba.dz//handle/123456789/3745Designing a high-confidence cyber-physical system (CPS) is required to guarantee the effectiveness and security of the system. The variability of the system makes the engineering requirements for CPS complex. Additionally, it is necessary to test CPS robustness because system errors and malfunctions can occur. The verification determines whether a system meets a set of requirements. Such cyber-physical systems are used in various essential fields, including air traffic, ransportation, energy, and oil and gas. Verification is critical for developing secure systems with high assurance levels. Defining a test strategy is critical to reducing costs and maximizing the efficiency of system development and manufacturing organizations.PDFensystème cyber physique (CPS); systèmes multi agents embarqués (SMAE); confiance; ingénierie de système basée sur des modèles (ISBM); vérification; EMAS TESTThesis