An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development

In this paper, we investigate model-driven engineering, reporting on an exploratory case-study conducted at a large automotive company. The study consisted of interviews with 20 engineers and managers working in different roles. We found that, in the context of a large organization, contextual forces dominate the cognitive issues of using model-driven technology. The four forces we identified that are likely independent of the particular abstractions chosen as the basis of software development are the need for diffing in software product lines, the needs for problem-specific languages and types, the need for live modeling in exploratory activities, and the need for point-to-point traceability between artifacts. We also identified triggers of accidental complexity, which we refer to as points of friction introduced by languages and tools. Examples of the friction points identified are insufficient support for model diffing, point-to-point traceability, and model changes at runtime.Comment: To appear in proceedings of MODELS 2012, LNCS Springe

FixMiner: Mining Relevant Fix Patterns for Automated Program Repair

Patching is a common activity in software development. It is generally performed on a source code base to address bugs or add new functionalities. In this context, given the recurrence of bugs across projects, the associated similar patches can be leveraged to extract generic fix actions. While the literature includes various approaches leveraging similarity among patches to guide program repair, these approaches often do not yield fix patterns that are tractable and reusable as actionable input to APR systems. In this paper, we propose a systematic and automated approach to mining relevant and actionable fix patterns based on an iterative clustering strategy applied to atomic changes within patches. The goal of FixMiner is thus to infer separate and reusable fix patterns that can be leveraged in other patch generation systems. Our technique, FixMiner, leverages Rich Edit Script which is a specialized tree structure of the edit scripts that captures the AST-level context of the code changes. FixMiner uses different tree representations of Rich Edit Scripts for each round of clustering to identify similar changes. These are abstract syntax trees, edit actions trees, and code context trees. We have evaluated FixMiner on thousands of software patches collected from open source projects. Preliminary results show that we are able to mine accurate patterns, efficiently exploiting change information in Rich Edit Scripts. We further integrated the mined patterns to an automated program repair prototype, PARFixMiner, with which we are able to correctly fix 26 bugs of the Defects4J benchmark. Beyond this quantitative performance, we show that the mined fix patterns are sufficiently relevant to produce patches with a high probability of correctness: 81% of PARFixMiner's generated plausible patches are correct.Comment: 31 pages, 11 figure

Dynamics of Shape Memory Alloys Patches with Mechanically Induced Transformations

A mathematical model is constructed for the modelling of two di- mensional thermo-mechanical behavior of shape memory alloy patches. The model is constructed on the basis of a modified Landau-Ginzburg theory and includes the coupling effect between thermal and mechanical fields. The free energy functional for the model is exemplified for the square to rectangular transformations. The model, based on nonlinear coupled partial differential equations, is reduced to a system of differential-algebraic equations and the backward differentiation methodology is used for its numerical analysis. Computational experiments with representative distributed mechanical loadings are carried out for patches of different sizes to analyze thermo-mechanical waves, coupling effects, and 2D phase transformations

Intrinsically Motivated Learning of Visual Motion Perception and Smooth Pursuit

We extend the framework of efficient coding, which has been used to model the development of sensory processing in isolation, to model the development of the perception/action cycle. Our extension combines sparse coding and reinforcement learning so that sensory processing and behavior co-develop to optimize a shared intrinsic motivational signal: the fidelity of the neural encoding of the sensory input under resource constraints. Applying this framework to a model system consisting of an active eye behaving in a time varying environment, we find that this generic principle leads to the simultaneous development of both smooth pursuit behavior and model neurons whose properties are similar to those of primary visual cortical neurons selective for different directions of visual motion. We suggest that this general principle may form the basis for a unified and integrated explanation of many perception/action loops.Comment: 6 pages, 5 figure

Ionospheric response to the corotating interaction region-driven geomagnetic storm of October 2002

Unlike the geomagnetic storms produced by coronal mass ejections (CMEs), the storms generated by corotating interaction regions (CIRs) are not manifested by dramatic enhancements of the ring current. The CIR-driven storms are however capable of producing other phenomena typical for the magnetic storms such as relativistic particle acceleration, enhanced magnetospheric convection and ionospheric heating. This paper examines ionospheric plasma anomalies produced by a CIR-driven storm in the middle- and high-latitude ionosphere with a specific focus on the polar cap region. The moderate magnetic storm which took place on 14–17 October 2002 has been used as an example of the CIR-driven event. Four-dimensional tomographic reconstructions of the ionospheric plasma density using measurements of the total electron content along ray paths of GPS signals allow us to reveal the large-scale structure of storm-induced ionospheric anomalies. The tomographic reconstructions are compared with the data obtained by digital ionosonde located at Eureka station near the geomagnetic north pole. The morphology and dynamics of the observed ionospheric anomalies is compared qualitatively to the ionospheric anomalies produced by major CME-driven storms. It is demonstrated that the CIR-driven storm of October 2002 was able to produce ionospheric anomalies comparable to those produced by CME-driven storms of much greater Dst magnitude. This study represents an important step in linking the tomographic GPS reconstructions with the data from ground-based network of digital ionosondes