Automated Repair of Cyber-Physical Systems

• URL: http://arxiv.org/abs/2501.17678v1
• Date: Wed, 29 Jan 2025 14:36:04 GMT
• Title: Automated Repair of Cyber-Physical Systems
• Authors: Pablo Valle,
• Abstract summary: This project aims to develop scalable APR techniques for CPSs. It addresses problems of fault localization, long test execution times, and fitness function limitations. A new method combining spectrum-based fault localization with patch generation and advanced artificial intelligence techniques will be investigated.
• Score: 4.314956204483074
• License:
• Abstract: Cyber-Physical Systems (CPS) integrate digital technologies with physical processes and are common in different domains and industries, such as robotic systems, autonomous vehicles or satellites. Debugging and verification of CPS software consumes much of the development budget as it is often purely manual. To speed up this process, Automated Program Repair (APR) has been targeted for a long time. Although there have been advances in software APR and CPS verification techniques, research specifically on APR for CPSs is limited. This Ph.D. research project aims to develop scalable APR techniques for CPSs, addressing problems of fault localization, long test execution times, and fitness function limitations. A new method combining spectrum-based fault localization (SBFL) with patch generation and advanced artificial intelligence techniques will be investigated. The approach will be validated by empirical studies on open and industrial code bases of CPSs.

Related papers

• A Survey of Anomaly Detection in Cyber-Physical Systems [1.2891210250935148]
  This paper provides an overview of the different ways researchers have approached anomaly detection in CPS. We categorize and compare methods like machine learning, deep learning, mathematical models, invariant, and hybrid techniques. Our goal is to help readers understand the strengths and weaknesses of these methods and how they can be used to create safer, more reliable CPS.
  arXiv  Detail & Related papers  (2025-02-18T19:38:18Z)
• AutoPT: How Far Are We from the End2End Automated Web Penetration Testing? [54.65079443902714]
  We introduce AutoPT, an automated penetration testing agent based on the principle of PSM driven by LLMs. Our results show that AutoPT outperforms the baseline framework ReAct on the GPT-4o mini model.
  arXiv  Detail & Related papers  (2024-11-02T13:24:30Z)
• MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems [21.693552236958983]
  Cyber-Physical Systems (CPSs) are increasingly prevalent across various industrial and daily-life domains. With recent advancements in artificial intelligence (AI), learning-based components, especially AI controllers, have become essential in enhancing the functionality and efficiency of CPSs. The lack of interpretability in these AI controllers presents challenges to the safety and quality assurance of AI-enabled CPSs (AI-CPSs)
  arXiv  Detail & Related papers  (2024-08-07T16:44:53Z)
• Using Machine Learning To Identify Software Weaknesses From Software Requirement Specifications [49.1574468325115]
  This research focuses on finding an efficient machine learning algorithm to identify software weaknesses from requirement specifications. Keywords extracted using latent semantic analysis help map the CWE categories to PROMISE_exp. Naive Bayes, support vector machine (SVM), decision trees, neural network, and convolutional neural network (CNN) algorithms were tested.
  arXiv  Detail & Related papers  (2023-08-10T13:19:10Z)
• Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels [47.187609203210705]
  We propose a Neuro-Symbolic approach for automating the compliance verification of the electrical control panels. Our approach is based on the combination of Deep Learning techniques with Answer Set Programming (ASP) and allows for identifying possible anomalies and errors in the final product. The experiments conducted on a real test case provided by an Italian Company demonstrate the effectiveness of the proposed approach.
  arXiv  Detail & Related papers  (2023-05-17T10:29:02Z)
• A Survey on Automated Program Repair Techniques [19.8878105453369]
  We introduce four different APR patch generation schemes: search-based, constraint-based, template-based, and learning-based. We propose a uniform set of criteria to review and compare each APR tool, summarize the advantages and disadvantages, and discuss the current state of APR development.
  arXiv  Detail & Related papers  (2023-03-31T16:28:37Z)
• Stress Testing Control Loops in Cyber-Physical Systems [2.195923771201972]
  We investigate the testing of control-based CPSs, where control and software engineers develop the software collaboratively. We define stress testing of control-based CPSs as generating tests to falsify such design assumptions. We evaluate our approach on three case study systems, including a drone, a continuous-current motor, and an aircraft.
  arXiv  Detail & Related papers  (2023-02-27T16:01:38Z)
• On a Uniform Causality Model for Industrial Automation [61.303828551910634]
  A Uniform Causality Model for various application areas of industrial automation is proposed. The resulting model describes the behavior of Cyber-Physical Systems mathematically. It is shown that the model can work as a basis for the application of new approaches in industrial automation that focus on machine learning.
  arXiv  Detail & Related papers  (2022-09-20T11:23:51Z)
• Anomaly Detection Based on Selection and Weighting in Latent Space [73.01328671569759]
  We propose a novel selection-and-weighting-based anomaly detection framework called SWAD. Experiments on both benchmark and real-world datasets have shown the effectiveness and superiority of SWAD.
  arXiv  Detail & Related papers  (2021-03-08T10:56:38Z)
• Technology Readiness Levels for Machine Learning Systems [107.56979560568232]
  Development and deployment of machine learning systems can be executed easily with modern tools, but the process is typically rushed and means-to-an-end. We have developed a proven systems engineering approach for machine learning development and deployment. Our "Machine Learning Technology Readiness Levels" framework defines a principled process to ensure robust, reliable, and responsible systems.
  arXiv  Detail & Related papers  (2021-01-11T15:54:48Z)
• Adaptive Immunity for Software: Towards Autonomous Self-healing Systems [0.6117371161379209]
  Self-healing software systems can detect, diagnose, and contain unanticipated problems at runtime. Recent advances in machine learning may be learned by observing the system. Artificial immune systems are particularly well-suited for building self-healing systems.
  arXiv  Detail & Related papers  (2021-01-07T13:22:55Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.