Special Coverage

Supercomputer Cooling System Uses Refrigerant to Replace Water
Computer Chips Calculate and Store in an Integrated Unit
Electron-to-Photon Communication for Quantum Computing
Mechanoresponsive Healing Polymers
Variable Permeability Magnetometer Systems and Methods for Aerospace Applicationst
Evaluation Standard for Robotic Research
Small Robot Has Outstanding Vertical Agility
Smart Optical Material Characterization System and Method
Lightweight, Flexible Thermal Protection System for Fire Protection
Home

High-Performance Fault-Tolerant xEmbedded Computing (HPFEC) Benchmark Suite

This work arises out of the Next Generation Space Processor (NGSP) project, a collaborative effort among several NASA centers and the Air Force Research Laboratory. The goal of NGSP is to develop the next generation of radiation-hardened, fault-tolerant, space-worthy computing systems consisting of hardware and system software. To drive and evaluate the design, each of the NGSP collaborators contributed benchmarks. This article describes the benchmarks developed at the Jet Propulsion Laboratory (JPL). Collectively, these benchmarks are called the HighPerformance Fault-Tolerant Embedded Computing (HPFEC) benchmark suite.

Posted in: Briefs, Electronics & Computers, Information Sciences, Computer software and hardware, Embedded software, Quality assurance, Spacecraft

Read More >>

JPF-NAS Extension of Java Pathfinder

Java PathFinder (JPF) version 7 provides basic support for verifying the distributed Java applications. It can receive a distributed Java application as input that is perceived as multiple Java processes. However, JPF does account for communication between processes of the distributed application, and it thus cannot be used to verify any realistic distributed Java application. Applying JPF on distributed applications requires a model of inter-process communication (IPC) and process aware scheduling.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Architecture, Communication protocols, Computer software and hardware

Read More >>

Institutional Budgeting Tool (IBT)

The Jet Propulsion Laboratory's Institutional Budgeting Tool (IBT) was designed and developed to meet the needs of JPL's budget planners, numbering 1,600, who required a robust and state-of-the-art budgeting application. JPL's budgeting process had been constrained by legacy tools that presented usability and performance issues and lacked critical innovative budgeting features. IBT delivered superior user experience, system performance, and modern features necessary for essential laboratory budgeting.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Computer software and hardware, Financial management

Read More >>

Tubes Standards-Compliant C Header Library

Due to limitations imposed by transistor physics as device geometries continue to get finer and finer, the time when each new generation of processors was clocked faster than its predecessors is largely over. Nevertheless, as individual processor cores get smaller, chip manufacturers have turned instead to cramming a large number of cores onto a single die. Consequently, nearly all commercially available CPUs (central processing units), even those used in smartphones, already depend upon a multicore architecture. Unfortunately, the programming languages used for nearly all commercial software projects are really intended for generating code for a single CPU core. Though extensions exist that support multiple cores, it is something that is essentially tacked on, not part of the core language's constructs.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Architecture, Computer software and hardware, Transistors, Terminology

Read More >>

Techniques for Conducting Effective Concept Design and Design-to-Cost Trade Studies

Concept design plays a central role in project success for space missions, as the product of concept design effectively locks in the majority of system lifecycle cost. It involves a concurrent investigation of requirements and multiple mission characteristics such as flight dynamics, design, performance, concept of operations, technology, verification approach, launch and ground interfaces, cost, schedule, and risk.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Life cycle analysis, Cost analysis, Systems engineering

Read More >>

HyDE Model-Based Diagnosis Engine for Stochastic Hybrid Systems

Model-based diagnosis deals with the problem of diagnosing faults in systems using a model of the system for guidance. This problem is complicated by the presence of hybrid dynamics in the system (continuous evolution of the system interspersed with discrete events like commands to change configuration), as well as uncertainties in the form of model approximations and sensor noise. Several model-based technologies have been developed and successfully demonstrated using discrete abstractions of the system as models. These techniques are severely restricted in model expressiveness due to the discrete nature of the models. Moreover, sophisticated model abstraction techniques, as well as algorithms to convert continuous data to discrete form, need to be developed for such an approach to work. Recently, there have been efforts to develop diagnostic engines for hybrid and stochastic systems. However, these techniques have either focused on parametric faults, or use a probabilistic approach to fault identification. Consistency-based approaches that have been successfully demonstrated using discrete models have not been extended to work with stochastic and hybrid models.

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Computer simulation, Failure analysis, Scale models, Diagnostics

Read More >>

Lunar Thin Section Particle Identification and Analysis Algorithm

Particle shape is a very important property in many fields of research, and with many practical, diverse, and commercially important applications including pharmaceuticals, civil engineering, metallurgy, health, and food processing. Many of the methods used to evaluate the shapes of solid particles employ a plane section through the particles. This mode may be termed Plane of Section. Plane of Section abstracts three-dimensional (3D) objects to two dimensions (2D).

Posted in: Briefs, Electronics & Computers, Information Sciences, Software, Mathematical models, Particulate matter (PM), Identification

Read More >>

The U.S. Government does not endorse any commercial product, process, or activity identified on this web site.