Filters








58,242 Hits in 5.1 sec

Causality in Configurable Software Systems

Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
2022
In configurable software systems, the combinatorics that arises from the multitude of features a user might select from adds a further layer of complexity.  ...  By means of an evaluation on a wide range of configurable software systems, including community benchmarks and real-world systems, we demonstrate the feasibility of our approach: We illustrate how our  ...  of configurable software systems.  ... 
doi:10.48550/arxiv.2201.07280 fatcat:sgadevf64jeedbmetrcl6dmtmy

Unicorn: Reasoning about Configurable System Performance through the lens of Causality [article]

Md Shahriar Iqbal, Rahul Krishna, Mohammad Ali Javidian, Baishakhi Ray, Pooyan Jamshidi
2022 arXiv   pre-print
Modern computer systems are highly configurable, with the total variability space sometimes larger than the number of atoms in the universe.  ...  We evaluated Unicorn on six highly configurable systems, including three on-device machine learning systems, a video encoder, a database management system, and a data analytics pipeline.  ...  Acknowledgements This work has been supported in part by NASA (Awards 80NSSC20K1720 and 521418-SC) and NSF (Awards 2007202, 2107463, and 2038080), Google, and Chameleon Cloud.  ... 
arXiv:2201.08413v2 fatcat:i45rkdbsjbdtregsnyj6ydrmoy

CADET: Debugging and Fixing Misconfigurations using Counterfactual Reasoning [article]

Rahul Krishna, Md Shahriar Iqbal, Mohammad Ali Javidian, Baishakhi Ray, Pooyan Jamshidi
2021 arXiv   pre-print
CADET builds a causal model by observing the performance of the system under different configurations.  ...  Modern computing platforms are highly-configurable with thousands of interacting configurations. However, configuring these systems is challenging.  ...  Software systems.  ... 
arXiv:2010.06061v2 fatcat:kzt5v5h7djf6jimeqlyrjwqwyq

The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience [chapter]

Vivien Quéma, Emmanuel Cecchet
2004 Lecture Notes in Computer Science  
Middleware has emerged as an important architectural component in modern distributed systems.  ...  In this paper we propose a customization tool to automate the configuration of the ScalAgent messageoriented middleware.  ...  ADLs have in common the objective of providing the structural view of a software system.  ... 
doi:10.1007/978-3-540-27860-3_13 fatcat:so2ed4rj75fvnevpnxv2lueoei

Testing Causality in Scientific Modelling Software [article]

Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
2022 arXiv   pre-print
This paper introduces the Causal Testing Framework: a framework that uses Causal Inference techniques to establish causal effects from existing data, enabling users to conduct software testing activities  ...  for testing scientific modelling software.  ...  In practice, this functionality makes it possible for testers to establish and reason about the salient causal relationships in software systems in two distinct ways.  ... 
arXiv:2209.00357v1 fatcat:knfepmogc5hk7fhzqn5kkjjobq

Transfer Learning for Performance Modeling of Configurable Systems: A Causal Analysis [article]

Mohammad Ali Javidian, Pooyan Jamshidi, Marco Valtorta
2019 arXiv   pre-print
In this work, we investigate identifiability and transportability of causal effects and statistical relations in highly-configurable systems.  ...  We expect that the ability to carry over causal relations will enable effective performance analysis of highly-configurable systems.  ...  (Pearl 2009)) is possible for configurable software systems.  ... 
arXiv:1902.10119v1 fatcat:wkxhnagyofb6bjjrbtii7mmhui

Using Causality to Diagnose Configuration Bugs

Mona Attariyan, Jason Flinn
2008 USENIX Annual Technical Conference  
We present a novel method for diagnosing configuration management errors.  ...  In the remaining cases, the dependency set method identifies the correct bug as one of two equally likely bugs.  ...  The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of NSF, the University of  ... 
dblp:conf/usenix/AttariyanF08 fatcat:ijffvj5ekbasrb76fh3bu4z6ja

Architecting Dynamic Reconfiguration in Dependable Systems [chapter]

Antônio Tadeu A. Gomes, Thais V. Batista, Ackbar Joolia, Geoff Coulson
2007 Lecture Notes in Computer Science  
The proposed approach is built on our view that dynamic reconfiguration in such systems needs to be causally connected at runtime to a corresponding high-level software architecture specification.  ...  The need for dynamic reconfiguration is a complicating factor in the design of dependable systems, as it demands from software architects both rigour and planning.  ...  To understand this, consider a system that follows a pipeline style (i.e. a system in which non-contiguous configurations and 'cycle' connections are disallowed), such as a software-based router.  ... 
doi:10.1007/978-3-540-74035-3_11 fatcat:4qbn3socrffedpm7veiqa4awlm

