Electronic Design

Formal Verification: Vital for Safety- and Security-Critical Software

Designers of essential space and defense systems increasingly look to formal verification to ensure reliability and security ...
Ars Technica

After 16 years and $8 billion, the military’s new GPS software still doesn’t work

Last year, just before the Fourth of July holiday, the US Space Force officially took ownership of a new operating system for the GPS navigation network, raising hopes that one of the military’s most ...
Reuters

Exclusive: Stellantis shelves Level 3 driver-assistance program as it downscales software ambitions, sources say

Stellantis shelves AutoDrive Level 3 system due to concerns around cost, market viability, sources say Level 3 allows hands-free and eyes-off driving under certain conditions Company says Level 3 ...
Military Times

Sentinel ICBM program hit by software delays, Minuteman extension risks: GAO

Attendees tour the LGM-35A Sentinel munitions storage igloos at Vandenberg Space Force Base, California, Dec. 1, 2025. (Staff Sgt. Joshua LeRoi/Space Force) The U.S. Air Force’s troubled Sentinel ...