Development of a Flight-Program-Ready Radiation Model-Based Assurance Platform

This work describes one step towards automating the development of assurance cases for systems in radiation environments. The Systems Engineering Assurance and Modeling Platform (SEAM) developed by Vanderbilt and NASA is extended to automatically cross-reference faults, fault paths, and mitigation functions in the system description with assurance arguments in the Goal Structuring Notation (GSN) format. This automatic coverage check considerably enhances the capability of the platform to facilitate systematic radiation hardness evaluations of complex spacecraft systems.