Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “HARDNESS”

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 1,459 records · Page 81

Comparison of a Probabilistic TID Hardness Assurance Method to Military Standards

The rapid evolution of electronics has heralded countless benefits to humanity, enabling increases in computing power while decreasing costs. However, the constantly changing semiconductor device landscape proves to be an immense challenge for the reliability community, especially for those concerned with radiation effects on microelectronics. Changes in device manufacturing, from device structure to processing steps, may and often do change the way the device responds to radiation. While radiation hardened parts are not as much of a reliability concern, they also lag behind commercial off-the-shelf, or COTS, parts in terms of computing capabilities, some by over a decade. Many missions may have no choice but to utilize COTS. As such, these missions need to ensure their parts are reliable in the face of total ionizing dose (TID). However, part and testing facility costs limit the amount of testing possible.

Chloe Champagne↗

Runtime Verification of Hard Realtime Systems With Copilot: A Tutorial

This presentation is a tutorial on RV using Copilot, a runtime verification framework for real-time embedded systems. Copilot monitors are written in a compositional, stream-based language with support for a variety of Temporal Logics (TL), which results in robust, high-level specifications that are easier to understand than their traditional counterparts. The framework translates monitor specifications into C code with static memory requirements, which can be compiled to run on embedded hardware.

runtime monitoring↗