Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 30 of 48

Full-Text Articles in Entire DC Network

Comparing 1d, 2d, And 3d Hydraulic Models In Urban Flooding Applications, Taylor Kesler May 2023

Comparing 1d, 2d, And 3d Hydraulic Models In Urban Flooding Applications, Taylor Kesler

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Floods have been a hazard to people since people first started building near rivers. Predicting floods can be very beneficial to save lives and property. Computers have made it possible to solve fluid dynamics equations in a fast and efficient manner. Computer programs have been designed to solve these equations and create digital models of floods.

This study compares three different methods of computer modeling and explores their advantages and disadvantages. One-dimensional models solve fluid equations by setting up a series of cross sections. Two-dimensional models use a grid-like mesh to solve fluid equations from one cell to the next. …


Advances In Process Understanding And Methods To Support River Temperature Modeling In Large Regulated Systems, Bryce A. Mihalevich May 2022

Advances In Process Understanding And Methods To Support River Temperature Modeling In Large Regulated Systems, Bryce A. Mihalevich

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

River temperatures play a key role in determining the suitability of habitat for aquatic ecosystems. While thermal regimes are influenced by many factors, flow and temperature patterns in large rivers are often shaped by water development. As such, water management associated with large reservoirs and diversions have also altered aquatic ecosystems. As climate change introduces new climate and hydrologic patterns, the decisions water managers make to address changes in runoff may further impact aquatic ecosystems. This calls for robust modeling tools that can predict river and reservoir temperature responses to water management decisions over large regions. However, highly variable topography …


A Review Of Harmful Algal Bloom Prediction Models For Lakes And Reservoirs, Jade Snyder Echard May 2021

A Review Of Harmful Algal Bloom Prediction Models For Lakes And Reservoirs, Jade Snyder Echard

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

Anthropogenic activity has led to eutrophication in water bodies across the world. This eutrophication promotes blooms, cyanobacteria being among the most notorious bloom organisms. Cyanobacterial blooms (more commonly referred to as harmful algal blooms (HABs)) can devastate an ecosystem. Cyanobacteria are resilient microorganisms that have adapted to survive under a variety of conditions, often outcompeting other phytoplankton. Some species of cyanobacteria produce toxins that ward off predators. These toxins can negatively affect the health of the aquatic life, but also can impact animals and humans that drink or come in contact with these noxious waters. Although cyanotoxin’s effects on humans …


Analysis Of The Effects Of Dam Release Properties And Ambient Groundwater Flow On Surface Water‐Groundwater Exchange Over A 100‐Km‐Long Reach, Stephen B. Ferencz, M. Bayani Cardenas, Bethany T. Neilson Sep 2019

Analysis Of The Effects Of Dam Release Properties And Ambient Groundwater Flow On Surface Water‐Groundwater Exchange Over A 100‐Km‐Long Reach, Stephen B. Ferencz, M. Bayani Cardenas, Bethany T. Neilson

Civil and Environmental Engineering Faculty Publications

Hydroelectric dams often create highly dynamic downstream flows that promote surface water‐groundwater (SW‐GW) interactions including bank storage, the temporary storage of river water in the riverbank. Previous research on SW‐GW exchanges in dammed rivers has primarily been at single study sites, which has limited the understanding of how these exchanges evolve as dam releases travel downstream. This study evaluates how dam releases affect SW‐GW exchange continuously over a 100‐km distance. This is accomplished by longitudinally routing water releases through a synthetic river and modeling bed and bank fluid and solute exchange across transverse transects spaced along the reach. Peak and …


Evaluation And Modeling Of The Effect Of Tool Edge Radius On Machined Surface Roughness In Turning Uns A92024-T351 Aluminum Alloy, Ning Fang, P. Srinivasa Pai Mar 2019

Evaluation And Modeling Of The Effect Of Tool Edge Radius On Machined Surface Roughness In Turning Uns A92024-T351 Aluminum Alloy, Ning Fang, P. Srinivasa Pai

Engineering Education Faculty Publications

