Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Execution”

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.

At least 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Determining diagnostic coverage for memory using redundant execution

Memory, used by a computer to store data, is generally prone to faults, including permanent faults (i.e. relating to a lifetime of the memory hardware), and also transient faults (i.e. relating to some external cause) which are otherwise known as soft errors. Since soft errors can change the state of the data in the memory and thus cause errors in applications reading and processing the data, there is a desire to characterize the degree of vulnerability of the memory to soft errors. In particular, once the vulnerability for a particular memory to soft errors has been characterized, cost/reliability trade-offs can be determined, or soft error detection mechanisms (e.g. parity) may be selectively employed for the memory. In some cases, memory faults can be diagnosed by redundant execution and a diagnostic coverage may be determined.

Bramley, Richard Gavin↗
DOE OSTI2023

Disrupting EV Charging Sessions and Gaining Remote Code Execution with DoS, MITM, and Code Injection Exploits using OCPP 1.6

Open Charge Point Protocol (OCPP) 1.6 is widely used in the electric vehicle (EV) charging industry to communicate between Charging System Management Services (CSMSs) and Electric Vehicle Supply Equipment (EVSE). Unlike OCPP 2.0.1, OCPP 1.6 uses unencrypted websocket communications to exchange information between EVSE devices and an onpremise or cloud-based CSMS. In this work, we demonstrate two machine-in-the-middle (MITM) attacks on OCPP sessions to terminate charging sessions and gain root access to the EVSE equipment via remote code execution (RCE). Second, we demonstrate a malicious firmware update with a code injection payload to compromise an EVSE. Lastly, we demonstrate two methods to prevent availability of the EVSE or CSMS. One of these, originally reported by SaiFlow, prevents traffic to legitimate EVSE equipment using a DoS-like attack on CSMSs by repeatedly connecting and authenticating several CPs with the same identities as the legitimate CP. These vulnerabilities were demonstrated with proof-of-concept exploits in a virtualized Cyber Range at Wright State University and/or with a 350 kW Direct Current Fast Charger (DCFC) at Idaho National Laboratory. The team found that OCPP 1.6 could be protected from these attacks by adding secure shell (SSH) tunnels to the protocol, if upgrading to OCPP 2.0.1 was not an option. Index Terms—Electric vehicle charging, cybersecurity, OCPP, cyberattack, cyber-resilience. INSPEC Accession Number: 23981565

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2024

LSAFE: a Lightweight Static Analysis Framework for binary Executables

Static analysis is a widely used technique for analyzing various aspects of programs. However, as programs become more complex, static analysis tools require larger resources, such as CPU time and memory, to perform the same tasks. Moreover, the source code of programs may not always be accessible, requiring static analysis to be performed on the binary executable code directly. To overcome these challenges, we propose a lightweight static analysis framework called LSAFE, which constructs control flow graphs (CFGs) and data dependency graphs (DDGs) of target programs with optimized performance in terms of CPU and memory usage. We evaluated the proposed framework using both Spec benchmark programs and real-world industrial applications, and found that it outperformed Angr, an existing state-of-the-art static analysis tool. Additionally, we demonstrate a case study that utilizes the CFG generated by LSAFE to detect memory leaks.

Qu, Guangzhi↗
DOE OSTI2024

Update on Parallel Process Execution in the Next Generation System Analysis Model

As of the end of 2021, 88,880 metric tons of heavy metal (MTHM) (44,741 MTHM in dry storage; 44,139 MTHM in wet storage) of spent nuclear fuel (SNF) were stored at various reactor sites across the United States [1]. The Office of Storage and Transportation in the Department of Energy is planning for the transportation, storage, and eventual disposal of SNF and high-level radioactive waste (HLW). To aid in this effort and inform decision-makers about the backend of the spent fuel cycle, systems analysis tools capable of analyzing the various options with respect to SNF and HLW management are being used as well as continuously improved to meet the evolving needs of the program. System analysts typically use these tools to vary underlying assumptions (shipping rates, allocation priority, available facilities, start dates, etc.) and study the implications of these changes on site clearance schedules, campaign costs, transportation infrastructure acquisition, etc.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2021

Executive Summary of the American Radium Society Appropriate Use Criteria for Operable Esophageal and Gastroesophageal Junction Adenocarcinoma: Systematic Review and Guidelines

Limited guidance exists regarding the relative effectiveness of treatment options for nonmetastatic, operable patients with adenocarcinoma of the esophagus or gastroesophageal junction (GEJ). In this systematic review, the American Radium Society (ARS) gastrointestinal expert panel convened to develop Appropriate Use Criteria (AUC) evaluating how neoadjuvant and/or adjuvant treatment regimens compared with each other, surgery alone, or definitive chemoradiation in terms of response to therapy, quality of life, and oncologic outcomes.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2021

