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

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

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

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

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

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

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

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.

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?

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

Coding standards are proven to improve code quality, but without automation they are difficult to enforce and may be ignored by developers. Download this white paper to learn how to create a coding standard from existing resources and use a static analyzer to ensure it is followed by your developers.

Security vulnerabilities can put users at risk and damage companies’ reputations, and these risks increase as more devices are connected to the internet. Download this white paper to learn how to choose and enforce the best coding standard for your application to reduce these risks.

Advanced Driver Assistance Systems and the move towards autonomous vehicles dramatically increases the complexity of safety-critical code in automotive applications. Read this white paper to learn more about the potential vulnerabilities, the standards and legislation that apply and how...

The LTAS Source Slaving Selector application was developed to transmit LTAS data in User Datagram Protocol (UDP) packets using the LTAS data from one of multiple incoming UDP streams. Users select the data stream via a graphical user interface (GUI), which also displays a...

Currently, APET includes a modified version of the Rotorcraft Noise Model (RNM, version 7). It also includes the newly developed Spectral Attenuation Method (SAM), which contains the Ray Tracing Program (RTP) and two versions of a Green's Function Parabolic Equation (GFPE) code. The third...