Dynamic Assurance

The problem of dynamic assurance is related to developing mechanisms that can estimate the risk of operations for the CPS in a given environment and scenario. Dynamic assurance methods take the current system state, the output of the assurance monitors, the estimates of fault diagnosers in the system and the estimation of the environmental state. This dynamic assurance approach often utilizes the static design time assurance cases and provides a runtime analysis on wether the design time guarantees are still valid operationally in the given environment context.

Our work in this area has led to the development of a framework called Resonate. It computes the likelihood of unsafe conditions or system failures considering the safety requirements, assumptions made at design time, past failures in a given operating context, and the likelihood of system component failures. The system has been demonstrated in simulations using two separate autonomous system simulations: CARLA and an unmanned underwater vehicle. Please see the following publications for details.


  1. C. Hartsell, S. Ramakrishna, A. Dubey, D. Stojcsics, N. Mahadevan, and G. Karsai, ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems, in 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021, 2021.
  2. S. Ramakrishna, C. Hartsell, A. Dubey, P. Pal, and G. Karsai, A Methodology for Automating Assurance Case Generation, in Thirteenth International Tools and Methods of Competitive Engineering Symposium (TMCE 2020), 2020.
  3. S. Ramakrishna, C. Harstell, M. P. Burruss, G. Karsai, and A. Dubey, Dynamic-weighted simplex strategy for learning enabled cyber physical systems, Journal of Systems Architecture, vol. 111, p. 101760, 2020.