Skip to main content

Embedded News

Syndicate content
Updated: 5 years 15 weeks ago

Verifying embedded software functionality: Combining formal verification with testing

Fri, 08/31/2012 - 09:16
In the final part in a four part series Abhik Roychoudhury, author of "Embedded Systems and software validation" explains the usefulness of formal verification techniques to traditional software testing techniques.

View the full article HERE.

Verifying embedded software functionality: fault localization, metrics and directed testing

Fri, 08/31/2012 - 09:16
In the third in a four part series Abhik Roychoudhury, author of “Embedded Systems and software validation” discusses the pros and cons of metric base fault localization and directed testing for assessing software functionality.

View the full article HERE.

Designing high-order FIR filters

Fri, 08/31/2012 - 09:16
In this design tip, Richard Lyons, author of “Understanding DSP,” describes some of the methods and algorithms you will need to create a multitap linear phase FIR filter.

View the full article HERE.

Verifying embedded software functionality: The power of dynamic slicing

Fri, 08/31/2012 - 09:16
In the second in a four part series, Abhik Roychoudhury, author of Embedded Systems and Software Validation details the ways in which dynamic slicing can be used for assessing software functionality.

View the full article HERE.

Verifying embedded software functionality: Why it’s necessary

Fri, 08/31/2012 - 09:16
In this four part series Abhik Roychoudhury, author of Embedded Systems and software validation,, explains why it is important for embedded developers to learn about new techniques for assessing software functionality. Part 1: what must be done and how to achieve it

View the full article HERE.

Geospatial visualization helps manage million-line-plus embedded code bases

Fri, 08/31/2012 - 09:16
This article describes an approach to visualizing large software dependency relationships using scalable and intuitive techniques developed originally for geospatial visualization.

View the full article HERE.

Configuring a well-behaved digital quadrature oscillator

Fri, 08/31/2012 - 09:16
In this design tip, Richard Lyons, author of “Understanding DSP,” describes some of the methods and algorithms you will need to be sure you create a well-behaved digital quadrature oscillator for use in digital TV QAM systems or in advanced telecom and fiber optic networks.

View the full article HERE.

Digital panel meter design

Fri, 08/31/2012 - 09:16
A comparison of traditional ASIC, ASSP and MCU approaches to digital panel meter design to the use of programmable mixed signal devices with on chip MCU capabilities.

View the full article HERE.

A stepwise method for tuning PI controllers using ITAE criteria

Fri, 08/31/2012 - 09:16
This article provides a brief overview of the ITAE [Integral of the time weighted absolute error] method for PI tuning, describing a stepwise method to be followed for a variety of field oriented motor control apps.

View the full article HERE.

FRAMs as alternatives to flash memory in embedded designs

Fri, 08/31/2012 - 09:16
TI’s Priya Thanigai provides some real world examples of where ferroelectric random access memory should be considered as an alternative to flash as a viable nonvolatile memory technology.

View the full article HERE.

Comparing PSoCs and MCUs in digital TV design

Fri, 08/31/2012 - 09:16
In this Product How-To article, Ronak Desai of Cypress describes the design challenges in digital TV apps and compares the use of standalone MCUs and the company’s Programmable SoC architecture in dealing with roadblocks to efficient implementation.

View the full article HERE.

Streamlining design using macro placement algorithms in mixed signal SoCs

Fri, 08/31/2012 - 09:16
Addressing a problem in SoC's used for automotive applications where the embedded flash and other memory take up almost 50% of the die area, the authors describe a smart macro placement algorithm they developed to deal with signal and power routing through memory segments which are partially blocked due to noise sensitivity.

View the full article HERE.

A standard peripherals approach to adding flexibility to 32-bit MCU designs

Fri, 08/31/2012 - 09:16
A close look at implementations of standard 32-bit microcontroller peripherals that provide system-level value and app benefits that help designers get the MCU capabilities they need, while also reducing the bill of materials (BOM) and simplifying the design.

View the full article HERE.

Automated tools streamline software test and certification

Fri, 08/31/2012 - 09:16
In this Product How-To Jared Fry and Shan Bhattacharya of LDRA describe how the company’s tool suite can be used to analyze code to trace requirements, identify and fix standards violations, monitor code coverage, and rapidly and effectively bring reliable products to market.

View the full article HERE.

Verifying serial buses and components in embedded designs

Fri, 08/31/2012 - 09:16
This article describes three application examples of how signals on peripheral chips can be correlated with serial bus data to verify system operation using a mixed signal oscilloscope.

View the full article HERE.

Using Java to deal with multicore programming complexity: Part 3 - Using Java with C and C++ for real-time multicore designs

Fri, 08/31/2012 - 09:16
In this final part in a three-part series, Atego’s Kelvin Nilsen provides guidelines on how to use the combination of the Java parallel programming language and traditional sequential C and C++ methodologies to achieve real-time multicore software operation.

View the full article HERE.

Using Java to deal with multicore programming complexity: Part 2 - Migrating legacy C/C++ code to Java

Fri, 08/31/2012 - 09:16
In Part 2 in a three part series on how embedded developers can more effectively exploit the use of multicore Java, Kelvin Nilsen details the factors to consider in making a decision to shift from C and C++ to Java, as well as provides some guidelines for migrating legacy code to a Java-based multicore development environment.

View the full article HERE.

Using Java to deal with multicore programming complexity: Part 1 - How Java eases multicore hardware demands on software

Fri, 08/31/2012 - 09:16
Atego’s Kelvin Nilsen surveys some of the special issues that must be addressed when writing software for multiprocessor hardware and how Java can ease the transition.

View the full article HERE.

Multicore programming: it’s all in the messaging

Fri, 08/31/2012 - 09:16
By making use of familiar software development frameworks such as those based on message passing, Sven Brehmer thinks the transition to embedded designs based on multicore architectures can be considerably simplified.

View the full article HERE.

Measuring pressure with compensated silicon sensors and precision delta-sigma ADCs

Fri, 08/31/2012 - 09:16
This article describes differences among modern pressure sensors including MEMS temperature-compensated, silicon pressure sensors and details design of a low-power, liquid level-measurement data acquisition systems (DAS) using a compensated silicon pressure sensor and a high-precision delta-sigma ADC.

View the full article HERE.