Browsing by Author "OUDINA, Zina"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Testing collective cyber-physical systems and embedded multi-agent systems
    (Université Badji Mokhtar Annaba, 2024) OUDINA, Zina
    Designing 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.