CPS / Safety-Critical Systems Research Environment

CPS Research Environment:

Dronology is an Open-Source Unmanned Aerial System (UAS) developed at the University of Notre Dame. The project has two main objectives:

  • First, to establish a research environment for studying various aspects of software and systems engineering for cyberphysical systems -- e.g., runtime monitoring, safety analysis, and product line development.

  • Second, to provide a framework for controlling and coordinating the flight of individual UAS, formations, and swarms in order to to support applications such as search-and-rescue, surveillance, and scientific data collection.

These two goals are closely related -- as developing a research environment for investigating challenges in safety-critical software systems involves building a system with safety-critical implications.

Visit our dronology website for more information: https://dronology.info/

Safety-Critical Research Dataset:

Many software engineering research projects rely upon the availability of software engineering data, such as requirements, source code, architectural design etc, for experimentation purposes. However, it can be challenging to acquire extensive data sets outside the Open Source domain.

One of our goals is to openly share Dronology datasets. While we are currently in an incubation stage, we provide a small 'taste' of what we are working towards releasing, including requirements, design, code, test cases, product line information, and safety analysis

Dataset 01:

Released 5/23/2018

Our first dataset consists of components, requirements, design definitions, tasks, and source code. Source code is traced to design definitions (either directly or via tasks). These links are created in two ways (1) explicitly by the development team, and (2) as jira ID tags to a github commit message. The JSON file aggregates all code commits to the design definitions, however, the interactive view also shows links to tasks. These tasks are then linked to design definitions. Additional links are shown from design definitions to requirements, and from requirements to code. These links were created manually by the development team in Jira.

You can additional information here, download the JSON file here or see an interactive view of the data here.

Selected Publications