Supporting Change Impact Assessment with LLMs

Assurance Cases (ACs) are structured arguments intended to show that a system is safe. ACs require continuous maintenance through their life cycle, and manual review is often required to determine how an AC may be impacted by different update scenarios. This is expensive and error-prone as ACs can be large and complex. In this vision paper, we present challenges and opportunities for leveraging large language models to support change impact assessment for ACs.