Real-world Cyber-Physical Systems (CPSs) are usually
configurable. Through parameters, it is possible to configure, select or unselect different system functionalities. While this provides high flexibility, it also becomes a source for failures due to misconfigurations. The large number of parameters these systems have and the long test execution time in this context due to the use of simulation-based testing make the manual repair process a cumbersome activity. Subsequently, in this
context, automated repairing methods are paramount. In this
paper, we propose an approach to automatically repair CPSs’
misconfigurations. Our approach is evaluated with an industrial CPS case study from the elevation domain. Experiments with a real building and data obtained from operation suggests that our approach outperforms a baseline algorithm as well as the state of the practice (i.e., manual repair carried out by domain experts).
Computational visual system to reduce setup time in CNC vertical machining ce...Paulo Araujo
The presentation did at the XXXVIII Iberian Latin-American Congress on Computational Methods in Engineering regarding a technological approach to enhance machine setup efficiency through computer vision. For further information, please refer to this page: http://bit.ly/cilamce2017
Post compiler software optimization for reducing energyAbhishek Abhyankar
Post Compiler Software Optimization for Reducing Energy consumption in processors. This presentation illustrates Genetic Optimization algorithm in detail.
Applying the power of Continuous Delivery to performance testing. Process, techniques, best practices. This talk describes a pragmatic approach to building a robust performance testing strategy.
Computational visual system to reduce setup time in CNC vertical machining ce...Paulo Araujo
The presentation did at the XXXVIII Iberian Latin-American Congress on Computational Methods in Engineering regarding a technological approach to enhance machine setup efficiency through computer vision. For further information, please refer to this page: http://bit.ly/cilamce2017
Post compiler software optimization for reducing energyAbhishek Abhyankar
Post Compiler Software Optimization for Reducing Energy consumption in processors. This presentation illustrates Genetic Optimization algorithm in detail.
Applying the power of Continuous Delivery to performance testing. Process, techniques, best practices. This talk describes a pragmatic approach to building a robust performance testing strategy.
Aplication of on line data analytics to a continuous process polybetene unitEmerson Exchange
This Emerson Exchange, 2013 presentation summarizes the 2013 field trail results achieved by applying on-line continuous data analytics to Lubrizol’s continuous polybutene process. Continuous data analytics may be used to provide an on-line prediction of quality parameters, and enable on-line detection of fault conditions. Information is provided on improvements made in the model used for quality parameter prediction, and how the field trail platform was integrated into the process unit. Presenters Qiwei Li, production engineer, Efren Hernandez and Robert Wojewodka, Lubrizol Corp., and Terry Blevins, principal technologist at Emerson, won best in conference in the process optimization track for this presentation.
Scott Clark, Co-Founder and CEO, SigOpt at MLconf SF 2016MLconf
Using Bayesian Optimization to Tune Machine Learning Models: In this talk we briefly introduce Bayesian Global Optimization as an efficient way to optimize machine learning model parameters, especially when evaluating different parameters is time-consuming or expensive. We will motivate the problem and give example applications.
We will also talk about our development of a robust benchmark suite for our algorithms including test selection, metric design, infrastructure architecture, visualization, and comparison to other standard and open source methods. We will discuss how this evaluation framework empowers our research engineers to confidently and quickly make changes to our core optimization engine.
We will end with an in-depth example of using these methods to tune the features and hyperparameters of a real world problem and give several real world applications.
Grails has great performance characteristics but as with all full stack frameworks, attention must be paid to optimize performance. In this talk Lari will discuss common missteps that can easily be avoided and share tips and tricks which help profile and tune Grails applications.
Grails has great performance characteristics but as with all full stack frameworks, attention must be paid to optimize performance. In this talk Lari will discuss common missteps that can easily be avoided and share tips and tricks which help profile and tune Grails applications.
Gale Technologies - A Leading Innovative Software Solutions Provider Explains...Galetech
In this document, Gale Technologies explains how to automate a network lab in seven steps. It further elaborates on how recent developments in technology has led to an increased interest in lab automation and lab management. Gale Technologies talks about how a lab automation system increases ROI.
Water scarcity is the lack of fresh water resources to meet the standard water demand. There are two type of water scarcity. One is physical. The other is economic water scarcity.
More Related Content
Similar to Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search
Aplication of on line data analytics to a continuous process polybetene unitEmerson Exchange
This Emerson Exchange, 2013 presentation summarizes the 2013 field trail results achieved by applying on-line continuous data analytics to Lubrizol’s continuous polybutene process. Continuous data analytics may be used to provide an on-line prediction of quality parameters, and enable on-line detection of fault conditions. Information is provided on improvements made in the model used for quality parameter prediction, and how the field trail platform was integrated into the process unit. Presenters Qiwei Li, production engineer, Efren Hernandez and Robert Wojewodka, Lubrizol Corp., and Terry Blevins, principal technologist at Emerson, won best in conference in the process optimization track for this presentation.
Scott Clark, Co-Founder and CEO, SigOpt at MLconf SF 2016MLconf
Using Bayesian Optimization to Tune Machine Learning Models: In this talk we briefly introduce Bayesian Global Optimization as an efficient way to optimize machine learning model parameters, especially when evaluating different parameters is time-consuming or expensive. We will motivate the problem and give example applications.
We will also talk about our development of a robust benchmark suite for our algorithms including test selection, metric design, infrastructure architecture, visualization, and comparison to other standard and open source methods. We will discuss how this evaluation framework empowers our research engineers to confidently and quickly make changes to our core optimization engine.
We will end with an in-depth example of using these methods to tune the features and hyperparameters of a real world problem and give several real world applications.
Grails has great performance characteristics but as with all full stack frameworks, attention must be paid to optimize performance. In this talk Lari will discuss common missteps that can easily be avoided and share tips and tricks which help profile and tune Grails applications.
Grails has great performance characteristics but as with all full stack frameworks, attention must be paid to optimize performance. In this talk Lari will discuss common missteps that can easily be avoided and share tips and tricks which help profile and tune Grails applications.
Gale Technologies - A Leading Innovative Software Solutions Provider Explains...Galetech
In this document, Gale Technologies explains how to automate a network lab in seven steps. It further elaborates on how recent developments in technology has led to an increased interest in lab automation and lab management. Gale Technologies talks about how a lab automation system increases ROI.
Water scarcity is the lack of fresh water resources to meet the standard water demand. There are two type of water scarcity. One is physical. The other is economic water scarcity.
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxR&R Consult
CFD analysis is incredibly effective at solving mysteries and improving the performance of complex systems!
Here's a great example: At a large natural gas-fired power plant, where they use waste heat to generate steam and energy, they were puzzled that their boiler wasn't producing as much steam as expected.
R&R and Tetra Engineering Group Inc. were asked to solve the issue with reduced steam production.
An inspection had shown that a significant amount of hot flue gas was bypassing the boiler tubes, where the heat was supposed to be transferred.
R&R Consult conducted a CFD analysis, which revealed that 6.3% of the flue gas was bypassing the boiler tubes without transferring heat. The analysis also showed that the flue gas was instead being directed along the sides of the boiler and between the modules that were supposed to capture the heat. This was the cause of the reduced performance.
Based on our results, Tetra Engineering installed covering plates to reduce the bypass flow. This improved the boiler's performance and increased electricity production.
It is always satisfying when we can help solve complex challenges like this. Do your systems also need a check-up or optimization? Give us a call!
Work done in cooperation with James Malloy and David Moelling from Tetra Engineering.
More examples of our work https://www.r-r-consult.dk/en/cases-en/
Final project report on grocery store management system..pdfKamal Acharya
In today’s fast-changing business environment, it’s extremely important to be able to respond to client needs in the most effective and timely manner. If your customers wish to see your business online and have instant access to your products or services.
Online Grocery Store is an e-commerce website, which retails various grocery products. This project allows viewing various products available enables registered users to purchase desired products instantly using Paytm, UPI payment processor (Instant Pay) and also can place order by using Cash on Delivery (Pay Later) option. This project provides an easy access to Administrators and Managers to view orders placed using Pay Later and Instant Pay options.
In order to develop an e-commerce website, a number of Technologies must be studied and understood. These include multi-tiered architecture, server and client-side scripting techniques, implementation technologies, programming language (such as PHP, HTML, CSS, JavaScript) and MySQL relational databases. This is a project with the objective to develop a basic website where a consumer is provided with a shopping cart website and also to know about the technologies used to develop such a website.
This document will discuss each of the underlying technologies to create and implement an e- commerce website.
Immunizing Image Classifiers Against Localized Adversary Attacksgerogepatton
This paper addresses the vulnerability of deep learning models, particularly convolutional neural networks
(CNN)s, to adversarial attacks and presents a proactive training technique designed to counter them. We
introduce a novel volumization algorithm, which transforms 2D images into 3D volumetric representations.
When combined with 3D convolution and deep curriculum learning optimization (CLO), itsignificantly improves
the immunity of models against localized universal attacks by up to 40%. We evaluate our proposed approach
using contemporary CNN architectures and the modified Canadian Institute for Advanced Research (CIFAR-10
and CIFAR-100) and ImageNet Large Scale Visual Recognition Challenge (ILSVRC12) datasets, showcasing
accuracy improvements over previous techniques. The results indicate that the combination of the volumetric
input and curriculum learning holds significant promise for mitigating adversarial attacks without necessitating
adversary training.
Welcome to WIPAC Monthly the magazine brought to you by the LinkedIn Group Water Industry Process Automation & Control.
In this month's edition, along with this month's industry news to celebrate the 13 years since the group was created we have articles including
A case study of the used of Advanced Process Control at the Wastewater Treatment works at Lleida in Spain
A look back on an article on smart wastewater networks in order to see how the industry has measured up in the interim around the adoption of Digital Transformation in the Water Industry.
Saudi Arabia stands as a titan in the global energy landscape, renowned for its abundant oil and gas resources. It's the largest exporter of petroleum and holds some of the world's most significant reserves. Let's delve into the top 10 oil and gas projects shaping Saudi Arabia's energy future in 2024.
Hierarchical Digital Twin of a Naval Power SystemKerry Sado
A hierarchical digital twin of a Naval DC power system has been developed and experimentally verified. Similar to other state-of-the-art digital twins, this technology creates a digital replica of the physical system executed in real-time or faster, which can modify hardware controls. However, its advantage stems from distributing computational efforts by utilizing a hierarchical structure composed of lower-level digital twin blocks and a higher-level system digital twin. Each digital twin block is associated with a physical subsystem of the hardware and communicates with a singular system digital twin, which creates a system-level response. By extracting information from each level of the hierarchy, power system controls of the hardware were reconfigured autonomously. This hierarchical digital twin development offers several advantages over other digital twins, particularly in the field of naval power systems. The hierarchical structure allows for greater computational efficiency and scalability while the ability to autonomously reconfigure hardware controls offers increased flexibility and responsiveness. The hierarchical decomposition and models utilized were well aligned with the physical twin, as indicated by the maximum deviations between the developed digital twin hierarchy and the hardware.
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdffxintegritypublishin
Advancements in technology unveil a myriad of electrical and electronic breakthroughs geared towards efficiently harnessing limited resources to meet human energy demands. The optimization of hybrid solar PV panels and pumped hydro energy supply systems plays a pivotal role in utilizing natural resources effectively. This initiative not only benefits humanity but also fosters environmental sustainability. The study investigated the design optimization of these hybrid systems, focusing on understanding solar radiation patterns, identifying geographical influences on solar radiation, formulating a mathematical model for system optimization, and determining the optimal configuration of PV panels and pumped hydro storage. Through a comparative analysis approach and eight weeks of data collection, the study addressed key research questions related to solar radiation patterns and optimal system design. The findings highlighted regions with heightened solar radiation levels, showcasing substantial potential for power generation and emphasizing the system's efficiency. Optimizing system design significantly boosted power generation, promoted renewable energy utilization, and enhanced energy storage capacity. The study underscored the benefits of optimizing hybrid solar PV panels and pumped hydro energy supply systems for sustainable energy usage. Optimizing the design of solar PV panels and pumped hydro energy supply systems as examined across diverse climatic conditions in a developing country, not only enhances power generation but also improves the integration of renewable energy sources and boosts energy storage capacities, particularly beneficial for less economically prosperous regions. Additionally, the study provides valuable insights for advancing energy research in economically viable areas. Recommendations included conducting site-specific assessments, utilizing advanced modeling tools, implementing regular maintenance protocols, and enhancing communication among system components.
Explore the innovative world of trenchless pipe repair with our comprehensive guide, "The Benefits and Techniques of Trenchless Pipe Repair." This document delves into the modern methods of repairing underground pipes without the need for extensive excavation, highlighting the numerous advantages and the latest techniques used in the industry.
Learn about the cost savings, reduced environmental impact, and minimal disruption associated with trenchless technology. Discover detailed explanations of popular techniques such as pipe bursting, cured-in-place pipe (CIPP) lining, and directional drilling. Understand how these methods can be applied to various types of infrastructure, from residential plumbing to large-scale municipal systems.
Ideal for homeowners, contractors, engineers, and anyone interested in modern plumbing solutions, this guide provides valuable insights into why trenchless pipe repair is becoming the preferred choice for pipe rehabilitation. Stay informed about the latest advancements and best practices in the field.
The Benefits and Techniques of Trenchless Pipe Repair.pdf
Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search
1. Automated Misconfiguration Repair of
Configurable Cyber-Physical Systems
with Search: an Industrial Case Study on
Elevator Dispatching Algorithms
Let’s
discuss at
ISSTA’23
Pablo Valle Aitor Arrieta Maite Arratibel
4. 4
Challenges for Automated Repair of
Misconfigurations
Expensive Test
Execution
Large Configuration
Space
Multiple Requirements
Need to prioritize
severe scenarios
7. 7
Misconfiguration Repair Algorithm
Expensive Test
Execution
Archive-based search strategy
Parallelization of the simulation-
based test execution
Tried to accelerate test execution
through surrogate models, but…
didn’t work!
8. 8
Misconfiguration Repair Algorithm
Large Configuration
Space
Mechanism to measure
parameters’ suspiciousness
Parameters with high
suspiciousness get higher
probability to be mutated
11. 11
• Select a partial patch based on domain-specific rules
• Priority 1: Select all partial patches with WT < 25 seconds
• Priority 2: Select all partial patches which had < 10% of
passengers waiting more than 55 seconds
• …
• After all priorities, if more than one patch exists, select
the patch with minimal changes to the original one
(based on Hamming Distance)
Decision Maker
12. 12
• Passing test cases are executed
• Encompassing full-day traffic profiles
• Regression test oracle employed (comparison with misconfigured
version)
• Other types of test cases executed using metamorphic
testing for CPSs
Patch Validator
13. 13
RQ1 – Sanity check: How does our approach compare to
the baseline?
RQ2 – Comparison with state of the practice: How does
our approach compare to manual repair carried out by
domain experts?
Evaluation – Research Questions
14. 14
• Case study
• Orona’s CGC dispatching algorithm
• Real misconfiguration that appeared in a real installation
• Operational data was available
• Data from manual repair was available
• Baseline algorithm: unguided version of our algorithm
(similar to random search)
• Evaluation metrics
• Hypervolume
• Individual objectives (after the patch is selected by the DM)
• Runs
• 10 executions for randomization
• 12 hours time budget
• Statistical tests
Evaluation – Experimental setup
16. 16
Results
Misconf Manual Baseline Repair
AWT (sec) 25.99 23.10 22.66 22.77
LWT (sec) 435.70 223.00 241.55 213.72
%WT>55 sec (%) 12.78 11.99 9.93 9.92
ATT (sec) 42.01 41.60 41.77 41.58
LTT (sec) 209.8 220.60 206.24 195.56
%WT>70 sec (%) 10.24 10.02 9.64 9.45
Setup: No threshold provided Optimize as much as possible
all objectives
17. 17
For out of 14 executions, for our algorithm, half of the
executions repaired the misconfiguration in around 3.5
hours
Results (not in the paper)
Setup: Threshold specified
For out of 14 executions, for the baseline, only one of the
executions repaired the misconfiguration in 11 hours
18. 18
Answer to RQs
Our approach outperforms both
the baseline and the manual repair
provided by the domain experts.
19. 19
• Lesson 1 – Reduction of personnel cost
• Lesson 2 – Scalable technique
• Lesson 3 – Surrogate models did not help
• Lesson 4 – Challenging conflicting installation, with
many unforeseen situations
Conclusion and Lessons Learned
We provide a scalable and automated
approach for automated misconfiguration
repair in the context of configurable CPSs