Power Source Global Summit: Vision to Reality Interactive Demo
Explore the source record for details and available documents.
Digital Engineering↗
SEARCH · Engineering Papers
Results for “Model-based”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Design, Formalization, and Verification of Decision Making for Intelligent Systems
The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.
Model-based development↗
Design, Formalization, and Verification of Decision Making for Intelligent Systems
The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.
Model-based development↗
Power Source Global Summit: Vision to Reality Interactive Demo
Explore the source record for details and available documents.
Digital Engineering↗
Overview of the Subscale RAVEN Flight Controls and Modeling Testbed
The Research Aircraft for eVTOL Enabling TechNologies (RAVEN) Subscale Wind-Tunnel and Flight Test (SWFT) model is a subscale aircraft built for flight dynamics and controls research demonstrated in wind-tunnel and flight-test experiments. The intent of this paper is to provide a summary of past, current, and future efforts being pursued by the RAVEN-SWFT project. Initially, vehicle development guidelines were crafted by a multidisciplinary team to ensure that the RAVEN-SWFT vehicle was well suited for research in multiple areas, including aero-propulsive modeling, flight controls, and autonomy, among others. The vehicle has been used to obtain extensive wind-tunnel data, enabling aero-propulsive model development across the transition flight envelope and validation of computational tools. The vehicle will be used to conduct flight testing in order to evaluate modeling strategies and flight control logic. The RAVEN-SWFT model also serves as a risk reduction activity for a conceptual, full-scale vehicle in the 1000-lb class. The next steps in the project are to successfully demonstrate free flight in hover, transition, forward flight, and the reverse thereof, utilizing custom control laws integrated onto the RAVEN-SWFT avionics hardware. The project intends to publicize all of the geometry, data, and methods in future reports.
eVTOL↗
Modeling NASA’s Procedural Requirement Processes - Implications for Digital Future
The National Aeronautics and Space Administration (NASA) has an ongoing Digital Transformation effort and to leverage and showcase the power of Digital Transformation, an effort is underway to develop an integrated, datacentric, model representing NASA’s key process requirements. The task was divided into three phases: As Is modeling, Analysis, and To Be Planning. As part of this effort, a team has completed the first Phase I of the modeling task and is nearing completion of the second phase. This effort will capture the key elements as requirements, responsibilities, allocations, roles, products, and associated lifecycle elements. The scope of modeling included NASA’s NPR 7120.5 (Project and Program Management), NPR 7123.1 (Systems Engineering) and NPRs 8705.2 (Risk classification for Robotic Missions) and 8705.4 (Human-Rating Requirements for Space Missions). This paper will summarize the approach, scope, parsing patterns applied, metamodel, and associated workflows for the As-Is modeling. It will also summarize the results and insights gleaned during that phase, including the review process. These insights have informed the analysis and will be discussed. The analysis modeling phase will also be summarized including how the stakeholders were engaged, how the common elements were handled and dispositioned, and will also describe some of the plans for the future of NASA NPDs and NPRs.
Systems Engineering↗
Defining A Modelling Language to Support Functional Hazard Assessment
Functional Hazard Assessment (FHA) is a key early-stage engineering process that supports the incorporation of safety in design by identifying the high-level functional hazards the system may encounter. While many FHA-like methodologies have been proposed in the design engineering literature, many of these methodologies have had difficulty becoming accepted industry practice. Industry standards, on the other hand, either provide too little recommendation on how to represent the function of the system to perform FHA, or rely on existing design artefacts which insufficiently support the goals of the process. This paper presents some of the problems with current modeling languages (both proposed and used) for FHA which limit the scope, expressiveness, flexibility, and precision of the analysis. It then outlines desirable principles an FHA-supporting analysis language should embody, and introduces the Functional Reasoning Design Language (FRDL), a formal modeling language for describing the functional elements of a system and their interactions, which aims to satisfy these principles. To demonstrate the use of this language, the modeling and hazard analysis of a disaster response drone is presented. While this case study is limited in scope, it highlights how FRDL can represent system function while reducing the ambiguity present in typical FHA-supporting functional modeling languages
Hazard Assessment↗
Modeling NASA’s Procedural Requirement Processes – Implications for a Digital Future
The National Aeronautics and Space Administration (NASA) has an ongoing Digital Transformation effort and to leverage and showcase the power of Digital Transformation, an effort is underway to develop an integrated, datacentric, model representing NASA’s key process requirements. The task was divided into three phases: As Is modeling, Analysis, and To Be Planning. As part of this effort, a team has completed the first Phase I of the modeling task and is nearing completion of the second phase. This effort will capture the key elements as requirements, responsibilities, allocations, roles, products, and associated lifecycle elements. The scope of modeling included NASA’s NPR 7120.5 (Project and Program Management), NPR 7123.1 (Systems Engineering) and NPRs 8705.2 (Risk classification for Robotic Missions) and 8705.4 (Human-Rating Requirements for Space Missions).
NPR↗
Defining A Modelling Language to Support Functional Hazard Assessment
Functional Hazard Assessment (FHA) is a key early-stage engineering process that supports the incorporation of safety in design by identifying the high-level functional hazards the system may encounter. While many FHA-like methodologies have been proposed in the design engineering literature, many of these methodologies have had difficulty becoming accepted industry practice. Industry standards, on the other hand, either provide little recommendation on how to represent the function of the system to perform FHA, or rely on readily-available models with little justification in design theory. This paper presents some of the problems with current modelling languages used for FHA which limit the scope, expressiveness, flexibility, and precision of the analysis, as well as desirable principles an FHA-supporting analysis language should embody. It further introduces the Functional Reasoning Design Language (FRDL), a formal modelling language for describing the functional behaviors of a system and their interactions which satisfies these principles. To demonstrate the use of this language, the modelling and hazard analysis of a disaster response drone is presented.
safety analysis↗
SysML Success Tree for DAVINCI In-Situ Campaign Requirements Validation and Redundancy Assessment
The DAVINCI mission will scientifically study the Venusian atmosphere to better understand the current state of the planet and its evolutionary history. This will be accomplished by deploying a descent probe to collect in-situ atmospheric dynamic and spectroscopic measurements, characterize ambient temperatures and pressures during descent, and surface imaging below the cloud layer. To better characterize the DAVINCI In-Situ Campaign, a success tree, developed in the SysML tool, MagicDraw, was created to define the events necessary to have a successful in-situ campaign, for each phase of the campaign. This success tree was also used to validate DAVINCI Program, Mission, and Element level requirements. In addition, because DAVINCI is a single-string mission, the success tree was also used to identify areas of redundancy and resiliency throughout the campaign. The initial redundancy assessment recommended further on-orbit evaluation of the probe’s communication system, as well as further evaluation of the ability of the mass spectrometer turbo-molecular pump to handle the expected decent environment. During the integration and test phase of the overall mission, the success tree will be used to guide the mission validation process, helping to ensure that the in-situ mission elements can perform in accordance with the DAVINCI In-Situ Concept of Operations document.
model-based↗
Using Global Market Demand Analysis to Guide Conceptual Design of Low-Boom Supersonic Transports
This paper uses a mathematical framework to identify the interdependencies of key variables in supersonic transportation demand analysis. The existing quantitative models for supersonic transportation demand analysis are compared for consistency in modeling the interdependencies. Unlike other quantitative models, the Low-Boom Systems Analysis Model (LBSAM2) can propagate important design characteristics of a supersonic transport aircraft concept to the level of economic metrics (such as the number of future supersonic passengers), with a consistent coupling of the market demand analysis, detailed mission analysis, and low-boom constraint. This allows the use of the detailed demand analysis results from LBSAM2 to maximize the economic viability of a supersonic transport aircraft by finding favorable system-level trades between weight, range, fuel burn, and assumed sonic boom ground noise limit for supersonic overland flight. In this paper, LBSAM2 is integrated with conceptual low-boom design to improve the economic viability of low-boom supersonic transport aircraft. A brief discussion of uncertainties in the LBSAM2 analysis is also included, focusing on their impacts on the relative economic advantages between low-boom concepts.
Consistent coupling of disciplinary analyses↗
Using Global Market Demand Analysis to Guide Conceptual Design of Low-Boom Supersonic Transports
This paper uses a mathematical framework to identify the interdependencies of key variables in supersonic transportation demand analysis. The existing quantitative models for supersonic transportation demand analysis are compared for consistency in modeling the interdependencies. Unlike other quantitative models, the Low-Boom Systems Analysis Model (LBSAM2) can propagate important design characteristics of a supersonic transport aircraft concept to the level of economic metrics (such as the number of future supersonic passengers), with a consistent coupling of the market demand analysis, detailed mission analysis, and low-boom constraint. This allows the use of the detailed demand analysis results from LBSAM2 to maximize the economic viability of a supersonic transport aircraft by finding favorable system-level trades between weight, range, fuel burn, and assumed sonic boom ground noise limit for supersonic overland flight. In this paper, LBSAM2 is integrated with conceptual low-boom design to improve the economic viability of low-boom supersonic transport aircraft. A brief discussion of uncertainties in the LBSAM2 analysis is also included, focusing on their impacts on the relative economic advantages between low-boom concepts.
Equilibrium state of supersonic market↗
SysML Success Tree for DAVINCI In-Situ Campaign Requirements Validation and Redundancy Assessment
The DAVINCI mission will scientifically study the Venusian atmosphere to better understand the current state of the planet and its evolutionary history. This will be accomplished by deploying a descent probe to collect in-situ atmospheric dynamic and spectroscopic measurements, characterize ambient temperatures and pressures during descent, and surface imaging below the cloud layer. To better characterize the DAVINCI In-Situ Campaign, a success tree, developed in the SysML tool, MagicDraw, was created to define the events necessary to have a successful in-situ campaign, for each phase of the campaign. This success tree was also used to validate DAVINCI Program, Mission, and Element level requirements. In addition, because DAVINCI is a single-string mission, the success tree was also used to identify areas of redundancy and resiliency throughout the campaign. The initial redundancy assessment recommended further on-orbit evaluation of the probe’s communication system, as well as further evaluation of the ability of the mass spectrometer turbo-molecular pump to handle the expected decent environment. During the integration and test phase of the overall mission, the success tree will be used to guide the mission validation process, helping to ensure that the in-situ mission elements can perform in accordance with the DAVINCI In-Situ Concept of Operations document.
ConOps↗
SysML Success Tree for DAVINCI In-Situ Campaign Requirements Validation and Redundancy Assessment
The DAVINCI mission will scientifically study the Venusian atmosphere to better understand the current state of the planet and its evolutionary history. This will be accomplished by deploying a descent probe to collect in-situ atmospheric dynamic and spectroscopic measurements, characterize ambient temperatures and pressures during descent, and surface imaging below the cloud layer. To better characterize the DAVINCI In-Situ Campaign, a success tree, developed in the SysML tool, MagicDraw, was created to define the events necessary to have a successful in-situ campaign, for each phase of the campaign. This success tree was also used to validate DAVINCI Program, Mission, and Element level requirements. In addition, because DAVINCI is a single-string mission, the success tree was also used to identify areas of redundancy and resiliency throughout the campaign. The initial redundancy assessment recommended further on-orbit evaluation of the probe’s communication system, as well as further evaluation of the ability of the mass spectrometer turbo-molecular pump to handle the expected decent environment. During the integration and test phase of the overall mission, the success tree will be used to guide the mission validation process, helping to ensure that the in-situ mission elements can perform in accordance with the DAVINCI In-Situ Concept of Operations document.
model-based↗
Investigation and Demonstration of Reliability Target Allocation to Support Reliability and Integrity Management Program
Nuclear energy is the most reliable and environmentally sustainable energy source available today. In the United States (U.S.), nuclear-generated power accounts for approximately 20% of total electricity and over 55% of clean energy. New advanced reactors have enormous potential to help further decarbonize the energy market, enhance grid resiliency, create new jobs, and build a stronger economy. More than 50 new reactors are being developed in the U.S., and the federal government realizes an urgent need to deploy nuclear technologies to meet the country’s energy, environmental, and national security goals. As such, the U.S. Department of Energy (DOE) launched multiple programs to support advanced reactor deployment. The research described in this report explores implementation strategies for the Reliability and Integrity Management Program that directly supports the DOE goal to enable the near-term deployment of the advanced reactor technologies. The project is conducted under the Regulatory Development Program for advanced reactors sponsored by the DOE.
22 GENERAL STUDIES OF NUCLEAR REACTORS↗
Digital Safety Analysis for Small Modular Nuclear Reactors (SMRs)
A Documented Safety Analysis (DSA) is a Department of Energy (DOE) construct that defines the extent to which a nuclear facility can be operated safely. It includes a description of hazards, safe boundaries, and hazard controls. The authors assert that a Digital Safety Analysis (DgSA) is far superior to a legacy DSA for several reasons: • The underling database is structured such that it is possible to perform a comprehensive design review and safety analysis by iterating systematically across a hierarchy of linked objects versus a redundant and spotty review by entities of various abilities under unknown resource and schedule constraints. • The analysis of a new design can discover elements that are similar to elements in previous designs. The discovery of similarities is made possible by using the same structure for the underlying database for each new DgSA. The “prior learning” from previous designs is then applied automatically to new designs. • Outputs from the DgSA are from a single source to ensure consistency among various views of the same information. After the DgSA is released, the continued use of a single source implements a configuration management program to ensure consistency between the design basis, the design, the built system, and system procedures. • The development of the DgSA is agile in that any change in a linked object triggers an analysis of impacts on other linked objects and updates of linked objects are made accordingly. After the DgSA is released, the continued maintenance of these links and objects automates the “unreviewed safety question” process.
22 - GENERAL STUDIES OF NUCLEAR REACTORS↗
Digital Safety Analysis for Small Modular Nuclear Reactors (SMRs)
The licensing process for any nuclear installation generally requires the review and approval of numerous documents by a regulatory body. Alternate approaches are needed where similar nuclear installations are planned to be built and operated at multiple sites around the world. Such is the case for the deployment of small modular nuclear reactors (SMRs) under development by multiple enterprises in multiple countries. As a use case for this paper, the authors propose an alternative to the Documented Safety Analysis (DSA) required by the United States Department of Energy (DOE) for the licensing of its nuclear installations. The DSA is a DOE construct that requires the review and approval of numerous documents. It includes an in-depth description of hazards, safe boundaries, and hazard controls.
Microreactors↗
Artificial Intelligence and Digital Engineering as Enablers for System Engineering in the Energy Sector
Systems engineering is of utmost importance for the success of high-cost, high-complexity megaprojects, which are common in the energy sector. However, the traditional document-centric systems engineering approach tends to be labor-intensive and time-consuming, which has inhibited its full adoption despite proven metrics on its return on investment. However, with the modern approach of digital engineering and technological advancements in artificial intelligence (AI) technologies, the barriers to systems engineering adoption can finally be broken. This paper goes through the systems engineering V-model for lifecycle management and assesses the current state of implementation of digital engineering (especially, mod-el-based systems engineering, digital twins, and digital threads) and AI for each step. It was observed that a combination of digital engineering and AI is being used across different industries to accelerate and optimize systems engineering processes such as concept development, requirements management, architecture definition, system development, verification and validation, operations, and maintenance. Specifically in the energy sector, AI-augmented digital engineering has shown initial potential in accelerated development and deployment, performance optimization, anomaly detection, predictive maintenance, and configuration management. However, challenges remain in integrating DE and AI into an end-to-end system lifecycle management ecosystem safely and reliably. Addressing these challenges and continuously developing impactful tools will enable fast, efficient, and high-frequency deployment of power generation capabilities to keep up with the world’s energy demands and build energy security.
42 - ENGINEERING↗