Software Engineering Commons^™

Myoelectric Transradial Prosthesis Motor Control With Temporal Convolutional Neural Network Signal Processing, Carolyn Ascha Richardson, Katherine Clark, Francis Genco, Hope Lea, Tobiah Rosser

Discovery Day - Daytona Beach

Transradial (below-the-elbow) amputees account for more than half of all upper limb amputations. Myoelectric prosthetic arms, which use electromyography (EMG) sensors on the surface of the forearm to convert electrical signals from residual limb muscles and mimic hand movement, are popular options for these amputees. However, these prostheses are limited in residual muscle detection and movement accuracy. The objective of this project is to affordably manufacture an externally-powered transradial prosthesis prototype through EMG time-versus-voltage readings collected with six Delsys Trigno Avanti and eight Thalmic MYO EMG sensor channels placed along the extensor digitorum, extensor carpi radialis, extensor carpi ulnaris, flexor …

From Code To Cube: Interactive Fluid Simulation With Real Time Motion Control, Dominic Ziccardi, Carter Groezinger

Discovery Day - Daytona Beach

This research project explores the use of FluidX3D, an open-source lattice Boltzmann method (LBM) solver, to simulate fluid behavior within a three-dimensional cube container. The system supports both standard water models and rheoscopic fluid visualization, allowing detailed observation of complex flow dynamics in real time. The simulation accurately represents fluid motion, gravity-driven behavior, and rotational response within a bounded cubic domain. The longterm objective is to extend this digital simulation into a physical installation consisting of six synchronized square displays arranged to form a cube. This configuration will create a volumetric illusion of fluid occupying a tangible, handheld structure. An …

Generalized Cloud-Based Compressible Aerodynamics Calculator And Simulation Web App, Massimo Mansueto, Liam Griesacker, Andres Torres-Figueroa

Discovery Day - Daytona Beach

The Generalized Cloud-Based Compressible Aerodynamics Calculator and Simulation Web App focuses on the development of a tool to support the analysis, visualization, and teaching of compressible aerodynamics. In the case of most undergraduate aerospace engineering courses, students rely on static equations, charts, and manual calculations, which can make it difficult to conceptualize complex flow phenomena such as shock waves, expansion fans, and nozzle flow. The purpose of this project is to create an accessible platform that integrates a compressible flow calculator, nozzle sizing tool, and interactive simulations into a single educational resource. The application is implemented using modern web development …

A Hybrid Llm-Srgm Framework For Ai-Enabled Reliability Assessment In Safety-Critical Software Systems, Caleb Stone, Shrenik Jadhav

Discovery Day - Daytona Beach

Ensuring the reliability of software intensive and safety critical systems is a persistent challenge across aerospace, defense, transportation, and other mis- sion focused domains. Traditional software relia- bility growth models (SRGM) provide useful quanti- tative insight into defect discovery trends, but they rely mostly only on numerical failure data and do not use the rich contextual information contained in test logs, anomaly reports, and engineering notes. This paper presents a hybrid framework that com- bines semantic features extracted by a large lan- guage model (LLM) with a non-homogeneous Pois- son process (NHPP) based software reliability growth model. The LLM analyzes …

Improving Urban Search And Rescue Team Coordination Through Adaptive Context Awareness, Daniel Reyes Duran

Doctoral Dissertations and Master's Theses

Modern multi-agent Urban Search and Rescue (USAR) operations heavily rely on mobile geospatial Common Operating Pictures (COPs) to maintain team coordination and Situational Awareness (SA). However, the proliferation of high-frequency sensor telemetry at the tactical edge has introduced a data saturation paradox challenge: while information theoretically drives informed decision-making, unmanaged data surges induce increased operator cognitive overload and alert fatigue on mobile End-User Devices (EUDs), while downstream data-broadcasting models inherently strain edge processing and viewport environments.

To resolve these constraints, this dissertation presents a context-aware Value of Information (VoI) data-management framework integrated directly with a custom, event-driven Android Team Awareness …

Robust Real-Time Uav Target Tracking With Onboard Vision-Based Yaw Control, Rylan Malarchick, Jose Castelblanco, Enrique Amaya, Carmen Dimario, Graysen Brinkman, Chirag Kumar, Kiwon Yoon, Sajid Berhane

