An introduction to model checking
by Girish Keshav Palshikar
Model checking has proven to be a successful technology to verify requirements and design for a variety of real-time embedded and safety-critical systems. Here's how it works.

Extreme programming without fear
by Dan Pierce
Despite the controversy surrounding it, eXtreme Programming can be your friend. With a little tweaking, XP translates to the world of embedded systems programming. The author shares some techniques that have served him well.

Murphy's Law
Control the source
by Niall Murphy
A version control system is indispensable for large development teams, and even on small projects it offers advantages.

Break Points
Firmware basics for the boss, part 2
by Jack G. Ganssle
As the boss, you can get the best out of your engineers by helping them hone their craft—the key to your mutual success.

Significant Bits
Code compression under the microscope
by Jim Turley
Code compression under the microscope

#include
More than a doorstop
by Lindsey Vereen
As critical as embedded systems software is to system functionality, You'd think that companies would place greater value on it. But no, they hate to spend money developing it since they just give it away.

New Products

Software Tools

• Motor control tools target a variety of motors

Hardware Tools