Middleware platform providing a secure, universally verifiable runtime engine for security‑critical, long‑life Industrial IoT applications in heavy industry, medical and health technology, automotive, logistics and warehousing. Runs model‑based and multi‑language applications in parallel using efficient container technology with real‑time guarantees.