Loading 3D model… large boards can take a moment.
This is a device for watering indoor plants based on the 8-pin PIC10F202-IOT microcontroller.
The goal is to try to make a project on this small MCU and learn how to deal with the limitations of such a small chip, as well as to learn the PIC MCU family ecosystem.
Features:
The software is written in C (C99 with _Static_assert from C11).
The watering logic is formally verified using frama-c to mathematically prove correctness properties such as:
This provides stronger guarantees than testing alone — instead of checking specific inputs, it exhaustively verifies all possible input combinations.
The software can be run in a web browser to speed up development (no need to flash the device, soil humidity can be simulated as wanted, etc.).
Design tools: KiCad
In order to keep the pump, PCB, display, and potentiometer in one place, a simple 3D printed holder was made.
Design tools: OpenSCAD and FreeCad
No comments yet. Be the first to ask about this board.