Tool edge radius plays a significant role in affecting the surface integrity of machined products. The vast majority of existing research, however, takes no account of the effect of tool edge radius in the evaluation and modeling of machined surface roughness, an essential indicator of surface integrity. The present study fills this important research gap and has performed a total of 45 turning experiments on Unified Numbering System (UNS) A92024-T351 aluminum alloy with carefully selected cutting tools with three levels of tool edge radii. This article describes the experimental setup and measurements of tool edge radius and machined surface roughness. …


A Note On Kriging And Gaussian Processes, Mohammad Shekaramiz, Todd K. Moon, Jacob H. Gunther Jan 2019

A Note On Kriging And Gaussian Processes, Mohammad Shekaramiz, Todd K. Moon, Jacob H. Gunther

Electrical and Computer Engineering Faculty Publications

An introduction to gaussian processes and kriging.


Details On Gaussian Process Regression (Gpr) And Semi-Gpr Modeling, Mohammad Shekaramiz, Todd K. Moon, Jacob H. Gunther Jan 2019

Details On Gaussian Process Regression (Gpr) And Semi-Gpr Modeling, Mohammad Shekaramiz, Todd K. Moon, Jacob H. Gunther

Electrical and Computer Engineering Faculty Publications

This report tends to provide details on how to perform predictions using Gaussian process regression (GPR) modeling. In this case, we represent proofs for prediction using non-parametric GPR modeling for noise-free predictions as well as prediction using semi-parametric GPR for noisy observations.


Ncer Assistance Agreement Annual Progress Report For Grant #83582401 - Assessment Of Stormwater Harvesting Via Manage Aquifer Recharge (Mar) To Develop New Water Supplies In The Arid West: The Salt Lake Valley Example, Ryan Dupont, Joan E. Mclean, Richard C. Peralta, Sarah E. Null, Douglas B. Jackson-Smith Nov 2018

Ncer Assistance Agreement Annual Progress Report For Grant #83582401 - Assessment Of Stormwater Harvesting Via Manage Aquifer Recharge (Mar) To Develop New Water Supplies In The Arid West: The Salt Lake Valley Example, Ryan Dupont, Joan E. Mclean, Richard C. Peralta, Sarah E. Null, Douglas B. Jackson-Smith

Civil and Environmental Engineering Faculty Publications

The goals of the original proposed project remain the same, that is, to test the hypothesis that Managed Aquifer Recharge (MAR) for stormwater harvesting is a technically feasible, socially and environmentally acceptable, economically viable, and legally feasible option for developing new water supplies for arid Western urban ecosystems experiencing increasing population, and climate change pressures on existing water resources. The project is being carried out via three distinct but integrated components that include: 1) Monitoring of existing distributed MAR harvesting schemes involving a growing number of demonstration Green Infrastructure (GI) test sites; 2) Integrated stormwater/vadose zone/groundwater/ ecosystem services modeling; and …


Modeling The Effect Of Gi Implementation In The Red Butte Creek Area: The Case For "Not All Gi Is Created Equal", Rosa A. Fernández Valasquez, Ryan Dupont Jan 2018

Modeling The Effect Of Gi Implementation In The Red Butte Creek Area: The Case For "Not All Gi Is Created Equal", Rosa A. Fernández Valasquez, Ryan Dupont

Civil and Environmental Engineering Faculty Publications

  • Background on the Project
  • Review of Work Evaluating Organic Matter Impacts from Stormwater Discharges to Jordan Using High Frequency Data
  • Modeling Approach for Stormwater Runoff and Pollutant Loading in Intermountain Region
  • Model Flow & Pollutant Load Calibration
  • GI Implementation Results
  • Implications


Stream Temperature Monitoring And Modeling To Inform Restoration: A Study Of Thermal Variability In The Western Us, Jessica R. Wood Dec 2017

Stream Temperature Monitoring And Modeling To Inform Restoration: A Study Of Thermal Variability In The Western Us, Jessica R. Wood

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Water temperature is an important variable for aquatic ecosystems. Salmonid population numbers and distribution are heavily influenced by stream temperature, and there is growing concern about the health of salmonid populations with anticipated climate change. Managers are looking to efficiently evaluate options to maintain stream temperatures needed by salmonids. This study evaluated and compared stream temperature restoration alternatives in two streams with warm temperatures using stream temperature monitoring and modeling.

