Files
2026-10-11 09:26:20 -04:00

1.1 KiB
Raw Permalink Blame History

OTA diagrams

PlantUML sources accompany chapters 03–05. The diagrams describe the illustrative A/B design, not a required platform or partition table.

View Source Preview
Roles and the server/device boundary PlantUML PNG
Trial boot, confirmation and recovery PlantUML PNG
Storage areas and access responsibilities PlantUML PNG

From the repository root, regenerate previews with a local PlantUML installation and Graphviz:

JAVA_TOOL_OPTIONS=-Djava.awt.headless=true plantuml -tpng -o ../rendered diagrams/plantuml/*.puml

Keep sources and previews together when changing a diagram. No external rendering service is needed. State transitions assume valid durable records; these pictures do not establish power-loss safety. The A/B simulation explores the same logical transitions.