Embedded Systems Programming, March 2004 - Embedded.com

Embedded Systems Programming, March 2004

March ESP

VOL. 17 NO. 3
March 2004

Table of Contents

spacer

Cover Story

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.

Columns

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

Departments

#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

Hardware Tools

OEM Tools

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.