| |
Dec 10, 2025
|
|
|
|
|
CIS 855 - High Assurance Systems Credits 3
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.
Repeat for Credit
N
Requisites
Prerequisites: (CIS 771) Software Specification AND Java programming skills.
Typically Offered
Spring
Add to Portfolio (opens a new window)
|
|
