HARPRON builds software for those who design embedded control and logic: model, simulate, verify and generate code with precision, without the weight of enterprise tools.
Each tool covers one stage of embedded systems development. BOLD is the first one.
Model control logic with blocks and state machines, simulate with test scenarios, verify as you edit and generate deterministic C99 code, ready to integrate into your target.
Principles that apply to every HARPRON tool.
The same input always produces the same output, byte for byte. No surprises between one version of your build and the next.
Behavior is defined in writing before it is implemented, and every rule is covered by tests.
Professional tools within reach of startups, universities and small teams.
We say clearly what each tool guarantees and what it does not guarantee yet.
From the first prototype to the production product, with tools that grow with the project.
Flight logic, operating modes and protections modeled and simulated before taking off.
BMS, VCU and power control with verified integer types.
State machines and discrete control with predictable code.
Teams that write C by hand today and want architecture, testing and traceability.
Automation and industrial equipment with deterministic logic.
Control engineering education and Formula SAE, aerodesign and robotics projects.
HARPRON builds tools for embedded systems with one conviction: good engineering tools should not be out of reach.
Our focus is model-based development: making the model the source of truth, from simulation to the code that runs on the target.
Evaluating BOLD with your team, partnerships, academic use or new products: write to HARPRON.