The first study identified pockets of cold water that are important to native fish species in Nevada’s Walker River. Comparison of monitoring results with existing basin-scale model outputs identified two …


Ncer Assistance Agreement Annual Progress Report For Grant #83582401 - Assessment Of Stormwater Harvesting Via Manage Aquifer Recharge (Mar) To Develop New Water Supplies In The Arid West: The Salt Lake Valley Example, Ryan Dupont, Joan E. Mclean, Richard C. Peralta, Sarah E. Null, Douglas B. Jackson-Smith Nov 2017

Ncer Assistance Agreement Annual Progress Report For Grant #83582401 - Assessment Of Stormwater Harvesting Via Manage Aquifer Recharge (Mar) To Develop New Water Supplies In The Arid West: The Salt Lake Valley Example, Ryan Dupont, Joan E. Mclean, Richard C. Peralta, Sarah E. Null, Douglas B. Jackson-Smith

Civil and Environmental Engineering Faculty Publications

The aims of the original proposed project remain the same, that is, to test the hypothesis that Managed Aquifer Recharge (MAR) for stormwater harvesting is a technically feasible, socially and environmentally acceptable, economically viable, and legally feasible option for developing new water supplies for arid Western urban ecosystems experiencing increasing population, and climate change pressures on existing water resources. The project is being carried out via three distinct but integrated components that include: 1) Monitoring of existing distributed MAR harvesting schemes involving a growing number of demonstration Green Infrastructure (GI) test sites; 2) Integrated stormwater/vadose zone/groundwater/ ecosystem services modeling; and …


Miniaturizing America's Tallest Dam | College Of Engineering, Usu College Of Engineering Oct 2017

Miniaturizing America's Tallest Dam | College Of Engineering, Usu College Of Engineering

College of Engineering News

When heavy winter rains filled Northern California’s Lake Oroville earlier this year, the torrential outflow tore apart the dam’s spillway, sending public safety officials and engineers scrambling for answers.


Miniaturizing America's Tallest Dam | College Of Engineering, Usu College Of Engineering Jun 2017

Miniaturizing America's Tallest Dam | College Of Engineering, Usu College Of Engineering

College of Engineering News

Engineers at Utah State University’s Utah Water Research Laboratory have constructed a 1:50 scale model of the Oroville Dam spillway.


National Media Turn To Usu Engineering Professor For Developing Oroville Spillway Situation | College Of Engineering, Usu College Of Engineering Feb 2017

National Media Turn To Usu Engineering Professor For Developing Oroville Spillway Situation | College Of Engineering, Usu College Of Engineering

College of Engineering News

Reporters around the world are covering the developing story in Northern California where massive water flows are threatening the integrity of the Oroville Dam’s main and auxiliary spillways.


Ncer Assistance Agreement Annual Progress Report For Grant #83582401 - Assessment Of Stormwater Harvesting Via Manage Aquifer Recharge (Mar) To Develop New Water Supplies In The Arid West: The Salt Lake Valley Example, Ryan Dupont, Joan E. Mclean, Richard C. Peralta, Sarah E. Null, Douglas B. Jackson-Smith Nov 2016

Ncer Assistance Agreement Annual Progress Report For Grant #83582401 - Assessment Of Stormwater Harvesting Via Manage Aquifer Recharge (Mar) To Develop New Water Supplies In The Arid West: The Salt Lake Valley Example, Ryan Dupont, Joan E. Mclean, Richard C. Peralta, Sarah E. Null, Douglas B. Jackson-Smith

Civil and Environmental Engineering Faculty Publications

The aims of the original proposed project remain the same, that is, to test the hypothesis that Managed Aquifer Recharge (MAR) for stormwater harvesting is a technically feasible, socially and environmentally acceptable, economically viable, and permittable option for developing new water supplies for arid Western urban ecosystems experiencing increasing population, and climate change pressures on existing water resources. The project is being carried out via three distinct but integrated components that include: 1) Monitoring of existing distributed Managed Aquifer Recharge (MAR) harvesting schemes involving a growing number of demonstration Green Infrastructure (GI) test sites; 2) Integrated stormwater/vadose zone/groundwater/ ecosystem services …


