This SEI Blog post examines the design and implementation of embedded computing resources for CPS and the complexities that drive the need for model building.

November 27, 2023 • By Alfred Schenker , Jerome Hugues

In Cyber-Physical Systems

This SEI Blog post explores high-assurance software in DART systems, and outlines the SEI's approach to meet safety requirements in dynamic environments.

October 9, 2016 • By James Edmondson , Sagar Chaki

In Artificial Intelligence Engineering

This SEI Blog post explores the challenges of verifying evolving software and presents research efforts aimed at improving verification techniques and tools.

October 19, 2014 • By Arie Gurfinkel

The DoD relies heavily on mission- and safety-critical real-time embedded software systems (RTESs), which play a crucial role in controlling systems ranging from airplanes and cars to infusion pumps and …

December 5, 2011 • By Arie Gurfinkel