Testing collective cyber-physical systems and embedded multi-agent systems

Simple item page
dc.contributor.authorOUDINA, Zina
dc.date.accessioned2025-03-19T09:40:44Z
dc.date.available2025-03-19T09:40:44Z
dc.date.issued2024
dc.description.abstractDesigning 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.
dc.formatPDF
dc.identifier.urihttps://dspace.univ-annaba.dz//handle/123456789/3745
dc.language.isoen
dc.publisherUniversité Badji Mokhtar Annaba
dc.subjectsystè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 TEST
dc.titleTesting collective cyber-physical systems and embedded multi-agent systems
dc.typeThesis
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
OUDINA Zina.pdf
Size:
3.78 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
Thèses de doctorat