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.
You must verify your email address before signing in. Check your email for your verification email, or enter your email address in the form below to resend the email.
Please confirm the information below before signing in.
{* #socialRegistrationForm *}
{* firstName *}
{* lastName *}
{* displayName *}
{* emailAddress *}
By clicking "Sign In", you confirm that you accept our terms of service and have read and understand privacy policy.
{* /socialRegistrationForm *}
Almost Done
Please confirm the information below before signing in. Already have an account? Sign In.