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

Safety EngineeringApr 3, 2026

DO-178C AI/ML Supplement Enters Public Comment Phase

RTCA SC-228 released a draft supplement to DO-178C addressing ML constituents in airborne software. Covers dataset management, explainability requirements, and how probabilistic outputs interact with deterministic safety objectives. Industry comment period runs through June.

Safety EngineeringApr 3, 2026

Rust Safety Profile Targets DO-178C DAL A — Three Vendors Announce Toolchain Support

The Rust Safety-Critical Consortium published a language profile restricting unsafe blocks and dynamic allocation for DO-178C DAL A software. Three qualified compiler vendors announced preliminary support; EASA acknowledged the submission.