Dynamic Assurance Cases: Closing the Loop Between Design and Operational Assurance

Safety cases are typically used to certify systems at design time as being approved for operation. However, systems typically undergo changes in operation. We present ongoing work extending the safety case concept to account for operational updates.