Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleDecember 2024JUST ACCEPTED
An Evaluation of Self-Adaptive Mechanisms for Misconfigurations in Small Uncrewed Aerial Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS), Just Accepted https://doi.org/10.1145/3707643Small uncrewed aerial systems, sUAS, provide an invaluable resource for performing a variety of surveillance, search, and delivery tasks in remote or hostile terrains which may not be accessible by other means. Due to the critical role sUAS play in these ...
HIFuzz: Human Interaction Fuzzing for Small Unmanned Aerial Vehicles
- Theodore Chambers,
- Michael Vierhauser,
- Ankit Agrawal,
- Michael Murphy,
- Jason Matthew Brauer,
- Salil Purandare,
- Myra B Cohen,
- Jane Cleland-Huang
CHI '24: Proceedings of the 2024 CHI Conference on Human Factors in Computing SystemsArticle No.: 266, Pages 1–14https://doi.org/10.1145/3613904.3642958Small Unmanned Aerial Systems (sUAS) must meet rigorous safety standards when deployed in high-stress emergency response scenarios; however many reported accidents have involved humans in the loop. In this paper, we, therefore, present the HiFuzz ...
- research-articleJune 2024
ADAM: Adaptive Monitoring of Runtime Anomalies in Small Uncrewed Aerial Systems
SEAMS '24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing SystemsPages 44–55https://doi.org/10.1145/3643915.3644092Small Uncrewed Aerial Systems (sUAS), commonly referred to as drones, have become ubiquitous in many domains. Examples range from drones taking part in search-and-rescue operations to drones being used for delivering medical supplies or packages. As sUAS ...
- research-articleAugust 2024
Self-Adaptation of Loosely Coupled Systems across a System of Small Uncrewed Aerial Systems
SESoS '24: Proceedings of the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software EcosystemsPages 37–44https://doi.org/10.1145/3643655.3643882The use of small autonomous Uncrewed Aerial Systems (sUAS) for Emergency Response requires rapid deployments into shared operational environments. We refer to these as "Pop-up Drone Zones" (PuDZ), representing a System of Systems (SoS), in which ...
- proceedingJune 2024
CAIN '24: Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI
The goal of the CAIN Conference Series is to bring together researchers and practitioners in software engineering, data science, and artificial intelligence (AI) as part of a growing community that is targeting the challenges of Software Engineering for ...
-
- research-articleJune 2024
Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
- Usman Gohar,
- Michael C. Hunter,
- Agnieszka Marczak-Czajka,
- Robyn R. Lutz,
- Myra B. Cohen,
- Jane Cleland-Huang
ICSE-SEIS'24: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in SocietyPages 177–188https://doi.org/10.1145/3639475.3640103Small Unmanned Aircraft Systems (sUAS) have gained widespread adoption across a diverse range of applications. This has introduced operational complexities within shared airspaces and an increase in reported incidents, raising safety concerns. In ...
- research-articleFebruary 2024
Human–machine Teaming with Small Unmanned Aerial Systems in a MAPE-K Environment
- Jane Cleland-Huang,
- Theodore Chambers,
- Sebastian Zudaire,
- Muhammed Tawfiq Chowdhury,
- Ankit Agrawal,
- Michael Vierhauser
ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 19, Issue 1Article No.: 3, Pages 1–35https://doi.org/10.1145/3618001The Human Machine Teaming (HMT) paradigm focuses on supporting partnerships between humans and autonomous machines. HMT describes requirements for transparency, augmented cognition, and coordination that enable far richer partnerships than those found in ...
- research-articleSeptember 2023
GRuM — A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles
Journal of Systems and Software (JSSO), Volume 203, Issue Chttps://doi.org/10.1016/j.jss.2023.111733AbstractRuntime monitoring is critical for ensuring safe operation and for enabling self-adaptive behavior of Cyber-Physical Systems (CPS). Monitors are established by identifying runtime properties of interest, creating probes to instrument ...
Highlights- A framework combining model-driven techniques and runtime monitoring.
- Automated ...
- research-articleAugust 2023
ProCon: An automated process-centric quality constraints checking framework
- Christoph Mayr-Dorn,
- Michael Vierhauser,
- Stefan Bichler,
- Felix Keplinger,
- Jane Cleland-Huang,
- Alexander Egyed,
- Thomas Mehofer
Journal of Systems and Software (JSSO), Volume 202, Issue Chttps://doi.org/10.1016/j.jss.2023.111727AbstractWhen dealing with safety–critical systems, various regulations, standards, and guidelines stipulate stringent requirements for certification and traceability of artifacts, but typically lack details with regards to the corresponding software ...
Highlights- Engineers invest time and effort to ensure they follow all quality assurance steps.
- We propose to automatically check QA constraints depending on process progress.
- In industry temporary process deviations occur but are fixed late.
- research-articleMarch 2023
Detecting Anomalies in Small Unmanned Aerial Systems via Graphical Normalizing Flows
IEEE Intelligent Systems (IEEECS-INTELLI-NEW), Volume 38, Issue 2Pages 46–54https://doi.org/10.1109/MIS.2023.3252810With the increasing deployment of small unmanned aerial systems (sUASs) on various tasks, it becomes crucial to analyze and detect anomalies from their flight logs. To support research in this area, we curate Drone Log Anomaly (DLA), the first real-world ...
- research-articleMarch 2023
Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems
- Md Nafee Al Islam,
- Muhammed Tawfiq Chowdhury,
- Ankit Agrawal,
- Michael Murphy,
- Raj Mehta,
- Daria Kudriavtseva,
- Jane Cleland-Huang,
- Michael Vierhauser,
- Marsha Chechik
Journal of Systems and Software (JSSO), Volume 197, Issue Chttps://doi.org/10.1016/j.jss.2022.111543AbstractIn emergency response scenarios, autonomous small Unmanned Aerial Systems (sUAS) must be configured and deployed quickly and safely to perform mission-specific tasks. In this paper, we present Drone Response, a Software Product Line ...
- research-articleJanuary 2023
Hierarchically Organized Computer Vision in Support of Multi-Faceted Search for Missing Persons
2023 IEEE 17th International Conference on Automatic Face and Gesture Recognition (FG)Pages 1–7https://doi.org/10.1109/FG57933.2023.10042698Missing person searches are typically initiated with a description of a person that includes their age, race, clothing, and gender, possibly supported by a photo. Unmanned Aerial Systems (sUAS) imbued with Computer Vision (CV) capabilities, can be ...
- research-articleJanuary 2023
AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems
Journal of Systems and Software (JSSO), Volume 195, Issue Chttps://doi.org/10.1016/j.jss.2022.111507AbstractCyber–Physical Systems (CPS) are increasingly used in safety–critical scenarios where ensuring their correct behavior at runtime becomes a crucial task. Therefore, the behavior of the CPS needs to be monitored at runtime so that ...
Highlights- A domain-specific language (DSL) for specifying monitoring adaptation rules.
- ...
- short-paperJanuary 2023
SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software EngineeringArticle No.: 165, Pages 1–4https://doi.org/10.1145/3551349.3559535Many organizations seek to increase their agility in order to deliver more timely and competitive products. However, in safety-critical systems such as medical devices, autonomous vehicles, or factory floor robots, the release of new features has the ...
- posterOctober 2022
Flexible model-driven runtime monitoring support for cyber-physical systems
ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion ProceedingsPages 350–351https://doi.org/10.1145/3510454.3528647Providing adequate runtime monitoring is critical for ensuring safe operation and for enabling self-adaptive behavior of Cyber-Physical Systems. This requires identifying runtime properties of interest, creating Probes to instrument the system, and ...
- research-articleJuly 2022
Generating and visualizing trace link explanations
ICSE '22: Proceedings of the 44th International Conference on Software EngineeringPages 1033–1044https://doi.org/10.1145/3510003.3510129Recent breakthroughs in deep-learning (DL) approaches have resulted in the dynamic generation of trace links that are far more accurate than was previously possible. However, DL-generated links lack clear explanations, and therefore non-experts in the ...
- research-articleAugust 2022
Extending MAPE-K to support human-machine teaming
SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing SystemsPages 120–131https://doi.org/10.1145/3524844.3528054The MAPE-K feedback loop has been established as the primary reference model for self-adaptive and autonomous systems in domains such as autonomous driving, robotics, and Cyber-Physical Systems. At the same time, the Human Machine Teaming (HMT) paradigm ...
- research-articleFebruary 2023
Towards flexible runtime monitoring support for ROS-based applications
RoSE '22: Proceedings of the 4th International Workshop on Robotics Software EngineeringPages 43–46https://doi.org/10.1145/3526071.3527515Robotic systems are becoming common in different domains and for various purposes, such as unmanned aerial vehicles performing search and rescue operations, or robots operating in manufacturing plants. Such systems are characterized by close ...
- research-articleJanuary 2022
Information retrieval versus deep learning approaches for generating traceability links in bilingual projects
Empirical Software Engineering (KLU-EMSE), Volume 27, Issue 1https://doi.org/10.1007/s10664-021-10050-0AbstractSoftware traceability links are established between diverse artifacts of the software development process in order to support tasks such as compliance analysis, safety assurance, and requirements validation. However, practice has shown that it is ...
Hazard analysis for human-on-the-loop interactions in sUAS systems
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringPages 8–19https://doi.org/10.1145/3468264.3468534With the rise of new AI technologies, autonomous systems are moving towards a paradigm in which increasing levels of responsibility are shifted from the human to the system, creating a transition from human-in-the-loop systems to human-on-the-loop (HoTL)...