Services · Firmware

Verified firmware for your board.

Elecrobo is built on AI agents. Our agents do the work under rules and checks we designed; a person is accountable for every result.

Most of our firmware work starts with a board that is already in the field or on your bench, and a change you need. We make the change, verify it, and hand back a record you keep.

Firmware fixes

A bug you can describe, fixed with a test that proves it.

We reproduce the fault first, in a test that fails before the fix and passes after it. Then we fix the cause, not the symptom, and keep the change as small as the fix allows. You receive the failing test, the fix and its record.

New features

Added to your code base, in its style.

We write the tests from your requirement before the code. Any change to an interface your other parts depend on is agreed with you first. The record reports what the feature costs in flash and RAM.

Design from a specification

From a written requirement to working firmware.

Before any code, we list every gap and contradiction in your specification as questions. Where the specification is silent, we ask; we do not guess. Each requirement is traced to the code and the test that meet it.

Verification and bench proof

Evidence on the host, and on the hardware when it matters.

  • Native tests that run on a computer, with address and undefined-behaviour sanitizers.
  • Mutation testing: small deliberate faults in the changed code, to check the tests catch them.
  • A separate review of every change against your request, before you see it.
  • When behaviour depends on hardware (radio, timing, a connected instrument), a written bench procedure and its results: bench runs on your hardware, at your site or shipped to us.

We can also add a first test suite to firmware that has none.

Any board, your toolchain

Any microcontroller.

Bare metal or an RTOS, a vendor SDK or a framework, your IDE or the command line. We work with the board and the build you already have.

The full record runs through PlatformIO today; when your project builds another way, connecting that build to our verification is part of the first task, and its quote says so.

Next

AI on the board

The next step for embedded products is intelligence on the device itself. Available on request as a scoped first project:

  • On-device inference on microcontroller-class parts (TensorFlow Lite Micro, vendor neural-network libraries).
  • Camera and audio pipelines feeding a model on the board.

Not offered yet

Circuit board design, manufacturing and safety certification. Electronics and robotics come later, once we can show the record for them.

Pricing

The first task is quoted at a fixed price after a free 30-minute scoping call, before any work starts.

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.