GS/EECS 6429 (3.00)

System Assurance

Description

This course introduces the notion of system assurance. In this regard, the course describes the structure of assurance cases as well as the various types of assurance cases. The course also explores the different notations used to depict assurance cases elements and relationships. The course analyzes the core differences between static assurance cases and dynamic assurance cases. The course presents the different processes used to support system assurance in safety-critical and security-critical systems. The course examines the most recent open source and industrial tools used to support system assurance. The course examines the different industrial standards that assurance cases support. The course also investigates how key technological enablers (e.g., IoT, AI) influence system assurance. The course presents the various challenges associated to the assurance of ML-enabled systems.

Tips: you can drag and drop the boxes to clone them to different sections or groups within a prerequisite equation.

Thank you for your edit suggestion!
Our staff will review and approve it soon.
You can close this page now.

There might have been an error with the server or your input. Please check your entry and/or try again later.