Special Coverage

Soft Robot “Walks” on Any Terrain
Defense Advanced Research Projects Agency
Using Microwaves to Produce High-Quality Graphene
Transducer-Actuator Systems for On-Machine Measurements and Automatic Part Alignment
Wide-Area Surveillance Using HD LWIR Uncooled Sensors
Heavy Lift Wing in Ground (WIG) Cargo Flying Boat
Technique Provides Security for Multi-Robot Systems
Bringing New Vision to Laser Material Processing Systems
NASA Tests Lasers’ Ability to Transmit Data from Space
Converting from Hydraulic Cylinders to Electric Actuators
Automating Optimization and Design Tasks Across Disciplines


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 are inherently concurrent, applications are usually being driven by asynchronous user input and network events, the application model is not amenable to unit testing, and the availability of sources for many commercial applications is missing. Safety-critical applications require verification by means of systematic exploration of all possible software behaviors. Conventional testing does not guarantee sufficient coverage, especially for concurrent applications.

Posted in: Briefs, Software, Computer software / hardware, Computer software and hardware, Cyber security, Internet of things, Safety critical systems, Computer software / hardware, Computer software and hardware, Cyber security, Internet of things, Safety critical systems, Test procedures

Enterprise Business Information System (EBIS) Data Warehouse Quality Inspector

A typical data warehouse may contain thousands of tables. Validating the data quality of all data warehouse content is an unmanageable and unmaintainable task if handled in an ad-hoc fashion. This software seeks to ensure that a data warehouse accurately reflects the contents of the business systems that feed it, in turn guaranteeing accuracy of business reports. Data anomalies can occur due to breaks in processes, unexpected changes to business rules, upgrades, unanticipated data relationships, or inadequate testing. Inspecting the data after each batch load for anomalous conditions allows IT to respond quickly to such issues, and to deliver a higher-quality product to end users.

Posted in: Briefs, Software, Computer software / hardware, Computer software and hardware, Computer software / hardware, Computer software and hardware, Data management, Logistics

Network Geolocation Technology

This system is difficult to spoof, and does not generate false positives.

A network geolocation technology (NGT) can be used to determine the physical location of a networked Internet user, as well as accurately determine if an Internet user is in fact in the metropolitan service area that the user claims as his/her location. NGT is based on the laws of physics, and operates independent of an IP address lookup or any other pre-existing user network address profiles.

Posted in: Briefs, Software

Multi-Dimensional Information Visualization Software

This program provides insight into data collected from networks and network simulations.

DiVisa is a multi-dimensional information visualization tool that en ables researchers to understand the behavior of network data.

Posted in: Briefs, Software

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 involved suffered radiation burns and symptoms of radiation poisoning. Three of those patients eventually died, all because of a latent software bug. A race condition had gone undetected. It was a test case no one had thought to define.

Posted in: Articles, Software, Embedded software, Embedded software, Medical equipment and supplies, Systems engineering, Quality assurance, Quality assurance

PLOT3D 4.1

PLOT3D is an interactive graphics program designed to help scientists visualize computational fluid dynamics (CFD) grids and solutions. Today, supercomputers and CFD algorithms can provide scientists with simulations of such highly complex phenomena that obtaining an understanding of the simulations has become a major problem. Tools that help the scientist visualize the simulations can be of tremendous aid.

Posted in: Briefs, Software, Computational fluid dynamics, Mathematical models, Imaging, Imaging and visualization, Imaging, Imaging and visualization

Do you see augmented reality as a way of improving design processes?

A report last week concluded that the augmented reality (AR) market is expected to grow from $2.39 billion in 2016 to $61.39 billion by 2023. The research from the Hadapsar, India-based analyst firm MarketsandMarkets cites increasing demand for AR devices and applications in healthcare, retail, and e-commerce sectors.

AR plays a potential role for design engineers looking to model a product directly into an environment. What do you think? Do you see augmented reality as a way of improving design processes?

Posted in: Question of the Week, Displays/Monitors/HMIs, Imaging, Visualization Software, Computer-Aided Design (CAD), Computer-Aided Engineering (CAE), Computer-Aided Manufacturing (CAM)

Simulation of Thermal Stress in 3D Printing

If you want to learn about designing for additive manufacturing (3D printing) with apps, then tune into this webinar with guest speaker Borja Lazaro Toralles of the Manufacturing Technology Centre.

Posted in: On-Demand Webinars, Manufacturing & Prototyping, Simulation Software, Software

Sound-Off: How to Simulate the Impacts of an Exoskeleton

Over the past decade, warfighters’ personal loads have increased, leading to more injuries, pain, and discomfort. To relieve the burden, the military is investigating performance-enhancing exoskeletons. But how does an exoskeleton impact the soldier wearing it?

Posted in: News, News, Computer-Aided Design (CAD), Simulation Software, Software

Requirements Engineering for Safety-Critical Systems

In safety-critical projects, Requirements Engineering is often perceived as a “necessary evil” rather than active support in the development process. Challenges arise between the writing of requirements, categories and levels of abstraction, and the high degree of freedom in Functional Safety Standards, and the practical benefits of effective requirements engineering are lost.

Posted in: On-Demand Webinars, Software

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