This is an interesting approach but not so easy to implement. Defining all functionalities through assertions is still very difficult.
Mutation analysis, as Springsoft Certitude provides, is more appropriate to current verification flows/terams relying on simulations.
NASA's Orion Flight Software Production Systems Manager Darrel G. Raines joins Planet Analog Editor Steve Taranovich and Embedded.com Editor Max Maxfield to talk about embedded flight software used in Orion Spacecraft, part of NASA's Mars mission. Live radio show and live chat. Get your questions ready.
Brought to you by