Abstract: This presentation describes how assurance arguments for the radiation reliability of a system can be modeled in Goal Structuring Notation over the life-cycle of a project. A practical implementation of the NASA-STD-8729.1 and Model-Based Mission Assurance.