Search CurateND

Search criteria:

Department or Unit: University of Notre Dame remove × Department or Unit: Computer Science and Engineering remove ×
Clear all

List of files deposited in CurateND that match your search criteria

  • Author(s):
    Jürgen Thanhofer-Pilisch, Alexander Lang, Michael Vierhauser, Rick Rabiser
    Abstract:

    Domain-specific languages (DSLs) are frequently used in software engineering. In contrast to general-purpose languages, DSLs are designed for a special purpose in a particular domain. Due to volatile user requirements and new technologies DSLs, similar to the software systems they describe or produce, are subject to continuous evolution. This work explores existing research on DSL evolution to summarize, structure and analyze this area of research, and to identify trends and open issues. We c…

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

    The growing adoption of small unmanned aircraft systems (sUAS) for tasks such as eCommerce, aerial surveillance, and environmental monitoring introduces the need for new safety mechanisms in an increasingly cluttered airspace. Safety assurance cases (SAC) provide a state-of-the-art solution for reasoning about system and software safety in numerous safety-critical domains. We propose a novel approach based on the idea of interlocking safety cases. The sUAS infrastructure safety case (iSAC) sp…

  • Author(s):
    Jane Wyngaard, Samuel S.C. Rund, Gregory R. Madey, Michael Vierhauser, Jane Cleland-Huang
    Abstract:

    Remotely Piloted Aircraft Systems (RPAS) are an emerging application area for many industries including surveillance, agriculture monitoring, and vector-borne disease control. With drastically lower costs and increasing performance and autonomy, future application evolution will more than likely include the use of the RPAS swarms. Several largely successful experiments in recent years, using off the shelf small Unmanned Aircraft Systems (sUAS) have been conducted to address the long standing …

  • Author(s):
    Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi , Paul Grünbacher
    Abstract:

    The full behavior of complex software systems often only emerges during operation. They thus need to be monitored at run time to check that they adhere to their requirements. Diverse runtime monitoring approaches have been developed in various domains and for different purposes. Their sheer number and heterogeneity, however, make it hard to find the right approach for a specific application or purpose. The aim of our research therefore was to develop a comparison framework for runtime monitor…

  • Author(s):
    Michael Vierhauser, Jane Cleland-Huang, Sean Bayley, Thomas Krismayer, Rick Rabiser, Paul Grünbacher
    Abstract:

    Unmanned aerial vehicles (UAVs) are becoming increasingly pervasive in everyday life, supporting diverse use cases such as aerial photography, delivery of goods, or disaster reconnaissance and management. UAVS are cyber-physical systems (CPS): they integrate computation (embedded software and control systems) with physical components (the UAVS flying in the physical world).UAVS in particular and CPS in general require monitoring capabilities to detect and possibly mitigate erroneous and safet…

  • Author:
    Siyuan Jiang
    Advisory Committee:
    Collin McMillan
    Degree Area:
    Computer Science and Engineering
    Degree:
    PhD
    Defense Date:
    2018-03-07
  • Creator(s):
    Peter Ivie, Douglas Thain
    Description:

    Welcome to the preserved archive of workflows in the paper submitted to Concurrency & Computation: Practice & Experience entitled “Using PRUNE to reproducibly manage the data requirements in computational science.”

    Date Created:
    2018-03-13
  • Author:
    Saurabh Nagrecha
    Advisory Committee:
    Sidney D'Mello, Nitesh Chawla, Tim Weninger, Reid Johnson
    Degree Area:
    Computer Science and Engineering
    Degree:
    PhD
    Defense Date:
    2017-05-05
  • Author(s):
    Lisa Maria Kritzinger , Thomas Krismayer , Michael Vierhauser, Rick Rabiser, Paul Grünbacher
    Abstract:

    Industrial software systems are often systems of systems (SoS) whose full behavior only emerges at runtime. The systems and their interactions thus need to be continuously monitored and checked during operation to determine compliance with requirements. Many requirements monitoring approaches have been proposed. However, only few of these come with tools that present and visualize monitoring results and details on requirements violations to end users such as industrial engineers. In this tool…

    Date Published:
    2017-10
  • Author:
    James C Sweet
    Advisory Committee:
    Douglas Thain, Krupali Uplekar, Michael Niemier, Jesus Izaguirre, Paul Brenner
    Degree Area:
    Computer Science and Engineering
    Degree:
    PhD
    Defense Date:
    2017-07-06
  • Author:
    Mona Rahimi
    Advisory Committee:
    Jane Cleland-Huang
    Degree Area:
    Computer Science and Engineering
    Degree:
    PhD
    Defense Date:
    2017-06-21
  • Author:
    Maryam Moosaei
    Advisory Committee:
    Laurel D. Riek
    Degree Area:
    Computer Science and Engineering
    Degree:
    PhD
    Defense Date:
    2017-06-02