Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918152328183808 |
|---|---|
| author | Yusuf, Hadiza Umar Gaaloul, Khouloud |
| author_facet | Yusuf, Hadiza Umar Gaaloul, Khouloud |
| contents | In the world of Cyber-Physical Systems (CPS), a captivating real-time fusion occurs where digital technology meets the physical world. This synergy has been significantly transformed by the integration of artificial intelligence (AI), a move that dramatically enhances system adaptability and introduces a layer of complexity that impacts CPS control optimization and reliability. Despite advancements in AI integration, a significant gap remains in understanding how this shift affects CPS architecture, operational complexity, and verification practices. The extended abstract addresses this gap by investigating architectural distinctions between AI-driven and traditional control models designed in Simulink and their respective implications for system verification. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_00519 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems Yusuf, Hadiza Umar Gaaloul, Khouloud Software Engineering Artificial Intelligence D.2.4; D.2.11 In the world of Cyber-Physical Systems (CPS), a captivating real-time fusion occurs where digital technology meets the physical world. This synergy has been significantly transformed by the integration of artificial intelligence (AI), a move that dramatically enhances system adaptability and introduces a layer of complexity that impacts CPS control optimization and reliability. Despite advancements in AI integration, a significant gap remains in understanding how this shift affects CPS architecture, operational complexity, and verification practices. The extended abstract addresses this gap by investigating architectural distinctions between AI-driven and traditional control models designed in Simulink and their respective implications for system verification. |
| title | Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems |
| topic | Software Engineering Artificial Intelligence D.2.4; D.2.11 |
| url | https://arxiv.org/abs/2510.00519 |