Abstract:The paper presents a scenario-driven multi-agent framework for rapid simulation generation and verification. Specifically, this framework has the following features: 1. Formal scenario model: This framework uses a formalized scenario model, and in this model each scenario is specified according to the ACDATE (Actors, Conditions, Data, Actions, Timing, and Events) model. Once a scenario is specified using this model, it can be analyzed by various static analyses including completeness and consistency analysis. 2. Automatic code generation: Once system scenarios are specified, the framework can generate its corresponding code. The code can then be used for simulation or implementation. 3. Hierarchical model: This framework can model complex systems by providing a hierarchical modeling scenario model. 4. Multi-agent simulation: This framework can simulate autonomous agents, and each agent behavior is specified using the hierarchical scenario model. 5. Formal policy specification and verification: This framework also supports formal policy specification, and once policies are specified, they can be enforced during simulation to perform dynamic verification. The policy speciation language is also based on the scenario model. 6. Distributed service-oriented simulation: The simulation is performed by distributed agents implemented as web services running on a network. 7. Verification and Validation: This framework has a variety of verification and validation techniques such as Verification Patterns (VPs) and completeness and consistency checking (C&C). The VPs allow test scripts to be generated rapidly from the scenario specification with automated pattern recognition. An early version of this framework has been developed and used to simulate a large real-time distributed C2 (Command and Control) application and discovered numerous faults in the specification.

An Extensible Characteristic Scenarios Simulator for Virtual Machine

A Framework to Evaluate and Predict Performances in Virtual Machines Environment

Software Simulation-Based Fault Injection Tool of Virtual Machine System

On the Simulation of Networked Sensor Systems.

System-level Simulation Realization Based on Alpha Processor

Performance Measuring and Comparing of Virtual Machine Monitors

PVMsim: A Parallel Simulation Platform to Evaluate Virtual Machines

Analyzing & modeling the performance in Xen-based virtual cluster environment

Vtestkit: A Performance Benchmarking Framework for Virtualization Environments

Design and Implementation of Virtual Test System Based on LabWindows/CVI

Modeling And Simulation Of Virtualized Autonomic Service Centers

Characterizing SMP Virtual Machine Scheduling in Virtualization Environment

The Development of a Realistic Simulation Framework with OMNeT++

EasiEI: A Simulator to Flexibly Modeling Complex Edge Computing Environments

A Scenario-Based Service-Oriented Rapid Multi-Agent Distributed Modeling and Simulation Framework for SoS/SOA and Its Applications

The hybrid scheduling framework for virtual machine systems

A Toolkit for Modeling and Simulation of Real-Time Virtual Machine Allocation in a Cloud Data Center

A Loosely-Coupled Full-System Multicore Simulation Framework

A Resource Management Mechanism and Its Implementation for Virtual Machines

A Software Vulnerability Analysis Environment Based on Virtualization Technology

Virtuoso: An Open-Source, Comprehensive and Modular Simulation Framework for Virtual Memory Research