Reconciling system requirements and runtime behavior

TLDR

System deviations from requirements arise when environmental behaviors are not anticipated or when execution conditions trigger unexpected behavior. The paper proposes an architecture and development process to monitor requirements at runtime and reconcile them with system behavior. Built on goal‑driven requirements engineering and runtime monitoring, the process is applied to three Meeting Scheduler scenarios.

Abstract

This paper considers the problem of system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible behaviors of environment agents at specification time, or from evoking conditions in this environment. We discuss an architecture and a development process for monitoring system requirements at runtime to reconcile the requirements and the system's behavior. This process is deployed on three scenarios of requirements-execution reconciliation for the Meeting Scheduler system. The work builds on our previous work on goal-driven requirements engineering and on runtime requirements monitoring.