Embedded firmware engineering · Ontario, Canada

Firmware changes you can verify.

We fix and extend firmware on the boards you already have, from STM32 and nRF52 to ESP32 and RP2040. Every change arrives with its record: the build, the tests, the mutation score, a separate review, and a bench record on real hardware when you need one.

170 u 45°

What you get

  • A change on your board, not a rewrite.

    We work in your repository, for your hardware, in your toolchain.

  • A record with every change.

    What was built, what was tested, what the tests missed, and what is still open.

  • Your review before anything merges.

    Nothing reaches your main branch until you have read it and said yes.

The record

A passing build is not proof.

Each change we deliver carries the evidence that it does what was asked, and a plain list of what it has not yet shown, such as behaviour only your hardware can confirm. You decide with the facts in front of you.

See a real record

Change record commit d26421e

Check each Bluetooth LE reply's CRC before it is used

Open-source ESP32 MQTT bridge · esp32dev · delivered as a patch

Native tests
PASS
25 of 25 cases · address and undefined-behaviour sanitizers clean
Mutation
13 / 14 mutants caught
One survivor (< to <=), caught only by the sanitized run
Bench
OPEN
The station's reply layout and byte order are not yet confirmed on real hardware
3 of 6 lines shown 1 open item

Services

Firmware for your board.

All services

  • Firmware fixes

    Reproduced in a failing test, then fixed at the cause.

  • New features

    Test-first, in your code's style.

  • Design from a specification

    Every gap asked, never guessed.

  • Verification and bench proof

    Host tests, mutation testing, review, bench.

  • Any MCU with a C/C++ toolchain

    STM32, ESP32, nRF52, RP2040, AVR and SAMD, bare metal or RTOS.

Work

Recent work, with its full record.

Tests, a fix and a feature for an open-source ESP32 MQTT bridge

  • ESP32
  • Bluetooth LE
  • MQTT
  • Native tests
  • Public

Public: read every line.

Read the case
Changes
3, each verified on its own
Native cases
25
Mutation
13 / 14 on the feature
Licence
GPL-3.0, public fork
  • What we work with
  • PlatformIO
  • Unity
  • Python
  • ESP32
  • Arduino cores

Firmware is what we do today. Electronics and robotics are where Elecrobo is headed; we will offer them when we can show the record for them.

Have a board that needs a fix or a feature?

Describe it in a free 30-minute call. You leave with a written scope, whether or not you hire us.