College of Engineering

Search CurateND

Search criteria:

Department or Unit: College of Engineering remove × Type of Work: Article remove ×
Clear all

List of files deposited in CurateND that match your search criteria

  • Author(s):
    Ankit Agrawal, Seyedehzahra Khoshmanesh, Michael Vierhauser, Mona Rahimi, Jane Cleland-Huang, Robyn Lutz
    Abstract:

    Safety Assurance Cases (SACs) are increasingly used to guide and evaluate the safety of software-intensive systems. They are used to construct a hierarchically organized set of claims, arguments, and evidence in order to provide a structured argument that a system is safe for use. However, as the system evolves and grows in size, a SAC can be difficult to maintain. In this paper we utilize design science to develop a novel solution for identifying areas of a SAC that are affected by changes t…

    Date Published:
    2019-05
  • Author(s):
    Rick Rabiser, Klaus Schmid, Holger Eichelberger, Michael Vierhauser, Sam Guinea, Paul Gruenbacher
    Abstract:

    [Context] Complex and heterogeneous software systems need to be monitored as their full behavior often only emerges at runtime, e.g., when interacting with other systems or the environment. Software monitoring approaches observe and check properties or quality attributes of software systems during operation. Such approaches have been developed in diverse communities for various kinds of systems and purposes. For instance, requirements monitoring aims to check at runtime whether a software…

  • Author(s):
    Michael Vierhauser, Sean Beyley, Jane Wyngaard, Wandi Xiong, Joshua Huseman, Robyn Lutz, Jane Cleland-Huang
    Abstract:

    The growing adoption of unmanned aerial vehicles (UAV) for tasks such as eCommerce, aerial surveillance, and environmental monitoring introduces the need for new safety mechanisms in an increasingly cluttered airspace. In our work we thus emphasize safety issues that emerge at the intersection of infrastructures responsible for controlling the airspace, and the diverse UAVs operating in their space. We build on safety assurance cases (SAC)- a state-of-the-art solution for reasoning about safe…

  • Author(s):
    Norbert Seyff, Michael Vierhauser, Michael Schneider, Jane Cleland-Huang
    Abstract:

    [Context and motivation] With the rise of cyber-physical systems (CPS), smart ecosystems, and the Internet of Things (IoT), software-intensive systems have become pervasive in everyone’s daily life. The shift from software systems to ubiquitous adaptive software-intensive systems not only affects the way we use software but further has an impact on the way these systems are designed and developed. Gathering requirements for such systems can benefit from elicitation processes that are conducte…

  • Author(s):
    Jane Cleland-Huang, Michael Vierhauser
    Abstract:

    Traditionally, safety-critical projects have been developed using the waterfall process. However, this makes it costly and challenging to incrementally introduce new features and to certify the modified product for use. As a result, there has been increasing interest in adopting agile development paradigms within the safety-critical domain. This in turn introduces numerous challenges. In this paper we address the specific problems of discovering, analyzing, specifying, and managing safety req…

    Date Published:
    2018-08
  • Author(s):
    Michael Vierhauser, Jane Cleland-Huang, Rick Rabiser, Thomas Krismayer, Paul Grünbacher
    Abstract:

    Industrial software systems are often systems of systems~(SoS) whose full behavior only emerges during operation. They therefore require monitoring techniques to observe systems and detect deviations from their requirements. The focus of existing monitoring approaches, however, is mainly on detecting violations of expected behavior, while support for diagnosing violations is typically limited or even neglected. Diagnosis is particularly challenging in SoS due to their technological heterogene…

    Date Published:
    2018-08
  • Author(s):
    Kyle Sweeney, Douglas Thain
    Abstract:

    Scientists using workflows often have access to both High Performance Computing and High-Throughput Computing sites, but HPC sites’ architecture is less conducive to HTC paradigms. The choices of middleware and site can have drastic performance differences on different workflows. To explore these differences, we created tools to expand Makeflow and Work Queue’s capabilities. We then performed four speed of light tests, testing job dispatch rate, data delivery from the master to worker…

  • Author(s):
    Jeremy Fein, Clayton Johnson, Joshua Shrout
    Abstract:

    Understanding metal sorption to bacteria is important for developing bioremediation strategies, for determining the fate of contaminants in ground water systems, and for defining controls on microbial metabolic processes in the environment. X-ray absorption spectroscopy (XAS) has been the only technique available for quantifying and mapping metal sorption to bacteria on an individual cell scale, but the XAS approach is time consuming and expensive, and quantitative mapping of the distribution…

    Date Published:
    2018-04
  • 9

    Article

    Author(s):
    Jakub Plášil, Anthony R. Kampf, Peter C. Burns
    Abstract:

    Redcanyonite (IMA2016-082), (NH4)2Mn(UO2)4O4(SO4)24, occursunderground in the Blue Lizard mine, Red Canyon, White Canyon district,San Juan County, Utah, USA. It occurs with natrozippeite, brochantite, devilline, posnjakite, johannite, gypsum, bobcookite, pickingerite, pentahydrite, and the NH4-analog of zippeite, ammoniozippeite. Redcanyonite occurs as radial aggregates of red-orange needles and blades individually reaching up to 0.2 mm in length, with aggregates measuring up to 1 mm i…

    Date Published:
    2018-05
  • Author(s):
    Bradley Ellis, Aylin Acun, U. Isik Can, Pinar Zorlutuna
    Abstract:

    The heart wall tissue, or the myocardium, is one of the main targets in cardiovascular disease prevention and treatment. Animal models have not been sufficient in mimicking the human myocardium as evident by the very low clinical translation rates of cardiovascular drugs. Additionally, current in vitro models of the human myocardium possess several shortcomings such as lack of physiologically relevant co-culture of myocardial cells, lack of a 3D biomimetic environment, and the use of non-huma…

    Date Published:
    2017-03
  • Author(s):
    Genevieve D. Vigil, Lina Cao, Aamir A. Khan, David Benirschke, Tahsin Ahmed, Patrick Fay, Scott S. Howard
    Abstract:

    Fluorophore saturation is the key factor limiting the speed and excitation range of fluorescence lifetime imaging microscopy (FLIM). For example, fluorophore saturation causes incorrect lifetime measurements when using conventional frequency-domain FLIM at high excitation powers. In this Letter, we present an analytical theoretical description of this error and present a method for compensating for this error in order to extract correct lifetime measurements in the limit of fluorophore satura…

    Date Published:
    2016-12
  • Author(s):
    Shirou Lou, Jarrod Schiffbauer, Tengfei Lou
    Abstract:

    In this work, the droplet size in a water-in-oil emulsion obtained by supersaturation is studied. The emulsion is obtained by cooling down a saturated water/oil solution by a certain temperature difference. The effects of the cooling rate and temperature difference on the produced droplet size are experimentally investigated. The average size of water droplets in the emulsion is found to be proportional to the square root of the cooling rate. By analyzing the time scales of three different st…

    Date Published:
    2017-10