danw1979 4 hours ago > Unless stated otherwise, none of the published devices has passed regulatory certification, so use them at your own risk and responsibilityThis somewhat limits the usefulness of the hardware anywhere you need to be insured, e.g. your house, boat or van.
westurner 18 hours ago Why ZephyrOS?ZephyrOS: https://github.com/zephyrproject-rtos/zephyrWould there be value in modeling this system with TLA+?Why build another open product?There are a few GitHub topics for solar electricity:solar: https://github.com/topics/solarphotovoltaic: https://github.com/topics/photovoltaicpv: https://github.com/topics/pvbattery-management: https://github.com/topics/battery-managementups-management: https://github.com/topics/ups-managementinverter: https://github.com/topics/inverterPhotovoltaic system: https://en.wikipedia.org/wiki/Photovoltaic_system
> Unless stated otherwise, none of the published devices has passed regulatory certification, so use them at your own risk and responsibility
This somewhat limits the usefulness of the hardware anywhere you need to be insured, e.g. your house, boat or van.
Why ZephyrOS?
ZephyrOS: https://github.com/zephyrproject-rtos/zephyr
Would there be value in modeling this system with TLA+?
Why build another open product?
There are a few GitHub topics for solar electricity:
solar: https://github.com/topics/solar
photovoltaic: https://github.com/topics/photovoltaic
pv: https://github.com/topics/pv
battery-management: https://github.com/topics/battery-management
ups-management: https://github.com/topics/ups-management
inverter: https://github.com/topics/inverter
Photovoltaic system: https://en.wikipedia.org/wiki/Photovoltaic_system