Curated computing and ML systems news.

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

All Aerospace & Defense Automotive Safety Automotive Software Automotive Systems Autonomous Systems Cloud Reliability Digital Twin Embedded Embedded Systems Formal Methods Functional Safety General SE MBSE Process Reliability Engineering Requirements Engineering Robotics Safety Engineering Software Systems Space Systems Standards Standards & Compliance Systems Architecture Systems Engineering Systems Infrastructure 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.