Grand Challenges of Traceability: The Next Ten Years

In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous traceability. Ten years later, in 2017, the community came together to evaluate a decade of progress towards achieving these goals. These proceedings document some of that progress. They include a series of short position papers, representing current work in the community organized across four process axes of traceability practice. The sessions covered topics from Trace Strategizing, Trace Link Creation and Evolution, Trace Link Usage, real-world applications of Traceability, and Traceability Datasets and benchmarks. Two breakout groups focused on the importance of creating and sharing traceability datasets within the research community, and discussed challenges related to the adoption of tracing techniques in industrial practice. Members of the research community are engaged in many active, ongoing, and impactful research projects. Our hope is that ten years from now we will be able to look back at a productive decade of research and claim that we have achieved the overarching Grand Challenge of Traceability, which seeks for traceability to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research

Time-resolved measurement of single pulse femtosecond laser-induced periodic surface structure formation

Time-resolved diffraction microscopy technique has been used to observe the formation of laser-induced periodic surface structures (LIPSS) from the interaction of a single femtosecond laser pulse (pump) with a nano-scale groove mechanically formed on a single-crystal Cu substrate. The interaction dynamics (0-1200 ps) was captured by diffracting a time-delayed, frequency-doubled pulse from nascent LIPSS formation induced by the pump with an infinity-conjugate microscopy setup. The LIPSS ripples are observed to form sequentially outward from the groove edge, with the first one forming after 50 ps. A 1-D analytical model of electron heating and surface plasmon polariton (SPP) excitation induced by the interaction of incoming laser pulse with the groove edge qualitatively explains the time-evloution of LIPSS formation.Comment: 4 pages, 5 figure

Cluster formation and anomalous fundamental diagram in an ant trail model

A recently proposed stochastic cellular automaton model ({\it J. Phys. A 35, L573 (2002)}), motivated by the motions of ants in a trail, is investigated in detail in this paper. The flux of ants in this model is sensitive to the probability of evaporation of pheromone, and the average speed of the ants varies non-monotonically with their density. This remarkable property is analyzed here using phenomenological and microscopic approximations thereby elucidating the nature of the spatio-temporal organization of the ants. We find that the observations can be understood by the formation of loose clusters, i.e. space regions of enhanced, but not maximal, density.Comment: 11 pages, REVTEX, with 11 embedded EPS file

Collective traffic-like movement of ants on a trail: dynamical phases and phase transitions

The traffic-like collective movement of ants on a trail can be described by a stochastic cellular automaton model. We have earlier investigated its unusual flow-density relation by using various mean field approximations and computer simulations. In this paper, we study the model following an alternative approach based on the analogy with the zero range process, which is one of the few known exactly solvable stochastic dynamical models. We show that our theory can quantitatively account for the unusual non-monotonic dependence of the average speed of the ants on their density for finite lattices with periodic boundary conditions. Moreover, we argue that the model exhibits a continuous phase transition at the critial density only in a limiting case. Furthermore, we investigate the phase diagram of the model by replacing the periodic boundary conditions by open boundary conditions.Comment: 8 pages, 6 figure

Flow properties of driven-diffusive lattice gases: theory and computer simulation

We develop n-cluster mean-field theories (0 < n < 5) for calculating the flow properties of the non-equilibrium steady-states of the Katz-Lebowitz-Spohn model of the driven diffusive lattice gas, with attractive and repulsive inter-particle interactions, in both one and two dimensions for arbitrary particle densities, temperature as well as the driving field. We compare our theoretical results with the corresponding numerical data we have obtained from the computer simulations to demonstrate the level of accuracy of our theoretical predictions. We also compare our results with those for some other prototype models, notably particle-hopping models of vehicular traffic, to demonstrate the novel qualitative features we have observed in the Katz-Lebowitz-Spohn model, emphasizing, in particular, the consequences of repulsive inter-particle interactions.Comment: 12 RevTex page

Probing the superconducting ground state of the noncentrosymmetric superconductors CaTSi3 (T = Ir, Pt) using muon-spin relaxation and rotation

The superconducting properties of CaTSi3 (where T = Pt and Ir) have been investigated using muon spectroscopy. Our muon-spin relaxation results suggest that in both these superconductors time-reversal symmetry is preserved, while muon-spin rotation data show that the temperature dependence of the superfluid density is consistent with an isotropic s-wave gap. The magnetic penetration depths and upper critical fields determined from our transverse-field muon-spin rotation spectra are found to be 448(6) and 170(6) nm, and 3800(500) and 1700(300) G, for CaPtSi3 and CaIrSi3 respectively. The superconducting coherence lengths of the two materials have also been determined and are 29(2) nm for CaPtSi3 and 44(4) nm for CaIrSi3.Comment: 6 pages, 7 figure

Communication in networks with hierarchical branching

We present a simple model of communication in networks with hierarchical branching. We analyze the behavior of the model from the viewpoint of critical systems under different situations. For certain values of the parameters, a continuous phase transition between a sparse and a congested regime is observed and accurately described by an order parameter and the power spectra. At the critical point the behavior of the model is totally independent of the number of hierarchical levels. Also scaling properties are observed when the size of the system varies. The presence of noise in the communication is shown to break the transition. Despite the simplicity of the model, the analytical results are a useful guide to forecast the main features of real networks.Comment: 4 pages, 3 figures. Final version accepted in PR

Temperature Dependence Quantum State of Electron in One Dimensional Carbon Nano Tubes and The Expression for Temperature Co-efficient of Resistance in Terms of Quantum State

The Field of Carbon nano tube (CNT) is an promising area of research theoretically as well as experimentally [1],[2]. In fact the band structure of CNT determines its conductivity and in carbon nano tubes the structural pattern affects the conductivity type i.e the conductivity of CNT depends upon how graphene sheet is rolled up. So, CNT can be made to behave as conductor as well as semiconductor [2] It is well established that the samples of single wall carbon nano tubes with an arm chair wrapping have been produced and exhibit metallic behavior with an intrinsic resistivity which increases approximately linearly with temperature over a wide temperature range (see for instance ref.[4]. In this paper the quantized value of electric conductivity [1],[2] is used in an attempt to show theoretically that the quantum state of the electron of the carbon nano tube is directly related to temperature of the CNT as resistivity of CNT depends on quantum state and also found to depend on temperature. Finally, an effort has been made to find an approximatenbsp expression for the temperature co-efficient of resistance of the CNT