by Miro Samek

An overview of state-machine fundamentals and guidelines for coding state machines in C or C++.

by Miro Samek

What is the Design by Contract programming philosophy, what can it do for you, and why should all embedded software developers care?

by Michael Barr

This next installment of enforceable coding standards for embedded systems offers bug-killing rules for using certain C keywords and naming global variables.

by Michael Barr

A C coding standard can help keep bugs out of embedded software by leveraging common language features and development tools.

by Miro Samek

The formalism of Hierarchical State Machines (aka statecharts) makes the state machine approach truly applicable to real-life embedded systems.

by Miro Samek

State machines are perhaps the most effective method for developing robust event-driven code for embedded systems.

by Miro Samek

Rethinking basic programming techniques can avoid many of the problems that heap-based memory management poses for embedded real-time system designs.

by Niall Murphy

Understanding software and hardware bugs in other embedded systems can help you identify, diagnose, and fix bugs in your own.

by Niall Murphy

The format of non-volatile data may change with a new version of software. Carefully planning data layouts and using data version numbers can make these upgrades easier.

by Niall Murphy

Whether you're using only static memory, a simple stack, or dynamic allocation on a heap, you have to proceed cautiously. Embedded programmers cannot afford to ignore the risks inherent in memory utilization.