Monitoring Hierarchical Agent-based Simulation Traces

Due to their internal complexity, agent-based simulations are rarely amenable to conventional formal verification. With its focus on individual traces, runtime verification represents an interesting alternative for correctness assessment. Here, execution traces produced by the running system are observed by a monitor and checked for correctness on-the-fly. If the truth or falsity of a given property cannot be determined at time t, then the monitor creates an obligation that the current trace needs to satisfy at time t + 1 in order for the whole property to become true. With different observational levels, traces produced by agentbased simulations have an inherently hierarchical nature which complicates the structure and manipulation of obligations significantly. However, it turns out that this problem is general enough to be dealt an abstract, language-independent way. In this paper, we provide a general framework for the monitoring of hierarchical traces. It introduces different ...

• Type: Journal
• Year: 2015
• Where: ATAL
• Authors: Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
• Keywords: ATAL 2015, Intelligent Agents