Soren Lindqvist spent eleven years auditing safety-critical control software for Nordic rail corridors and industrial manufacturing lines. At Kestrel Review he investigates formal verification, local-first shop-floor tooling, and boring software architectures that run for decades.
Before a high-speed passenger set clears a single switch outside Gothenburg, boolean interlocking equations evaluate 1,800 track-circuit invariants in under forty milliseconds.
Why precision CNC job shops are replacing fragile cloud-only MES dashboards with write-ahead-logged SQLite files on fanless industrial PCs—and syncing upstream on their own schedule.