Beyond: Undergraduate Research Journal

Autonomous tracking of agile unmanned aerial vehicles (UAVs) presents significant challenges for real-time perception and control systems. This work presents AIRHOUND (Autonomous Intelligent Rotorcraft for Hostile Object Unified Navigation and Detection), a UAV platform implementing vision-based yaw tracking through a modular ROS2 software architecture. The system employs YOLOv8 object detection optimized with NVIDIA TensorRT for embedded deployment on an NVIDIA Jetson Orin companion computer. Detected targets are processed through a geometric tracking module that converts pixel coordinates to angular yaw errors using pinhole camera intrinsics, with a proportional controller generating rate-limited yaw commands. These commands are streamed to a PX4 …

Emulating Camera Parameters For A Digital Twin Lunar Terrain Simulation, Samuil Nikolov

Student Research Symposium (SRS)

Digital twin simulations play an integral role in the design, validation and implementation of a plethora of systems in any industry - including aerospace. EagleCam 2 presents a great technical challenge, where we need to evaluate how our systems will do data acquisition best - image capturing in particular. In order to assist with the design and validation of our systems, a digital twin that emulates the Lunar environment as we expect it to be during the lifecycle of the mission is a crucial component. Such digital twin system allows us to simulate all the parameters that are considered variable …

A Study Of Preconditions And Postconditions As Design Constraints For Llm Code Generation, Luke Newcomb

Doctoral Dissertations and Master's Theses

Large Language Models (LLMs) have significantly advanced automated code generation, but current methods predominantly rely on natural language descriptions. This approach encounters challenges when handling complex, class-level software generation tasks due to inherent ambiguity and under-specification. Few studies have investigated how more formal software engineering constraints, such as explicit preconditions and postconditions, influence class-level generation tasks. This work addresses this gap through a structured evaluation of six state-of-the-art LLMs generating software implementations from systematically designed class-level specifications. Results demonstrate that incorporating explicit design constraints significantly boosts initial generation accuracy (measured via the pass@k metric), particularly in Python but also in …

Ai And Prompt Engineering For Library Discovery Services, James Day

Publications

We have seen the rise of generative artificial intelligence in the form of Large Language Models (LLMs) to provide answers to users’ queries. Services such as ChatGPT, Copilot, and Gemini have quickly become accepted and adopted in the research process. Now library vendors are adding artificial intelligence (AI) to their discovery services to allow for natural language queries to produce generative results. However, the AI model used for discovery services differs from normal LLMs in a significant way that has several positive benefits, but it affects how prompts are written. Library discovery services use a model called Retrieval- Augmented Generation …

Applying Software Engineering Black-Box Methods For Testing Machine Learning Models, Timothy Elvira

Doctoral Dissertations and Master's Theses

This dissertation proposes researching an approach to incorporate and align Software black-box testing methods into Machine Learning (ML) applications, specifically in the context of computer vision models. Typically, testing methods within Software Engineering (SE) encompass a range of test types that assess levels of a software system, such as Unit, Integration, Functional, and System testing [1]. The testing spectrum offers two perspectives on the system: black-box, where the system’s code is hidden, and white-box, where the system's code is exposed for testing. Software Quality pairs testing with requirements, in a many-to-one relationship, to ensure proper validation of the software system. …

The Role Of Feedback Within Scrum For Engineering Department Operations, Massood Towhidnejad, Omar Ochoa, James J. Pembridge, Radu Babiceanu

Posters

The Scrum framework is built on the principles of inspection and adaptation. Feedback drives the inspection process, and the team adapts based on that feedback to optimize its performance and outcomes. Within engineering departments, Scrum requires departments to examine how and when feedback is obtained to ensure that the department is remaining agile. This poster illustrates the role of feedback within two Scrum teams, one focused on student success and the other focused on faculty rewards and incentives. The two cases emphasize the need for continuous introspection at team and department levels.

Defining Safe Training Datasets For Machine Learning Models Using Ontologies, Lynn C. Vonder Haar

Doctoral Dissertations and Master's Theses

