-
Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution
Authors:
Tareq Mohammed Nazir,
Martin Pinzger
Abstract:
In this presentation, we introduce our constraint-based repair approach, called SymDefFix. SymDefFix is based on ExtractFix [3] and replaces the dynamic analysis steps of ExtractFix to detect the error and find the potential fix locations in an input program with symbolic execution. We first briefly motivate and introduce our modifications of ExtractFix, and then demonstrate it with an example.
In this presentation, we introduce our constraint-based repair approach, called SymDefFix. SymDefFix is based on ExtractFix [3] and replaces the dynamic analysis steps of ExtractFix to detect the error and find the potential fix locations in an input program with symbolic execution. We first briefly motivate and introduce our modifications of ExtractFix, and then demonstrate it with an example.
△ Less
Submitted 8 September, 2022;
originally announced September 2022.
-
A Systematic Review of Bio-Cyber Interface Technologies and Security Issues for Internet of Bio-Nano Things
Authors:
Sidra Zafar,
Mohsin Nazir,
Taimur Bakhshi,
Hasan Ali Khattak,
Sarmadullah Khan,
Muhammad Bilal,
Kim-Kwang Raymond Choo,
Kyung-Sup Kwak7,
Aneeqa Sabah
Abstract:
Advances in synthetic biology and nanotechnology have contributed to the design of tools that can be used to control, reuse, modify, and re-engineer cells' structure, as well as enabling engineers to effectively use biological cells as programmable substrates to realize Bio-Nano Things (biological embedded computing devices). Bio-NanoThings are generally tiny, non-intrusive, and concealable device…
▽ More
Advances in synthetic biology and nanotechnology have contributed to the design of tools that can be used to control, reuse, modify, and re-engineer cells' structure, as well as enabling engineers to effectively use biological cells as programmable substrates to realize Bio-Nano Things (biological embedded computing devices). Bio-NanoThings are generally tiny, non-intrusive, and concealable devices that can be used for in-vivo applications such as intra-body sensing and actuation networks, where the use of artificial devices can be detrimental. Such (nano-scale) devices can be used in various healthcare settings such as continuous health monitoring, targeted drug delivery, and nano-surgeries. These services can also be grouped to form a collaborative network (i.e., nanonetwork), whose performance can potentially be improved when connected to higher bandwidth external networks such as the Internet, say via 5G. However, to realize the IoBNT paradigm, it is also important to seamlessly connect the biological environment with the technological landscape by having a dynamic interface design to convert biochemical signals from the human body into an equivalent electromagnetic signal (and vice versa). This, unfortunately, risks the exposure of internal biological mechanisms to cyber-based sensing and medical actuation, with potential security and privacy implications. This paper comprehensively reviews bio-cyber interface for IoBNT architecture, focusing on bio-cyber interfacing options for IoBNT like biologically inspired bio-electronic devices, RFID enabled implantable chips, and electronic tattoos. This study also identifies known and potential security and privacy vulnerabilities and mitigation strategies for consideration in future IoBNT designs and implementations.
△ Less
Submitted 27 June, 2021;
originally announced June 2021.
-
Forecasting Drought Using Multilayer Perceptron Artificial Neural Network Model
Authors:
Zulifqar Ali,
Ijaz Hussain,
Muhammad Faisal,
Hafiza Mamona Nazir,
Tajammal Hussain,
Muhammad Yousaf Shad,
Alaa Mohamd Shoukry,
Showkat Hussain Gani
Abstract:
These days human beings are facing many environmental challenges due to frequently occurring drought hazards. It may have an effect on the countrys environment, the community, and industries. Several adverse impacts of drought hazard are continued in Pakistan, including other hazards. However, early measurement and detection of drought can provide guidance to water resources management for employi…
▽ More
These days human beings are facing many environmental challenges due to frequently occurring drought hazards. It may have an effect on the countrys environment, the community, and industries. Several adverse impacts of drought hazard are continued in Pakistan, including other hazards. However, early measurement and detection of drought can provide guidance to water resources management for employing drought mitigation policies. In this paper, we used a multilayer perceptron neural network (MLPNN) algorithm for drought forecasting. We applied and tested MLPNN algorithm on monthly time series data of Standardized Precipitation Evapotranspiration Index (SPEI) for seventeen climatological stations located in Northern Area and KPK (Pakistan). We found that MLPNN has potential capability for SPEI drought forecasting based on performance measures (i.e., Mean Average Error (MAE), the coefficient of correlation R, and Root Mean Square Error (RMSE). Water resources and management planner can take necessary action in advance (e.g., in water scarcity areas) by using MLPNN model as part of their decision making.
△ Less
Submitted 17 April, 2019;
originally announced April 2019.
-
Inner Approximation of Minkowski Sums: A Union-Based Approach and Applications to Aggregated Energy Resources
Authors:
Md Salman Nazir,
Ian A. Hiskens,
Andrey Bernstein,
Emiliano Dall'Anese
Abstract:
This paper develops and compares algorithms to compute inner approximations of the Minkowski sum of convex polytopes. As an application, the paper considers the computation of the feasibility set of aggregations of distributed energy resources (DERs), such as solar photovoltaic inverters, controllable loads, and storage devices. To fully account for the heterogeneity in the DERs while ensuring an…
▽ More
This paper develops and compares algorithms to compute inner approximations of the Minkowski sum of convex polytopes. As an application, the paper considers the computation of the feasibility set of aggregations of distributed energy resources (DERs), such as solar photovoltaic inverters, controllable loads, and storage devices. To fully account for the heterogeneity in the DERs while ensuring an acceptable approximation accuracy, the paper leverages a union-based computation and advocates homothet-based polytope decompositions. However, union-based approaches can in general lead to high-dimensionality concerns; to alleviate this issue, this paper shows how to define candidate sets to reduce the computational complexity. Accuracy and trade-offs are analyzed through numerical simulations for illustrative examples.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
A Dynamical Systems Approach to Modeling and Analysis of Transactive Energy Coordination
Authors:
Md Salman Nazir,
Ian A. Hiskens
Abstract:
Under transactive (market-based) coordination, a population of distributed energy resources (DERs), such as thermostatically controlled loads (TCLs) and storage devices, bid into an energy market. Consequently, a certain level of demand will be cleared based on the operating conditions of the grid. This paper analyzes the influence of various factors, such as price signals, feeder limits, and user…
▽ More
Under transactive (market-based) coordination, a population of distributed energy resources (DERs), such as thermostatically controlled loads (TCLs) and storage devices, bid into an energy market. Consequently, a certain level of demand will be cleared based on the operating conditions of the grid. This paper analyzes the influence of various factors, such as price signals, feeder limits, and user-defined bid functions and preferences, on the aggregate energy usage of DERs. We identify cases that can lead to load synchronization, undesirable power oscillations and highly volatile prices. To address these issues, the paper develops an aggregate model of DERs under transactive coordination. A set of Markov transition equations have been developed over discrete ranges (referred to as "bins") of price levels and their associated DER operating states. A detailed investigation of the performance of this aggregate model is presented. With reformulation of the transition equations, the bin model has been incorporated into a model predictive control setting using both mixed integer programming and quadratic programming. A case study shows that a population of TCLs can be managed economically while avoiding congestion in a distribution grid. Simulations also demonstrate that power oscillations arising from synchronization of TCLs can be effectively avoided.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
Load Synchronization and Sustained Oscillations Induced by Transactive Control
Authors:
Md Salman Nazir,
Ian A. Hiskens
Abstract:
Transactive or market-based coordination strategies have recently been proposed for controlling the aggregate demand of a large number of electric loads. Such schemes offer operational benefits such as enforcing distribution feeder capacity limits and providing users with flexibility to consume energy based on the price they are willing to pay. However, this paper demonstrates that they are also p…
▽ More
Transactive or market-based coordination strategies have recently been proposed for controlling the aggregate demand of a large number of electric loads. Such schemes offer operational benefits such as enforcing distribution feeder capacity limits and providing users with flexibility to consume energy based on the price they are willing to pay. However, this paper demonstrates that they are also prone to load synchronization and power oscillations. A transactive energy framework has been adopted and applied to a population of thermostatically controlled loads (TCLs). A modified TCL switching logic takes into account market coordination signals, alongside the natural hysteresis-based switching conditions. Studies of this market-based coordination scheme suggest that several factors may contribute to load synchronism, including sharp changes in the market prices that are broadcast to loads, lack of diversity in user specified bid curves, low feeder limits that are encountered periodically, and the form of user bid curves. Case studies illustrate challenges associated with market-based coordination strategies and provide insights into modifications that address those issues.
△ Less
Submitted 16 February, 2017;
originally announced February 2017.
-
Optimization of Test Case Generation using Genetic Algorithm (GA)
Authors:
Ahmed Mateen,
Marriam Nazir,
Salman Afsar Awan
Abstract:
Testing provides means pertaining to assuring software performance. The total aim of software industry is actually to make a certain start associated with high quality software for the end user. However, associated with software testing has quite a few underlying concerns, which are very important and need to pay attention on these issues. These issues are effectively generating, prioritization of…
▽ More
Testing provides means pertaining to assuring software performance. The total aim of software industry is actually to make a certain start associated with high quality software for the end user. However, associated with software testing has quite a few underlying concerns, which are very important and need to pay attention on these issues. These issues are effectively generating, prioritization of test cases, etc. These issues can be overcome by paying attention and focus. Solitary of the greatest Problems in the software testing area is usually how to acquire a great proper set associated with cases to confirm software. Some other strategies and also methodologies are proposed pertaining to shipping care of most of these issues. Genetic Algorithm (GA) belongs to evolutionary algorithms. Evolutionary algorithms have a significant role in the automatic test generation and many researchers are focusing on it. In this study explored software testing related issues by using the GA approach. In addition to right after applying some analysis, better solution produced, that is feasible and reliable. The particular research presents the implementation of GAs because of its generation of optimized test cases. Along these lines, this paper gives proficient system for the optimization of test case generation using genetic algorithm.
△ Less
Submitted 28 December, 2016;
originally announced December 2016.
-
A Metrics Based Model for Understandability Quantification
Authors:
Mohd Nazir,
Raees A. Khan,
Khurram Mustafa
Abstract:
Software developers and maintainers need to read and understand source programs and other software artifacts. The increase in size and complexity of software drastically affects several quality attributes, especially understandability and maintainability. False interpretation often leads to ambiguities, misunderstanding and hence to faulty development results. Despite the fact that software unders…
▽ More
Software developers and maintainers need to read and understand source programs and other software artifacts. The increase in size and complexity of software drastically affects several quality attributes, especially understandability and maintainability. False interpretation often leads to ambiguities, misunderstanding and hence to faulty development results. Despite the fact that software understandability is vital and one of the most significant components of the software development process, it is poorly managed. This is mainly due to the lack of its proper management and control. The paper highlights the importance of understandability in general and as a factor of software testability. Two major contributions are made in the paper. A relation between testability factors and object oriented characteristics has been established as a first contribution. In second contribution, a model has been proposed for estimating understandability of object oriented software using design metrics. In addition, the proposed model has been validated using experimental try-out.
△ Less
Submitted 26 April, 2010;
originally announced April 2010.