Correct and Control Complex IoT Systems: Evaluation of a Classification for System Anomalies

In practice there are deficiencies in precise interteam communications about system anomalies to perform troubleshooting and postmortem analysis along different teams operating complex IoT systems. We evaluate the quality in use of an adaptation of IEEE Std. 1044-2009 with the objective to differentiate the handling of fault detection and fault reaction from handling of defect and its options for defect correction. We extended the scope of IEEE Std. 1044-2009 from anomalies related to software only to anomalies related to complex IoT systems. To evaluate the quality in use of our classification a study was conducted at Robert Bosch GmbH. We applied our adaptation to a postmortem analysis of an IoT solution and evaluated the quality in use by conducting interviews with three stakeholders. Our adaptation was effectively applied and interteam communications as well as iterative and inductive learning for product improvement were enhanced. Further training and practice are required.Comment: Submitted to QRS 2020 (IEEE Conference on Software Quality, Reliability and Security

Miniature mobile sensor platforms for condition monitoring of structures

In this paper, a wireless, multisensor inspection system for nondestructive evaluation (NDE) of materials is described. The sensor configuration enables two inspection modes-magnetic (flux leakage and eddy current) and noncontact ultrasound. Each is designed to function in a complementary manner, maximizing the potential for detection of both surface and internal defects. Particular emphasis is placed on the generic architecture of a novel, intelligent sensor platform, and its positioning on the structure under test. The sensor units are capable of wireless communication with a remote host computer, which controls manipulation and data interpretation. Results are presented in the form of automatic scans with different NDE sensors in a series of experiments on thin plate structures. To highlight the advantage of utilizing multiple inspection modalities, data fusion approaches are employed to combine data collected by complementary sensor systems. Fusion of data is shown to demonstrate the potential for improved inspection reliability

Technology transfer-transportation

Problems in the public transportation industry and refining methods for decreasing the time gap between the development and the marketing of new technology are considered. Eight NASA innovations are either being adapted for use on highways, railways, or rapid transit, or are already entering the marketplace. Chronologies for three of these programs are provided

Visualizing test diversity to support test optimisation

Diversity has been used as an effective criteria to optimise test suites for cost-effective testing. Particularly, diversity-based (alternatively referred to as similarity-based) techniques have the benefit of being generic and applicable across different Systems Under Test (SUT), and have been used to automatically select or prioritise large sets of test cases. However, it is a challenge to feedback diversity information to developers and testers since results are typically many-dimensional. Furthermore, the generality of diversity-based approaches makes it harder to choose when and where to apply them. In this paper we address these challenges by investigating: i) what are the trade-off in using different sources of diversity (e.g., diversity of test requirements or test scripts) to optimise large test suites, and ii) how visualisation of test diversity data can assist testers for test optimisation and improvement. We perform a case study on three industrial projects and present quantitative results on the fault detection capabilities and redundancy levels of different sets of test cases. Our key result is that test similarity maps, based on pair-wise diversity calculations, helped industrial practitioners identify issues with their test repositories and decide on actions to improve. We conclude that the visualisation of diversity information can assist testers in their maintenance and optimisation activities

Exploring the Kibble-Zurek mechanism with homogeneous Bose gases

Out-of-equilibrium phenomena is a subject of considerable interest in many fields of physics. Ultracold quantum gases, which are extremely clean, well-isolated and highly controllable systems, offer ideal platforms to investigate this topic. The recent progress in tailoring trapping potentials now allows the experimental production of homogeneous samples in custom geometries, which is a key advance for studies of the emergence of coherence in interacting quantum systems. Here we review recent experiments in which temperature quenches have been performed across the Bose-Einstein condensation (BEC) phase transition in an annular geometry and in homogeneous 3D and quasi-2D gases. Combined, these experiments give a comprehensive picture of the Kibble-Zurek (KZ) scenario through complementary measurements of correlation functions and topological defects density. They also allow the measurement of KZ scaling laws, the direct confirmation of the "freeze-out" hypothesis that underlies the KZ theory, and the extraction of critical exponents of the Bose-Einstein condensation transition.Comment: 11 pages, 6 figures; topical revie