Publisher's Synopsis
These papers report on formal studies of software usage in safety-critical applications. Applications are described in industrial, civilian, and military areas. The complexity of self-correcting unanticipated inputs to a safety-critical system are examined and approaches to solutions considered.