Executive Summary of the American Radium Society Appropriate Use Criteria for Radiation Treatment of Node-Negative Muscle Invasive Bladder Cancer

Definitive radiation therapy (RT), with or without concurrent chemotherapy, is an alternative to radical cystectomy for patients with localized, muscle-invasive bladder cancer (MIBC) who are either not surgical candidates or prefer organ preservation. We aim to synthesize an evidence-based guideline regarding the appropriate use of RT.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2021

Primary Mediastinal B Cell Lymphoma in the Positron-Emission Tomography Era Executive Summary of the American Radium Society Appropriate Use Criteria

Primary mediastinal B cell lymphoma (PMBCL) is a highly curable subtype of non-Hodgkin lymphoma that is diagnosed predominantly in adolescents and young adults. Consequently, long-term treatment-related morbidity is critical to consider when devising treatment strategies that include different chemoimmunotherapy strategies with or without radiation therapy. Furthermore, adaptive approaches using the end-of-chemotherapy (EOC) positron emission tomography (PET)/computed tomography (CT) scanning may help to determine which patients may benefit from additional therapies. We aimed to develop evidence-based guidelines for treating these patients.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2024

Recommendations to standardize reporting, execution, and interpretation of X-ray Absorption Spectroscopy measurements

In July of 2022, a National Science Foundation (NSF)- and US Department of Energy (DOE)-sponsored workshop was held on the topic of rigor and reproducibility (R&R) in thermal, heterogeneous catalysis. As a result of the workshop, a report has been published entitled "Addressing Rigor and Reproducibility in Thermal, Heterogeneous Catalysis"[1]. This manuscript summarizes one section of the report: "Recommendations for catalyst characterization by X-ray absorption spectroscopy". Here, the section focuses exclusively on X-ray absorption spectroscopy (XAS) and is narrowly focused on recommendations for the collection and interpretation of XAS data for routine experiments. Therefore, one should not expect a detailed guide for each different experiment that one may perform nor are the recommendations designed to be overly prescriptive. However, the report is designed to draw attention to key pitfalls and common problems in the collection, reporting, analysis and interpretation of XAS studies.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Recommendations to standardize reporting, execution and interpretation of STEM/TEM measurements

In July of 2022, a National Science Foundation (NSF)- and US Department of Energy (DOE)-sponsored workshop was held on the topic of rigor and reproducibility (R&R) in thermal, heterogeneous catalysis. A report has been published entitled “Addressing Rigor and Reproducibility in Thermal, Heterogeneous Catalysis” as a result of the workshop [1]. This manuscript attempts to summarize one section of the report entitled Recommendations for catalyst characterization by transmission electron microscopy.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Targeted materials discovery using Bayesian algorithm execution

Rapid discovery and synthesis of future materials requires intelligent data acquisition strategies to navigate large design spaces. A popular strategy is Bayesian optimization, which aims to find candidates that maximize material properties; however, materials design often requires finding specific subsets of the design space which meet more complex or specialized goals. We present a framework that captures experimental goals through straightforward user-defined filtering algorithms. These algorithms are automatically translated into one of three intelligent, parameter-free, sequential data collection strategies (SwitchBAX, InfoBAX, and MeanBAX), bypassing the time-consuming and difficult process of task-specific acquisition function design. Our framework is tailored for typical discrete search spaces involving multiple measured physical properties and short time-horizon decision making. We demonstrate this approach on datasets for TiO 2 nanoparticle synthesis and magnetic materials characterization, and show that our methods are significantly more efficient than state-of-the-art approaches. Overall, our framework provides a practical solution for navigating the complexities of materials design, and helps lay groundwork for the accelerated development of advanced materials.

42 ENGINEERING↗
DOE OSTI2021

Enabling Pulse-level Programming, Compilation, and Execution in XACC

Noisy gate-model quantum processing units (QPUs) are currently available from vendors over the cloud, and digital quantum programming approaches exist to run low-depth circuits on physical hardware. These digital representations are ultimately lowered to pulse-level instructions by vendor quantum control systems to affect unitary evolution representative of the submitted digital circuit. Vendors are beginning to open this pulse-level control system to the public via specified interfaces. Robust programming methodologies, software frameworks, and backend simulation technologies for this analog model of quantum computation will prove critical to advancing pulse-level control research and development. Prototypical use cases for this include error mitigation, optimal pulse control, and physics-inspired pulse construction. Here we present an extension to the XACC quantum-classical software framework that enables pulse-level programming for superconducting, gate-model quantum computers, and a novel, general, and extensible pulse-level simulation backend for XACC that scales on classical compute clusters via MPI. Our work enables custom backend Hamiltonian definitions and gate-level compilation to available pulses with a focus on performance and scalability. We end with a demonstration of this capability, and show how to use XACC for pertinent pulse-level programming tasks.

97 MATHEMATICS AND COMPUTING↗