Keyword: Safety critical systems

Application Briefs: Materials
NASA needed help accurately measuring Earth-reflected sunlight.
Briefs: Automotive
Fuse devices enable circuit safety in high-power applications, such as motion control and alternative energy generation, in addition to electric vehicles.
Briefs: Sensors/Data Acquisition

A new MIT-developed technique enables robots to quickly identify objects hidden in a three-dimensional cloud of data, reminiscent of how some people can make sense of a densely patterned “Magic Eye” image if...

Briefs: Transportation

New adversarial techniques developed by engineers at Southwest Research Institute can make objects “invisible” to image detection systems that use deep-learning algorithms. These techniques...

Briefs: Electronics & Computers
Self-Stabilizing, Distributed, Symmetric, Fault-Tolerant Synchronization

Distributed systems have become an integral part of safety-critical computing applications, necessitating system designs that incorporate complex fault-tolerant resource management functions to provide globally coordinated operations with ultra-reliability. As a result,...

Briefs: Software
PathDroid

Android is the primary software platform for mobile, networked devices such as tablets and smartphones. These devices are increasingly used for safety-critical functions that require verification of correct and robust behavior of applications. Such software written for the Android operating system is hard to test because applications...

Articles: Software

Between 1985 and 1987, a radiation therapy device called the Therac-25 was involved in at least six incidents in which the device delivered massive overdoses of radiation. The patients...

Briefs: Test & Measurement

Before a new high-power semiconductor device can be used for industrial applications, it must be thoroughly tested to determine if it will survive environmental stresses and continue to meet...

Briefs: Information Technology
Core Flight System (cFS) Software Bus Network Application Version 1.0

The Software Bus Network (SBN) is a plug-in component developed for the Core Flight System (cFS) framework that extends the core Flight Executive (cFE) Software Bus (SB) publish/subscribe messaging service across partitions, processes, processors, and networks. This extension...

Briefs: Information Technology
Habitat Demonstration Unit Core Avionics Software

The Habitat Demonstration Unit Core Avionics Software (HDU-CAS) is designed to provide the required functionality for an engineering prototype of a highly autonomous space habitat element, and to provide an opportunity for new software technologies to be tested in an environment that provides...

Articles: Electronics & Computers

With more than a year under its belt since it was officially ratified by PICMG in March of 2011, CompactPCI Serial (PICMG CPCI-S.0) has proven to be a good example of how an industry...

Briefs: Software
Natural Language Interface for Safety Certification of Safety-Critical Software

Model-based design and automated code generation are being used increasingly at NASA. The trend is to move beyond simulation and prototyping to actual flight code, particularly in the guidance, navigation, and control domain. However, there are substantial obstacles...

Who's Who: Software

After a 23 year career at Bell Labs, Dr. Gerard Holzmann joined NASA’s Jet Propulsion Laboratory in 2003 to help...

Articles: Electronics & Computers

An ever-increasing reliance on software control has meant that many companies from non-aerospace business sectors (automotive, nuclear power, MRI scanners, financial...

Application Briefs: Software
LDRA tool suite
LDRA
San Bruno, CA
650-583-8880
www.ldra.com

Aimed at safely transferring astronauts to and from the International Space Station...

Briefs: Information Technology
Advanced Reference Counting Pointers for Better Performance

A computer program implements reference counting pointers (RCPs) that are lock-free, thread-safe, async-safe, and operational on a multiprocessor computer. RCPs are powerful and convenient means of managing heap memory in C++ software. Most prior RCP programs use locks to ensure thread...

INSIDER: Electronics & Computers
Secure Partitioning Safeguards Real-time Performance

High performance multi-core processors are providing opportunities to consolidate multiple applications into a single system. However, embedded applications often have real-time requirements that cannot be put in jeopardy by other software clamoring for the same system resources such as CPU...

Application Briefs: Electronics & Computers

High-integrity software plays critical roles in telecommunications, transportation, defense systems, industrial automation, and power management. Because human lives may be lost and...

Application Briefs: Electronics & Computers

SpeckleCam Electronic Speckle Pattern
Interferometer (ESPI)
4D Technology
Tucson, AZ
520-294-5600
www.4dtechnology.com
Articles: Electronics & Computers

The unrelenting growth and integration of embedded controls, information processing, and communications has created a need for systems that provide robust protection for resources and...

Trending Stories

Application Briefs: Mechanical & Fluid Systems

Machine Condition Monitoring Keeps a Factory Running

NASA Spinoff: Mechanical & Fluid Systems

Nanotechnology Repairs Engine Damage in Cars

Briefs: Mechanical & Fluid Systems

Tool for Inspecting Alignment of Twinaxial Connectors

Articles: Data Acquisition

Multifunctional, Integrated, Photonic Lab-on-a-Chip for Astronaut Health...

Q&A: Green Design & Manufacturing

Q&A: Plastics Could See Second Life as Biodegradable Surfactants

Podcasts: Data Acquisition

Here's an Idea: Sports