Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910448743350272 |
|---|---|
| author | Zheng, Xi Mok, Aloysius K. Piskac, Ruzica Lee, Yong Jae Krishnamachari, Bhaskar Zhu, Dakai Sokolsky, Oleg Lee, Insup |
| author_facet | Zheng, Xi Mok, Aloysius K. Piskac, Ruzica Lee, Yong Jae Krishnamachari, Bhaskar Zhu, Dakai Sokolsky, Oleg Lee, Insup |
| contents | The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations. This convergence has accelerated the development and deployment of a range of real-world applications, such as autonomous vehicles, delivery drones, service robots, and telemedicine procedures. However, the software development life cycle (SDLC) for AI-infused CPS diverges significantly from traditional approaches, featuring data and learning as two critical components. Existing verification and validation techniques are often inadequate for these new paradigms. In this study, we pinpoint the main challenges in ensuring formal safety for learningenabled CPS.We begin by examining testing as the most pragmatic method for verification and validation, summarizing the current state-of-the-art methodologies. Recognizing the limitations in current testing approaches to provide formal safety guarantees, we propose a roadmap to transition from foundational probabilistic testing to a more rigorous approach capable of delivering formal assurance. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_07377 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach Zheng, Xi Mok, Aloysius K. Piskac, Ruzica Lee, Yong Jae Krishnamachari, Bhaskar Zhu, Dakai Sokolsky, Oleg Lee, Insup Software Engineering Artificial Intelligence Distributed, Parallel, and Cluster Computing Robotics The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations. This convergence has accelerated the development and deployment of a range of real-world applications, such as autonomous vehicles, delivery drones, service robots, and telemedicine procedures. However, the software development life cycle (SDLC) for AI-infused CPS diverges significantly from traditional approaches, featuring data and learning as two critical components. Existing verification and validation techniques are often inadequate for these new paradigms. In this study, we pinpoint the main challenges in ensuring formal safety for learningenabled CPS.We begin by examining testing as the most pragmatic method for verification and validation, summarizing the current state-of-the-art methodologies. Recognizing the limitations in current testing approaches to provide formal safety guarantees, we propose a roadmap to transition from foundational probabilistic testing to a more rigorous approach capable of delivering formal assurance. |
| title | Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach |
| topic | Software Engineering Artificial Intelligence Distributed, Parallel, and Cluster Computing Robotics |
| url | https://arxiv.org/abs/2311.07377 |