An Overview Of Current Applications, Challenges, And Future Trends In Distributed Process-Based Models In Hydrology, Simone Fatichi, Enrique R. Vivoni, Fred L. Ogden, Valeriy Y. Ivanov, Benjamin Mirus, David Gochis, Charles W. Downer, Matteo Camporese, Jason H. Davison, Brian Ebel, Norm Jones, Jongho Kim, Giuseppe Mascaro, Richard Niswonger, Pedro Restrepo, Riccardo Rigon, Chaopeng Shen, Mauro Sulis, David G. Tarboton Mar 2016

An Overview Of Current Applications, Challenges, And Future Trends In Distributed Process-Based Models In Hydrology, Simone Fatichi, Enrique R. Vivoni, Fred L. Ogden, Valeriy Y. Ivanov, Benjamin Mirus, David Gochis, Charles W. Downer, Matteo Camporese, Jason H. Davison, Brian Ebel, Norm Jones, Jongho Kim, Giuseppe Mascaro, Richard Niswonger, Pedro Restrepo, Riccardo Rigon, Chaopeng Shen, Mauro Sulis, David G. Tarboton

Civil and Environmental Engineering Faculty Publications

Process-based hydrological models have a long history dating back to the 1960s. Criticized by some as over-parameterized, overly complex, and difficult to use, a more nuanced view is that these tools are necessary in many situations and, in a certain class of problems, they are the most appropriate type of hydrological model. This is especially the case in situations where knowledge of flow paths or distributed state variables and/or preservation of physical constraints is important. Examples of this include: spatiotemporal variability of soil moisture, groundwater flow and runoff generation, sediment and contaminant transport, or when feedbacks among various Earth’s system …


Interdisciplinary Modeling For Water-Related Issues Graduate Course, Laurel Saito, Alexander Fernald, Timothy Link Jul 2015

Interdisciplinary Modeling For Water-Related Issues Graduate Course, Laurel Saito, Alexander Fernald, Timothy Link

All ECSTATIC Materials

The science and management of aquatic ecosystems is inherently interdisciplinary, with issues associated with hydrology, atmospheric science, water quality, geochemistry, sociology, economics, environmental science, and ecology. Addressing water resources issues in any one discipline invariably involves effects that concern other disciplines, and attempts to address one issue often have consequences that exacerbate existing issues or concerns, or create new ones (Jørgensen et al. 1992; Lackey et al. 1975; Straskraba 1994) due to the strongly interactive nature of key processes (Christensen et al. 1996). Thus, research and management of aquatic ecosystems must be interdisciplinary to be most effective, but such truly …


Modeling Transportation Planning Applications Via Path Flow Estimator, Seungkyu Ryu May 2015

Modeling Transportation Planning Applications Via Path Flow Estimator, Seungkyu Ryu

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The current practice for modeling in the field of transportation planning is through a four-step travel demand forecasting procedure (i.e., trip generation, trip distribution, mode choice, and traffic assignment); the practice is commonly referred to as the four-step model. Although such a modeling approach has become standard practice, it is deficient in several areas. Specifically, (1) it lacks capability for modeling non-motorized modes such as bicycles, (2) it is inadequate for modeling multiple vehicle types sharing the same roadway space, and (3) it is difficult to apply to small communities with limited resources. This dissertation recognizes these deficiencies and responds …


Microscopic Modeling Of Crowds Involving Individuals With Physical Disability: Exploring Social Force Interaction, Daniel S. Stuart May 2015

Microscopic Modeling Of Crowds Involving Individuals With Physical Disability: Exploring Social Force Interaction, Daniel S. Stuart

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Nearly one quarter of a population is affected by a disability which influences crowd evacuation. Emergencies such as stampede or crowd crush can occur during evacuations. While research has investigated crowd evacuation, little has been researched involving individuals with disabilities. There is a need to understand and model individuals with disabilities in their interaction and how it impacts crowd movement. This dissertation creates a video tracking system to study heterogeneous crowds with individuals with disabilities towards conducting crowd experiments. A large-scale crowd experiment is conducted and the results are analyzed through a developed analysis graphical user interface. Preliminary results of …


Systems Modeling And Economic Analysis Of Photovoltaic (Pv) Powered Water Pumping Brackish Water Desalination For Agriculture, Michael A. Jones May 2015

