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