Development Software Handles High-Integrity Space Applications

NASA needed help accurately measuring Earth-reflected sunlight.

Maximizing Safety in Advanced Battery Systems

Fuse devices enable circuit safety in high-power applications, such as motion control and alternative energy generation, in addition to electric vehicles.

Spotting Objects Amid Clutter

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...

Novel Techniques Trick Object Detection Systems

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...

Using Formal Methods for Engineering Embedded Systems

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...

Reliability Testing of High-Power Devices

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...

Designing CompactPCI Systems with Serial Interfaces

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...

Dr. Gerard Holzmann, Senior Research Scientist at the Laboratory for Reliable Software, NASA’s Jet Propulsion Laboratory

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

Adopting Aerospace Development and Verification Standards for Software

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

Tool Suite Enables Software Testing for Orion Crew Exploration Vehicle

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...

High-Integrity Java Targets Safety-Critical Systems

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

MILS: An Architecture for Security, Safety, and Real Time

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...