Systems Modeling And Economic Analysis Of Photovoltaic (Pv) Powered Water Pumping Brackish Water Desalination For Agriculture, Michael A. Jones

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The objective of this study was to determine the economic viability of solar powered water pumping and desalination systems for agriculture. Growing global demand for agricultural production has put increased pressure on limited freshwater resources in various locations around the word. Many areas have low quality groundwater resources that have not been utilized for agriculture due to limited availability to electricity, high operational costs of diesel generators and the economics associated with water pumping and processing. Reverse osmosis is a desalination technology that removes salts and other minerals from low-quality water, making it fit for drinking or irrigation. Reduced costs …


Using Qual2kw As A Decision Support Tool: Considerations For Data Collection, Calibration, And Numeric Nutrient Criteria, Andrew J. Hobson May 2013

Using Qual2kw As A Decision Support Tool: Considerations For Data Collection, Calibration, And Numeric Nutrient Criteria, Andrew J. Hobson

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Surface water quality in the United States is managed by the U.S. Environmental Protection Agency (EPA) under direction of the Clean Water Act. Designated uses are required for all state waters. Numeric or narrative water quality standards provide measures to determine if each waterbody meets the intended use. Narrative standards typically include vague terminology that is difficult to interpret and this has led EPA to encourage states to develop numeric criteria for nutrients in all its streams, rivers, and lakes. These numeric nutrient criteria are intended to stave off the harmful effects of over-growth of aquatic plants which can result …


Testing Above- And Below-Canopy Representations Of Turbulent Fluxes In An Energy Balance Snowmelt Model, Vinod Mahat, David G. Tarboton, Noah P. Molotch Jan 2013

Testing Above- And Below-Canopy Representations Of Turbulent Fluxes In An Energy Balance Snowmelt Model, Vinod Mahat, David G. Tarboton, Noah P. Molotch

T.W. "Doc" Daniel Experimental Forest

Turbulent fluxes of sensible and latent heat are important processes in the surface energy balance that drives snowmelt. Modeling these fluxes in a forested environment is complicated because of the canopy effects on the wind field. This paper presents and tests a turbulent flux model developed to represent these processes in an energy balance snowmelt model. The goal is to model these processes using the readily available inputs of canopy height and leaf area index in a way that minimizes the number of parameters, state variables, and assumptions about hard to quantify processes. Selected periods from 9 years of eddy-covariance …


Testing Above- And Below-Canopy Representations Of Turbulent Fluxes In An Energy Balance Snowmelt Model, Vinod Mahat, David G. Tarboton, Noah P. Molotch Jan 2013

Testing Above- And Below-Canopy Representations Of Turbulent Fluxes In An Energy Balance Snowmelt Model, Vinod Mahat, David G. Tarboton, Noah P. Molotch

Civil and Environmental Engineering Faculty Publications

Turbulent fluxes of sensible and latent heat are important processes in the surface energy balance that drives snowmelt. Modeling these fluxes in a forested environment is complicated because of the canopy effects on the wind field. This paper presents and tests a turbulent flux model developed to represent these processes in an energy balance snowmelt model. The goal is to model these processes using the readily available inputs of canopy height and leaf area index in a way that minimizes the number of parameters, state variables, and assumptions about hard to quantify processes. Selected periods from 9 years of eddy-covariance …


Advancing Cyberinfrastructure To Support High Resolution Water Resources Modeling (Invited), David G. Tarboton, F. L. Ogden, N. Jones, Jeffery S. Horsburgh Dec 2012

Advancing Cyberinfrastructure To Support High Resolution Water Resources Modeling (Invited), David G. Tarboton, F. L. Ogden, N. Jones, Jeffery S. Horsburgh

Civil and Environmental Engineering Faculty Publications

Addressing the problem of how the availability and quality of water resources at large scales are sensitive to climate variability, watershed alterations and management activities requires computational resources that combine data from multiple sources and support integrated modeling. Related cyberinfrastructure challenges include: 1) how can we best structure data and computer models to address this scientific problem through the use of high-performance and data-intensive computing, and 2) how can we do this in a way that discipline scientists without extensive computational and algorithmic knowledge and experience can take advantage of advances in cyberinfrastructure? This presentation will describe a new system …


