Hidden Safety Requirements in Large-Scale Systems (Preprint)
Abstract
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate straightforward rules for safe component interconnection.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1994
- Accession Number
- ADA465715
Entities
People
- Carl E. Landwehr
Organizations
- United States Naval Research Laboratory