Simulation verification and validation by dynamic policy specification and enforcement

W. T. Tsai, Yinong Chen, Ray Paul, Xinyu Zhou, Chun Fan

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Abstract

This article presents a new verification and validation technique for simulation using dynamic policy specification and enforcement. Security requirements, certain functional requirements, and constraints can be formally specified as policies, and they are used to check at runtime whether the behaviors of the system under simulation are within the given constraints. A policy violation reveals a potential design error of the system under simulation. This article also presents the policy specification language and the policy development framework that are used to specify policies, to verify their completeness and consistency of policies, to translate them into executable representations, and to enforce them at runtime. The policy specification language and the policy development framework are fully integrated into the simulation infrastructure. An example is used throughout the article to illustrate the policy specification and enforcement processes. The article discusses different algorithms of policy enforcement and their space and time complexity.

Original languageEnglish (US)
Pages (from-to)295-310
Number of pages16
JournalSimulation
Volume82
Issue number5
DOIs
StatePublished - May 2006

Keywords

  • Distributed simulation
  • Dynamic policy enforcement
  • Policy-based computing
  • Verification and validation

ASJC Scopus subject areas

  • Computer Science Applications
  • Computational Theory and Mathematics
  • Computer Graphics and Computer-Aided Design
  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint

Dive into the research topics of 'Simulation verification and validation by dynamic policy specification and enforcement'. Together they form a unique fingerprint.

Cite this