Machine Learning (ML) models have been gaining popularity in recent years in a wide variety of domains, including safety-critical domains. While ML models have shown high accuracy in their predictions, they are still considered black boxes, meaning that developers and users do not know how the models make their decisions. While this is simply a nuisance in some domains, in safetycritical domains, this makes ML models difficult to trust. To fully utilize ML models in safetycritical domains, there needs to be a method to improve trust in their safety and accuracy without human experts checking each decision. This research proposes …

Rewards And Challenges In Adopting Agility In An Academic Department, Massood Towhidnejad, Omar Ochoa, James J. Pembridge, Radu Babiceanu, Carlos Castro

Posters

Introducing agility into department processes may be challenging especially when interfacing with a non-agile environment. While frequent meetings can add more time constraints, the team environment emphasizes more communication, transparency, and accountability in completing the products leading to a higher sense of ownership of the completed work.

Supporting The Discovery, Reuse, And Validation Of Cybersecurity Requirements At The Early Stages Of The Software Development Lifecycle, Jessica Antonia Steinmann

Doctoral Dissertations and Master's Theses

The focus of this research is to develop an approach that enhances the elicitation and specification of reusable cybersecurity requirements. Cybersecurity has become a global concern as cyber-attacks are projected to cost damages totaling more than $10.5 trillion dollars by 2025. Cybersecurity requirements are more challenging to elicit than other requirements because they are nonfunctional requirements that requires cybersecurity expertise and knowledge of the proposed system. The goal of this research is to generate cybersecurity requirements based on knowledge acquired from requirements elicitation and analysis activities, to provide cybersecurity specifications without requiring the specialized knowledge of a cybersecurity expert, and …

Adopting Agility In Academia Through Pilot Projects, Omar Ochoa, Massood Towhidnejad

Papers

This innovate practice work in progress paper presents our initial findings about the application of agile process in the day to day operation of an academic department. The benefits of agile methods, which are processes that are lightweight and people-oriented, are well-known. Agile methods provide the ability to respond faster to the changing needs of stakeholders, improved product quality, team over individual goals, and better transparency. Therefore, one would expect adaption of the agile process within academic environment would be welcomed, however, unique issues exist within faculty that impact adoption; faculty have different goals that change through their tenure, and …

Windows Kernel Hijacking Is Not An Option: Memoryranger Comes To The Rescue Again, Igor Korkin

Journal of Digital Forensics, Security and Law

The security of a computer system depends on OS kernel protection. It is crucial to reveal and inspect new attacks on kernel data, as these are used by hackers. The purpose of this paper is to continue research into attacks on dynamically allocated data in the Windows OS kernel and demonstrate the capacity of MemoryRanger to prevent these attacks. This paper discusses three new hijacking attacks on kernel data, which are based on bypassing OS security mechanisms. The first two hijacking attacks result in illegal access to files open in exclusive access. The third attack escalates process privileges, without applying …

Deepfuzzer: Accelerated Deep Greybox Fuzzing, Jie Liang, Yu Jiang, Mingzhe Wang, Houbing Song, Kim-Kwang Raymond Choo

Publications

Fuzzing is one of the most effective vulnerability detection techniques, widely used in practice. However, the performance of fuzzers may be limited by their inability to pass complicated checks, inappropriate mutation frequency, arbitrary mutation strategy, or the variability of the environment. In this paper, we present DeepFuzzer, an enhanced greybox fuzzer with qualified seed generation, balanced seed selection, and hybrid seed mutation. First, we use symbolic execution in a lightweight approach to generate qualified initial seeds which then guide the fuzzer through complex checks. Second, we apply a statistical seed selection algorithm to balance the mutation frequency between different seeds. …

Blocks' Network: Redesign Architecture Based On Blockchain Technology, Moataz Hanif

Doctoral Dissertations and Master's Theses

The Internet is a global network that uses communication protocols. It is considered the most important system reached by humanity, which no one can abandon. However, this technology has become a weapon that threatens the privacy of users, especially in the client-server model, where data is stored and managed privately. Additionally, users have no power over their data that store in a private server, which means users’ data may interrupt by government or might be sold via service provider for-profit purposes. Furthermore, blockchain is a technology that we can rely on to solve issues related to client-server model if appropriately …