Hydraulic Modeling: Pipe Network Analysis, Trevor T. Datwyler Dec 2012

Hydraulic Modeling: Pipe Network Analysis, Trevor T. Datwyler

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

Water modeling is becoming an increasingly important part of hydraulic engineering. One application of hydraulic modeling is pipe network analysis. Using programmed algorithms to repeatedly solve continuity and energy equations, computer software can greatly reduce the amount of time required to analyze a closed conduit system. Such hydraulic models can become a valuable tool for cities to maintain their water systems and plan for future growth. The Utah Division of Drinking Water regulations require cities to maintain hydraulic models of their culinary water systems, and before additional connections can be made to the water system, a licensed professional engineer must …


Analysis Of Irrigation Decision Behavior And Forecasting Future Irrigation Decisions, Sanyogita Andriyas Dec 2012

Analysis Of Irrigation Decision Behavior And Forecasting Future Irrigation Decisions, Sanyogita Andriyas

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Farmers play a pivotal role in food production. To be economically successful, farmers must make many decisions during the course of a growing season about the allocation of inputs to production. For farmers in arid regions, one of these decisions on any given day is whether to irrigate. This research is the first of its kind to investigate the probable reasons that lead a farmer to make irrigation decisions and use those reasons/factors to forecast future irrigation decisions. This study can help water managers and canal operators to estimate short-term irrigation demands, thereby gaining information that might be useful to …


Planning And Management Modeling For Treated Wastewater Usage, Leila Ahmadi May 2012

Planning And Management Modeling For Treated Wastewater Usage, Leila Ahmadi

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Population growth, urbanization and water scarcity in many parts of the world has resulted in transfer of agricultural water to municipal and industrial users on one hand and excessive production of wastewater on the other hand. Due to importance of agriculture in food production and in the economy of many regions around the world,
water resources management and considering new water resources (such as treated wastewater) is critical.This study focused on analyzing the effects of population and
urban growth on water demand for various users and municipal wastewater quantity changes; as well as investigating the feasibility of wastewater reuse projects. …


Canopy Radiation Transmission For An Energy Balance Snowmelt Model, Vinod Mahat, David G. Tarboton Jan 2012

Canopy Radiation Transmission For An Energy Balance Snowmelt Model, Vinod Mahat, David G. Tarboton

Civil and Environmental Engineering Faculty Publications

To better estimate the radiation energy within and beneath the forest canopy for energy balance snowmelt models, a two stream radiation transfer model that explicitly accounts for canopy scattering, absorption and reflection was developed. Upward and downward radiation streams represented by two differential equations using a single path assumption were solved analytically to approximate the radiation transmitted through or reflected by the canopy with multiple scattering. This approximation results in an exponential decrease of radiation intensity with canopy depth, similar to Beer's law for a deep canopy. The solution for a finite canopy is obtained by applying recursive superposition of …


Turbulence Modeling Of Strongly Heated Internal Pipe Flow Using Large Eddy Simulation, Michal Hradisky May 2011

Turbulence Modeling Of Strongly Heated Internal Pipe Flow Using Large Eddy Simulation, Michal Hradisky

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The main objective of this study was to evaluate the performance of three Large Eddy Simulation (LES) subgrid scale (SGS) models on a strongly heated, low Mach number upward gas flow in a vertical pipe with forced convection. The models chosen for this study were the Smagorinsky-Lilly Dynamic model (SLD), the Kinetic Energy Transport model (KET), and the Wall-Adaptive Local-Eddy viscosity model (WALE). The used heating rate was sufficiently large to cause properties to vary significantly in both the radial and streamwise directions. All simulations were carried out using the commercial software FLUENT.

The effect of inlet turbulence generation techniques …


An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover May 2010

An Exploration Of Formal Methods And Tools Applied To A Small Satellite Software System, Russell J. Grover

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and enables them to check different aspects of it to ensure that there is no undesired or unexpected behavior and that it does what it was designed to do. This thesis takes two existing tools that were created to aid in the designing of spacecraft systems and creates a layer to connect them together and allow them to be used jointly. The first tool is a library of formal descriptions used to specify spacecraft behavior in …