Real Time Safety ERAU research conducted for the FAA under contract DTFA0301C00048 page 1 Assessment of Software Development Tools for Safety Critical.