Artificial Intelligence In The Aviation Manufacturing Process For Complex Assemblies And Components, Elena Vishnevskaya, Ian Mcandrew, Michael Johnson

Publications

Aviation manufacturing is at the leading edge of technology with materials, designs and processes where automation is not only integral; but complex systems require more advanced systems to produce and verify processes. Critical Infrastructure theory is now used to protect systems and equipment from external software infections and cybersecurity techniques add an extra layer of protection. In this research, it is argued that Artificial Intelligence can reduce these risks and allow complex processes to be less exposed to the threat of external problems, internal errors or mistakes in operation.

Russia Today, Cyberterrorists Tomorrow: U.S. Failure To Prepare Democracy For Cyberspace, Jonathan F. Lancelot

Journal of Digital Forensics, Security and Law

This paper is designed to expose vulnerabilities within the US electoral system, the use of cyberspace to exploit weaknesses within the information assurance strategies of the democratic and republican party organizations, and deficiencies within the social media communications and voting machine exploits. A brief history of discriminatory practices in voting rights and voting access will be set as the foundation for the argument that the system is vulnerable in the cyber age, and the need for reform at the local, state and national levels will be emphasized. The possibility of a foreign nation-state influencing the outcome of an election by …

Automated Man-In-The-Middle Attack Against Wi‑Fi Networks, Martin Vondráček, Jan Pluskal, Ondřej Ryšavý

Journal of Digital Forensics, Security and Law

Currently used wireless communication technologies suffer security weaknesses that can be exploited allowing to eavesdrop or to spoof network communication. In this paper, we present a practical tool that can automate the attack on wireless security. The developed package called wifimitm provides functionality for the automation of MitM attacks in the wireless environment. The package combines several existing tools and attack strategies to bypass the wireless security mechanisms, such as WEP, WPA, and WPS. The presented tool can be integrated into a solution for automated penetration testing. Also, a popularization of the fact that such attacks can be easily automated …

Space Operations In The Suborbital Space Flight Simulator And Mission Control Center: Lessons Learned With Xcor Lynx, Pedro Llanos, Christopher Nguyen, David Williams, Kim O. Chambers, Erik Seedhouse, Robert Davidson

Journal of Aviation/Aerospace Education & Research

This study was conducted to better understand the performance of the XCOR Lynx vehicle. Because the Lynx development was halted, the best knowledge of vehicle dynamics can only be found through simulator flights. X-Plane 10 was chosen for its robust applications and accurate portrayal of dynamics on a vehicle in flight. The Suborbital Space Flight Simulator (SSFS) and Mission Control Center (MCC) were brought to the Applied Aviation Sciences department in fall 2015 at Embry-Riddle Aeronautical University, Daytona Beach campus. This academic and research tool is a department asset capable of providing multiple fields of data about suborbital simulated flights. …

Software Safety And Security Risk Mitigation In Cyber-Physical Systems, Miklos Biro, Atif Mashkoor, Johannes Sametinger, Remzi Seker

Publications

Cyber-physical systems (CPSs) offer many opportunities but pose many challenges--especially regarding functional safety, cybersecurity, and their interplay, as well as the systems' impact on society. Consequently, new methods and techniques are needed for CPS development and assurance. This article [and issue] aims to address some of these challenges.

Development And Use Of A Tablet-Based Resuscitation Sheet For Improving Outcomes During Intensive Patient Care, Wasif Bokahri, Vimla L. Patel, Ashish Amresh, Ayan Sen

Publications

Data documentation from resuscitation events in hospitals, termed "code blue" events, utilizes a paper form, which is institution-specific. Problems with data capture and transcription exists, due to the challenges of dynamic documentation of patient, event and outcome variables as the code blue event unfolds. We hypothesize that an electronic version of code blue real-time data capture would lead to improved resuscitation data transcription, and enable clinicians to address deficiencies in quality of care. To this effect, we present the design of a tablet-based application and its use by 20 nurses at the Mayo Clinic hospital. The results showed that the …