On the use of software models during software execution

Nelly Bencomo
2009 2009 ICSE Workshop on Modeling in Software Engineering  
Increasingly software systems are required to survive variations in their execution environment without or with only little human intervention. Such systems are called "eternal software systems".  ...  In this paper the author argues that an eternal software system must have a first-class representation of itself available to enable change.  ...  scripts) to reconfigure the system by comparing the current configuration of the running system with a composed model representing the target configuration in a similar fashion as in [10] .  ... 
doi:10.1109/mise.2009.5069899 dblp:conf/icse/Bencomo09 fatcat:uwnaw5yu5ngunhptrr6fl2idem

The Role of Models and Megamodels at Runtime [chapter]

Thomas Vogel, Andreas Seibel, Holger Giese
2011 Lecture Notes in Computer Science  
In model-driven software development a multitude of interrelated models are used to systematically realize a software system.  ...  Similar problems appear when following a model-driven approach for managing software systems at runtime.  ...  Most approaches, like [3] [4] [5] [6] , employ one causally connected runtime model that reflects a running software system.  ... 
doi:10.1007/978-3-642-21210-9_22 fatcat:6xntwejenzhrnbxvu7u3o22n5e

Sustainable software products—Towards assessment criteria for resource and energy efficiency

Eva Kern, Lorenz M. Hilty, Achim Guldner, Yuliyan V. Maksimov, Andreas Filler, Jens Gröger, Stefan Naumann
2018 Future generations computer systems  
In this article, we present a model describing the causal chains from software products to their impacts on natural resources, including energy sources, from a life-cycle perspective.  ...  Viewed in isolation, software seems to be a perfectly sustainable type of product.  ...  System configuration We use two standard configurations of hardware and operating system, one for each SUT (client and server).  ... 
doi:10.1016/j.future.2018.02.044 fatcat:zstqze7i6nbghkisyjbfqydi4y

Automating Configuration Troubleshooting with Dynamic Information Flow Analysis

Mona Attariyan, Jason Flinn
2010 USENIX Symposium on Operating Systems Design and Implementation  
to link the erroneous behavior to specific tokens in configuration files.  ...  Software misconfigurations are time-consuming and enormously frustrating to troubleshoot.  ...  The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of NSF, the University of  ... 
dblp:conf/osdi/AttariyanF10 fatcat:cgx37wn6ezgv5jgzbjozbfae5a

Knowledge donation and knowledge collection patterns in a free software community

Andrea Raymundo Balle, Carla Curado, Mírian Oliveira
2018 Online Journal of Applied Knowledge Management  
We've applied Fuzzy Set Qualitative Comparative Analysis (fsQCA) technique, which offers alternatives configurations leading to both the outcomes and their absence.  ...  This paper reports a qualitative study developed using data from a worldwide Free Software Community (FSC).  ...  Causal Configurations Following the best processes, we report the solutions (Tables 3, 4 , & 5) presenting the causal configurations leading to the outcomes, as well as (Tables 6 & 7) the causal configurations  ... 
doi:10.36965/ojakm.2018.6(2)23-36 fatcat:bcmc2sh6xreljch6dupw3ubz6q

Design and Implementation of a Framework for Monitoring Distributed Component Interactions [chapter]

Nikolay K. Diakov, Harold J. Batteram, Hans Zandbelt, Marten J. van Sinderen
2000 Lecture Notes in Computer Science  
The approach is validated in a platform for design, development and deployment of on-line services.  ...  It is part of a larger component framework built on top of the CORBA distributed processing environment that supports development and testing of distributed software applications.  ...  Nevertheless, because of the shared memory approach, the causality relation in the execution model is broken and a separate solution is sought in order to track causality in the system.  ... 
doi:10.1007/3-540-40002-8_22 fatcat:n7ofg3ujyvbvjfyeooqis7l6lu

The Competitive Potential of IT Applications - An Analytical-argumentative Evaluation

Karin Väyrynen, Juhani Iivari
2015 International Conference on Information Systems  
However, previous RBV-based research on the competitive potential of IT has paid inadequate attention to IT applications, which are a combination of application software and (digital) information content  ...  Conducting an RBV-inspired analytical-argumentative evaluation, we challenge this view and argue that different types of IT applications as sub-group of technology-based IT assets differ in their potential  ...  A bespoke information system illustrates firm-specific content in the case of tailor-made software.  ... 
dblp:conf/icis/VayrynenI15 fatcat:3tazgwbqfzdsboucrvs7lekvju
« Previous Showing results 1 — 15 out of 58,242 results