High Assurance Systems

Catalog description

Techniques for developing high assurance (safety critical, security critical, or mission-critical in nature) systems. Topics include writing requirements for safety-critical systems, formal architecture definition, risk management techniques including various forms of hazard analysis, safety systems, and verification and validation.