-
ECS for Control: Concepts
The Entity Component System architecture for real-time control programs: the store, the invariants that hold it, partitions and their seams, schedules as the way partitions are run, and where every definition lives.
-
ECS for Control: Implementation
How the ECS-for-control architecture is realised in Oberon on a microcontroller: definition and store modules, tokens, Systems, ports and adapters, world creation, schedules and their boundary, and the kernel.
-
ECS for Control: The ECS File
Reference for the ECS file, the program's definition extracted from its sources: the kind declaration every module carries, the ROLENAMES and MODULES sections and their kinds, the DECLARATIONS, the HEADER of a file written for generation, and the ECS map file beside it.
-
EcsControlSchedule
The fourth-round evaluation programs: the LED world under coordinated blink periods with its print-clip observation loop, in five partitions, on one schedule and on two (one or two cores).
-
ECS for Control: Schedules
Programs with several schedules, one per core: why the partition makes them straightforward, what the schedule layer adds, and the prescription for creating a schedule and moving a partition to it.
-
ECS for Control: Review Guide
The review of an ECS program, check-point by check-point: every module before its kind, each module against its kind, the pairs of kinds, and the program as a whole; what each check reads, what must hold, and what a program without it is.
-
ECS for Control: check-ecs
Manual page for check-ecs, the checker: a built program against the check-points of the review guide, the findings under their identifiers.
-
ECS for Control: extract-ecs
Manual page for extract-ecs, the extractor: the ECS file and the ECS map file written from the sources of a built program, compared against a previous pair.
-
ECS for Control: Round 3 Retrospective
The round-3 outlook tracked against what round 4 delivered: item by item – the schedules proven on two cores, the review written down as rules and the checker following from it, recovery and the asynchronous seam carried into the architecture round – with the round's lessons folded in.
-
ECS for Control: Round 4 Outlook
What the fourth round leaves open: recovery and the run-time error concept, asynchronous boundaries and transports that can fail, and the checks still to build.