Exploring the Concept of Abstract State Machines for System Runtime Enforcement

Modern intelligent software systems are rapidly growing in complexity and scale, and many real usage scenarios might be impossible to reproduce and validate at design-time. As envisioned by the [email protected] research community, the use of formal models at runtime are fundamental to address this challenge. In this paper, we explore the concept of [email protected] and put this definition into the context of the runtime enforcement technique to address the runtime assurance of software systems. This is a work-in-progress research line.