Continuous Experimentation for Automotive Software on the Example of a Heavy Commercial Vehicle in Daily Operation

As the automotive industry focuses its attention more and more towards the software functionality of vehicles, techniques to deliver new software value at a fast pace are needed. Continuous Experimentation, a practice coming from the web-based systems world, is one of such techniques. It enables researchers and developers to use real-world data to verify their hypothesis and steer the software evolution based on performances and user preferences, reducing the reliance on simulations and guesswork. Several challenges prevent the verbatim adoption of this practice on automotive cyber-physical systems, e.g., safety concerns and limitations from computational resources; nonetheless, the automotive field is starting to take interest in this technique. This work aims at demonstrating and evaluating a prototypical Continuous Experimentation infrastructure, implemented on a distributed computational system housed in a commercial truck tractor that is used in daily operations by a logistic company on public roads. The system comprises computing units and sensors, and software deployment and data retrieval are only possible remotely via a mobile data connection due to the commercial interests of the logistics company. This study shows that the proposed experimentation process resulted in the development team being able to base software development choices on the real-world data collected during the experimental procedure. Additionally, a set of previously identified design criteria to enable Continuous Experimentation on automotive systems was discussed and their validity confirmed in the light of the presented work.Comment: Paper accepted to the 14th European Conference on Software Architecture (ECSA 2020). 16 pages, 5 figure

Liquid state properties from first principles DFT calculations: Static properties

In order to test the Vibration-Transit (V-T) theory of liquid dynamics, ab initio density functional theory (DFT) calculations of thermodynamic properties of Na and Cu are performed and compared with experimental data. The calculations are done for the crystal at T = 0 and T_m, and for the liquid at T_m. The key theoretical quantities for crystal and liquid are the structural potential and the dynamical matrix, both as function of volume. The theoretical equations are presented, as well as details of the DFT computations. The properties compared with experiment are the equilibrium volume, the isothermal bulk modulus, the internal energy and the entropy. The agreement of theory with experiment is uniformly good. Our primary conclusion is that the application of DFT to V-T theory is feasible, and the resulting liquid calculations achieve the same level of accuracy as does ab initio lattice dynamics for crystals. Moreover, given the well established reliability of DFT, the present results provide a significant confirmation of V-T theory itself.Comment: 9 pages, 3 figures, 5 tables, edited to more closely match published versio

Characterizing Vickrey allocation rule by anonymity

We consider the problem of allocating finitely many units of an indivisible good among a group of agents when each agent receives at most one unit of the good and pays a non-negative price. For example, imagine that a government allocates a fixed number of licenses to private firms, or that it distributes equally divided lands to households. Anonymity in welfare is a condition of impartiality in the sense that it requires allocation rules to treat agents equally in welfare terms from the viewpoint of agents who are ignorant of their own valuations or identities. We show that the Vickrey allocation rule is the unique allocation rule satisfying strategy-proofness, anonymity in welfare, and individual rationality

European standard on small punch testing of metallic materials

In the 1980s, studying the effect of neutron irradiation and temper embrittlement on structural materials for the fusion and fission programmes was a major challenge. In this context the development of small specimen test techniques began, allowing the characterization of structural materials for nuclear applications with small amounts of material. The small punch technique is of one these small specimen test approaches. It is widely used for the development and monitoring of structural materials, however there is currently no comprehensive international standard for small punch testing. An EN standard on small punch testing is currently being developed under the auspices of ECISS/TC101/WG1. Besides describing the apparatus, procedures, and specimens, it will include recommendations for the estimation of tensile, fracture and creep properties from small punch testing as well as machine readable formats for representing and transferring test data. This paper describes the current status of the standard and highlights some of the changes with regard to the current CWA 15672 (2007)

Microenterprise development, industrial labour, and the seductions of precarity

