Curated computing and ML systems news

Research, tooling, incidents, infrastructure shifts, and production lessons. Kept technical so the page stays useful.

All Aerospace & Defense Autonomous Systems Digital Twin Embedded Embedded Systems Formal Methods Functional Safety General SE Infrastructure MBSE Process Reliability Engineering Requirements Engineering Robotics Safety Engineering Software Systems Space Systems Standards Standards & Compliance Systems Architecture Systems Engineering Verification & Validation

Autonomous SystemsApr 3, 2026

ISO 21448 Edition 2 Published — SOTIF Now Covers SAE Levels 3–5

ISO 21448 Edition 2 expands the SOTIF framework beyond Level 2 automation. New requirements address scenario completeness metrics, performance limitation detection, and validation testing under distribution shift. Transition period ends December 2027.

Autonomous SystemsMar 13, 2026

DARPA Announces $180M Program for Autonomous System Verification at Scale

DARPA's new ASVS program targets the fundamental challenge of verifying autonomous systems that operate across unbounded environmental conditions. The program seeks formal methods approaches that scale to real-world operational envelopes.