Developing A Bilingual, Computer-Tailored, Hpv Vaccination Promotion Intervention Targeting Latino Parents, Angela Chia-Chen Chen, Ashish Amresh

Publications

In this paper we present an innovative, computer-tailored application aimed at increasing Latino parents' intention to vaccinate their adolescent children against Human Papilloma Virus (HPV). HPV infection is the most common sexually transmitted infection in the United States. Latinas have the highest age-adjusted incidence rate for HPV-associated cervical cancer compared with their counterparts in other racial/ethnic groups. HPV vaccines offer hope against HPV-associated diseases. Because parental consent is required for children under age 18 to receive t h e HPV vaccination in most U. S. states, parents' attitudes and intention to have their children vaccinated are keys for promoting HPV …

Simulation Scoring Systems, Raynald Bedard

Publications

Simulation scoring systems including software, methods of use, and related methods that provide for simulating and scoring of aircraft flight and other missions, particularly where such simulating is purely electronic and particularly where such scoring is objective and particularly where such scoring has a plurality of gradations, as to distinguish a plurality of skill levels.

Internet Enabled Remote Driving Of A Combat Hybrid Electric Power System For Duty Cycle Measurement, Jarrett Goodell, Marc Compere, Wilford Smith, Mark Brudnak, Mike Pozolo, Et Al.

Publications

This paper describes a human-in-the-loop motion-based simulator interfaced to hybrid-electric power system hardware, both of which were used to measure the duty cycle of a combat vehicle in a virtual simulation environment. The project discussed is a greatly expanded follow-on to the experiment published in [1,7]. This paper is written in the context of [1,7] and therefore highlights the enhancements. The most prominent of these enhancements is the integration (in real-time) of the Power & Energy System Integration Lab (P&E SIL) with a motion base simulator by means of a “long haul” connection over the Internet (a geographical distance of …

Soldier/Hardware-In-The-Loop Simulation-Based Combat Vehicle Duty Cycle Measurement: Duty Cycle Experiment 2, Mark Brudnak, Mike Pozolo, Victor Paul, Syed Mohammad, Marc Compere, Et Al.

Publications

This paper describes a human-in-the-loop motion-based simulator interfaced to hybrid-electric power system hardware both of which were used to measure the duty cycle of a combat vehicle in a virtual simulation environment. The project discussed is a greatly expanded follow-on to the experiment published in [1]. This paper is written in the context of [1] and therefore highlights the enhancements. The most prominent of these enhancements is the integration (in real-time) of the Power & Electric System Integration Lab (P&E SIL) with a motion base simulator by means of a “long haul” connection over the Internet (a geographical distance of …

Robust Control Techniques Enabling Duty Cycle Experiments Utilizing A 6-Dof Crewstation Motion Base, A Full Scale Combat Hybrid Electric Power System, And Long Distance Internet Communications, Marc Compere, Jarrett Goodell, Miguel Simon, Wilford Smith, Mark Brudnak

Publications

The RemoteLink effort supports the U.S. Army's objective for developing and fielding next generation hybrid-electric combat vehicles. It is a distributed soldierin- the-Ioop and hardware-in-the-Ioop environment with a 6-DOF motion base for operator realism, a full-scale combat hybrid electric power system, and an operational context provided by OneSAF. The driver/gunner crewstations rest on one of two 6-DOF motion bases at the U.S. Army TARDEC Simulation Laboratory (TSL). The hybrid power system is located 2,450 miles away at the TARDEC Power and Energy System Integration Laboratory (P&E SIL). The primary technical challenge in the RemoteLink is to operate both laboratories together …

Integration Of The Shel Model With The Flight Operational Quality Assurance (Foqa) Program, James T. Schultz, Scott Forn, Marian C. Schultz

Publications

The SHEL Model has been used to explore relationships between liveware, environmental, hardware and software factors. This study attempts to integrate Flight Operational Quality Assurance (FOQA) program data with the SHEL model. Aircraft record data that can be used to monitor the human interface within the entire system, plus identify faults and potential failures within the system before a major accident or incident occurs. These data have existed for over four decades, and FOQA offers a way to both analyze and act upon them. The relationships between the SHEL model and FOQA data can help to ensure our nation's skies …