Microenterprise development is underpinned by an ideology that the solution to poverty is the integration of the poor into market relations. This article addresses the paradox that its ‘beneficiaries’ may be dispossessed industrial workers who already have a long history of participation in the capitalist economy. Exploring the transformation of garment workers in Trinidad from factory employees to home-based ‘micro-entrepreneurs’, I argue that working conditions and labour rights have deteriorated under the protective cover of seemingly laudable policies to promote economic empowerment via self-employment. Showing how microenterprise initiatives contribute to women workers’ ‘adverse incorporation’ (Phillips, 2011) into global production networks, this article calls for renewed attention to the labour politics of microenterprise development

A novel desmoplakin mutation causes dilated cardiomyopathy with palmoplantar keratoderma as an early clinical sign

Background PPKs represent a heterogeneous group of disorders with hyperkeratosis of palmar and/or plantar skin. PPK, hair shaft abnormalities, cardiomyopathy and arrhythmias can be caused by mutations in desmosomal genes, e.g. desmoplakin (DSP). PPK should trigger genetic testing to reveal mutations with possible related cardiac disease. Objectives To report a large multigenerational family with a novel DSP mutation associated with early-onset PPK and adult-onset cardiomyopathy and arrhythmias. Methods A custom-designed in-house panel of 35 PPK related genes was used to screen mutations in the index patient with focal PPK. The identified DSP mutation was verified by Sanger sequencing. DNA samples from 20 members of the large multigenerational family were sequenced for the DSP mutation. Medical records were reviewed. Clinical dermatological evaluation was performed, including light microscopy of hair samples. Cardiac evaluation included clinical examination, echocardiography, cardiac magnetic resonance imaging (CMR), electrocardiogram (ECG), Holter monitoring and laboratory tests. Results We identified a novel autosomal dominant truncating DSP c.2493delA p.(Glu831Aspfs*33) mutation associated with dilated cardiomyopathy (DCM) with arrhythmia susceptibility and focal PPK as an early cutaneous sign. The mutation was found in nine affected family members, but not in any unaffected members. Onset of dermatological findings preceded cardiac symptoms which were variable and occurred at adult age. Conclusions We report a novel truncating DSP mutation causing focal PPK with varying severity and left ventricular dilatation and ventricular extrasystoles. This finding emphasizes the importance of genetic diagnosis in patients with PPK for clinical counselling and management of cardiomyopathies and arrhythmias.Peer reviewe

Efficiency and strategy-proofness in object assignment problems with multi-demand preferences

Consider the problem of allocating objects to agents and how much they should pay. Each agent has a preference relation over pairs of a set of objects and a payment. Preferences are not necessarily quasi-linear. Non-quasi-linear preferences describe environments where payments influence agents' abilities to utilize objects. This paper is to investigate the possibility of designing efficient and strategy-proof rules in such environments. A preference relation is single demand if an agent wishes to receive at most one object; it is multi demand if whenever an agent receives one object, an additional object makes him better off. We show that if a domain contains all the single demand preferences and at least one multi demand preference relation, and there are more agents than objects, then no rule satisfies efficiency, strategy-proofness, individual rationality, and no subsidy for losers on the domain

Measurement of the Top Quark Mass Using Dilepton Events

The D0 collaboration has performed a measurement of the top quark mass based on six candidate events for the process t tbar -> b W+ bbar W-, where the W bosons decay to e nu or mu nu. This sample was collected during an exposure of the D0 detector to an integrated luminosity of 125 pb^-1 of sqrt(s)=1.8 TeV p-pbar collisions. We obtain mt = 168.4 +- 12.3 (stat) +- 3.7 (sys) GeV/c^2, consistent with the measurement obtained using single-lepton events. Combination of the single-lepton and dilepton results yields mt = 172.0 +- 7.5 GeV/c^2.Comment: 12 pages, 3 figure

Search for New Physics Using Quaero: A General Interface to D0 Event Data

We describe Quaero, a method that i) enables the automatic optimization of searches for physics beyond the standard model, and ii) provides a mechanism for making high energy collider data generally available. We apply Quaero to searches for standard model WW, ZZ, and ttbar production, and to searches for these objects produced through a new heavy resonance. Through this interface, we make three data sets collected by the D0 experiment at sqrt(s)=1.8 TeV publicly available.Comment: 7 pages, submitted to Physical Review Letter