-
Software Reliability Growth Models Predict Autonomous Vehicle Disengagement Events
Authors:
Robert Merkel
Abstract:
The acceptance of autonomous vehicles is dependent on the rigorous assessment of their safety. Furthermore, the commercial viability of AV programs depends on the ability to estimate the time and resources required to achieve desired safety levels. Naive approaches to estimating the reliability and safety levels of autonomous vehicles under development are will require infeasible amounts of testin…
▽ More
The acceptance of autonomous vehicles is dependent on the rigorous assessment of their safety. Furthermore, the commercial viability of AV programs depends on the ability to estimate the time and resources required to achieve desired safety levels. Naive approaches to estimating the reliability and safety levels of autonomous vehicles under development are will require infeasible amounts of testing of a static vehicle configuration. To permit both the estimation of current safety, and make predictions about the reliability of future systems, I propose the use of a standard tool for modelling the reliability of evolving software systems, software reliability growth models (SRGMs).
Publicly available data from Californian public-road testing of two autonomous vehicle systems is modelled using two of the best-known SRGMs. The ability of the models to accurately estimate current reliability, as well as for current testing data to predict reliability in the future after additional testing, is evaluated. One of the models, the Musa-Okumoto model, appears to be a good estimator and a reasonable predictor.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Nanoscale topography and poroelastic properties of model tissue breast gland basement membranes
Authors:
Gloria Fabris,
Alessandro Lucantonio,
Nico Hampe,
Erik Noetzel,
Bernd Hoffmann,
Antonio DeSimone,
Rudolf Merkel
Abstract:
Basement membranes (BMs) are thin layers of condensed extracellular matrix proteins serving as permeability filters, cellular anchoring sites, and barriers against cancer cell invasion. It is believed that their biomechanical properties play a crucial role in determining cellular behavior and response, especially in mechanically active tissues like breast glands. In spite of this, so far relativel…
▽ More
Basement membranes (BMs) are thin layers of condensed extracellular matrix proteins serving as permeability filters, cellular anchoring sites, and barriers against cancer cell invasion. It is believed that their biomechanical properties play a crucial role in determining cellular behavior and response, especially in mechanically active tissues like breast glands. In spite of this, so far relatively little attention has been dedicated to their analysis due to the difficulty of isolating and handling such thin layers of material. Here, we isolated basement membranes derived from MCF10A spheroids - 3D breast glands model systems mimicking in-vitro the most relevant phenotypic characteristics of human breast lobules - and characterized them by atomic force microscopy (AFM), enhanced resolution confocal microscopy (LSM), and scanning electron microscopy (SEM). By performing AFM height-clamp experiments, we obtained force relaxation curves that offered the first biomechanical data on isolated breast gland BMs. Based on LSM and SEM imaging data, we modeled the system as a polymer network immersed in liquid and described it as a poroelastic material. Finite Element (FE) simulations matching the experimental force relaxation curves allowed for the first quantification of the bulk and shear moduli of the membrane, as well as its water permeability. These results represent a first step towards a deeper understanding of the mechanism of tensional homeostasis regulating mammary gland activity, as well as its disruption during processes of membrane breaching and metastatic invasion.
△ Less
Submitted 27 November, 2018;
originally announced November 2018.
-
Traction force microscopy with optimized regularization and automated Bayesian parameter selection for comparing cells
Authors:
Yunfei Huang,
Christoph Schell,
Tobias B. Huber,
Ahmet N. Simsek,
Nils Hersch,
Rudolf Merkel,
Gerhard Gompper,
Benedikt Sabass
Abstract:
Adherent cells exert traction forces on to their environment, which allows them to migrate, to maintain tissue integrity, and to form complex multicellular structures. This traction can be measured in a perturbation-free manner with traction force microscopy (TFM). In TFM, traction is usually calculated via the solution of a linear system, which is complicated by undersampled input data, acquisiti…
▽ More
Adherent cells exert traction forces on to their environment, which allows them to migrate, to maintain tissue integrity, and to form complex multicellular structures. This traction can be measured in a perturbation-free manner with traction force microscopy (TFM). In TFM, traction is usually calculated via the solution of a linear system, which is complicated by undersampled input data, acquisition noise, and large condition numbers for some methods. Therefore, standard TFM algorithms either employ data filtering or regularization. However, these approaches require a manual selection of filter- or regularization parameters and consequently exhibit a substantial degree of subjectiveness. This shortcoming is particularly serious when cells in different conditions are to be compared because optimal noise suppression needs to be adapted for every situation, which invariably results in systematic errors. Here, we systematically test the performance of new methods from computer vision and Bayesian inference for solving the inverse problem in TFM. We compare two classical schemes, L1- and L2-regularization, with three previously untested schemes, namely Elastic Net regularization, Proximal Gradient Lasso, and Proximal Gradient Elastic Net. Overall, we find that Elastic Net regularization, which combines L1 and L2 regularization, outperforms all other methods with regard to accuracy of traction reconstruction. Next, we develop two methods, Bayesian L2 regularization and Advanced Bayesian L2 regularization, for automatic, optimal L2 regularization. Using artificial data and experimental data, we show that these methods enable robust reconstruction of traction without requiring a difficult selection of regularization parameters specifically for each data set. Thus, Bayesian methods can mitigate the considerable uncertainty inherent in comparing cellular traction forces.
△ Less
Submitted 13 October, 2018;
originally announced October 2018.
-
Measuring cellular traction forces on non-planar substrates
Authors:
Jerome R. Soine,
Nils Hersch,
Georg Dreissen,
Nico Hampe,
Bernd Hoffmann,
Rudolf Merkel,
Ulrich S. Schwarz
Abstract:
Animal cells use traction forces to sense the mechanics and geometry of their environment. Measuring these traction forces requires a workflow combining cell experiments, image processing and force reconstruction based on elasticity theory. Such procedures have been established before mainly for planar substrates, in which case one can use the Green's function formalism. Here we introduce a worksf…
▽ More
Animal cells use traction forces to sense the mechanics and geometry of their environment. Measuring these traction forces requires a workflow combining cell experiments, image processing and force reconstruction based on elasticity theory. Such procedures have been established before mainly for planar substrates, in which case one can use the Green's function formalism. Here we introduce a worksflow to measure traction forces of cardiac myofibroblasts on non-planar elastic substrates. Soft elastic substrates with a wave-like topology were micromolded from polydimethylsiloxane (PDMS) and fluorescent marker beads were distributed homogeneously in the substrate. Using feature vector based tracking of these marker beads, we first constructed a hexahedral mesh for the substrate. We then solved the direct elastic boundary volume problem on this mesh using the finite element method (FEM). Using data simulations, we show that the traction forces can be reconstructed from the substrate deformations by solving the corresponding inverse problem with a L1-norm for the residue and a L2-norm for 0th order Tikhonov regularization. Applying this procedure to the experimental data, we find that cardiac myofibroblast cells tend to align both their shapes and their forces with the long axis of the deformable wavy substrate.
△ Less
Submitted 26 May, 2016;
originally announced May 2016.
-
Cloud-Based Distributed Mutation Analysis
Authors:
Robert Merkel,
James Georgeson
Abstract:
Mutation Testing is a fault-based software testing technique which is too computationally expensive for industrial use. Cloud-based distributed computing clusters, taking advantage of the MapReduce programming paradigm, represent a method by which the long running time can be reduced. In this paper, we describe an architecture, and a prototype implementation, of such a cloud-based distributed muta…
▽ More
Mutation Testing is a fault-based software testing technique which is too computationally expensive for industrial use. Cloud-based distributed computing clusters, taking advantage of the MapReduce programming paradigm, represent a method by which the long running time can be reduced. In this paper, we describe an architecture, and a prototype implementation, of such a cloud-based distributed mutation testing system. To evaluate the system, we compared the performance of the prototype, with various cluster sizes, to an existing "state-of-the-art" non-distributed tool, PiT. We also analysed different approaches to work distribution, to determine how to most efficiently divide the mutation analysis task. Our tool outperformed PiT, and analysis of the results showed opportunities for substantial further performance improvement.
△ Less
Submitted 27 January, 2016; v1 submitted 26 January, 2016;
originally announced January 2016.
-
Signature of a non-harmonic potential as revealed from a consistent shape and fluctuation analysis of an adherent membrane
Authors:
Daniel Schmidt,
Cornelia Monzel,
Timo Bihr,
Rudolf Merkel,
Udo Seifert,
Kheya Sengupta,
Ana-Sunčana Smith
Abstract:
The interaction of fluid membranes with a scaffold, which can be a planar surface or a more complex structure, is intrinsic to a number of systems - from artificial supported bilayers and vesicles to cellular membranes. In principle, these interactions can be either discrete and protein mediated, or continuous. In the latter case, they emerge from ubiquitous intrinsic surface interaction potential…
▽ More
The interaction of fluid membranes with a scaffold, which can be a planar surface or a more complex structure, is intrinsic to a number of systems - from artificial supported bilayers and vesicles to cellular membranes. In principle, these interactions can be either discrete and protein mediated, or continuous. In the latter case, they emerge from ubiquitous intrinsic surface interaction potentials as well as nature-designed steric contributions of the fluctuating membrane or from the polymers of the glycocalyx. Despite the fact that these nonspecific potentials are omnipresent, their description has been a major challenge from experimental and theoretical points of view. Here we show that a full understanding of the implications of the continuous interactions can be achieved only by expanding the standard superposition models commonly used to treat these types of systems, beyond the usual harmonic level of description. Supported by this expanded theoretical framework, we present three independent, yet mutually consistent, experimental approaches to measure the interaction potential strength and the membrane tension. Upon explicitly taking into account the nature of shot noise as well as of finite experimental resolution, excellent agreement with the augmented theory is obtained, which finally provides a coherent view of the behavior of the membrane in a vicinity of a scaffold.
△ Less
Submitted 28 March, 2014;
originally announced March 2014.
-
Towards a better understanding of testing if conditionals
Authors:
Shimul Kumar Nath,
Robert Merkel,
Man Fai Lau,
Tanay Kanti Paul
Abstract:
Fault based testing is a technique in which test cases are chosen to reveal certain classes of faults. At present, testing professionals use their personal experience to select testing methods for fault classes considered the most likely to be present. However, there is little empirical evidence available in the open literature to support these intuitions. By examining the source code changes when…
▽ More
Fault based testing is a technique in which test cases are chosen to reveal certain classes of faults. At present, testing professionals use their personal experience to select testing methods for fault classes considered the most likely to be present. However, there is little empirical evidence available in the open literature to support these intuitions. By examining the source code changes when faults were fixed in seven open source software artifacts, we have classified bug fix patterns into fault classes, and recorded the relative frequencies of the identified fault classes. This paper reports our findings related to "if-conditional" fixes. We have classified the "if-conditional" fixes into fourteen fault classes and calculated their frequencies. We found the most common fault class related to changes within a single "atom". The next most common fault was the omission of an "atom". We analysed these results in the context of Boolean specification testing.
△ Less
Submitted 30 May, 2012;
originally announced May 2012.
-
Tube Width Fluctuations in F-Actin Solutions
Authors:
J. Glaser,
D. Chakraborty,
K. Kroy,
I. Lauter,
M. Degawa,
N. Kirchgeßner,
B. Hoffmann,
R. Merkel,
M. Giesen
Abstract:
We determine the statistics of the local tube width in F-actin solutions, beyond the usually reported mean value. Our experimental observations are explained by a segment fluid theory based on the binary collision approximation (BCA). In this systematic generalization of the standard mean-field approach effective polymer segments interact via a potential representing the topological constraints. T…
▽ More
We determine the statistics of the local tube width in F-actin solutions, beyond the usually reported mean value. Our experimental observations are explained by a segment fluid theory based on the binary collision approximation (BCA). In this systematic generalization of the standard mean-field approach effective polymer segments interact via a potential representing the topological constraints. The analytically predicted universal tube width distribution with a stretched tail is in good agreement with the data.
△ Less
Submitted 13 July, 2010; v1 submitted 30 October, 2009;
originally announced October 2009.
-
Direct observation of the tube model in F-actin solutions
Authors:
M. Romanowska,
H. Hinsch,
N. Kirchgessner,
M. Giesen,
M. Degawa,
B. Hoffmann,
E. Frey,
R. Merkel
Abstract:
Mutual uncrossability of polymers generates topological constraints on their conformations and dynamics, which are generally described using the tube model. We imaged confinement tubes for individual polymers within a F-actin solution by sampling over many successive micrographs of fluorescently labeled probe filaments. The resulting average tube width shows the predicted scaling behavior. Unexp…
▽ More
Mutual uncrossability of polymers generates topological constraints on their conformations and dynamics, which are generally described using the tube model. We imaged confinement tubes for individual polymers within a F-actin solution by sampling over many successive micrographs of fluorescently labeled probe filaments. The resulting average tube width shows the predicted scaling behavior. Unexpectedly, we found an exponential distribution of tube curvatures which is attributed to transient entropic trap** in network void spaces.
△ Less
Submitted 19 March, 2009;
originally announced March 2009.