Advanced Search

Journal Navigation

Journal Home

Subscriptions

Archive

Contact Us

Table of Contents

Sign In to gain access to subscriptions and/or personal tools.
SIMULATION
This Article
Right arrow Full Text (PDF)
Right arrow References
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Similar articles in Web of Science
Right arrow Alert me to new issues of the journal
Right arrow Add to Saved Citations
Right arrow Download to citation manager
Right arrowRequest Permissions
Right arrow Request Reprints
Right arrow Add to My Marked Citations
Citing Articles
Right arrow Citing Articles via Google Scholar
Right arrow Citing Articles via Scopus
Google Scholar
Right arrow Articles by Tsai, W. T.
Right arrow Articles by Fan, C.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Complore   Add to Connotea   Add to Del.icio.us   Add to Digg   Add to Reddit   Add to Technorati   Add to Twitter  
What's this?

Simulation Verification and Validation by Dynamic Policy Specification and Enforcement

W. T. Tsai

Computer Science and Engineering Department Arizona State University Tempe, AZ 85281

Yinong Chen

Computer Science and Engineering Department Arizona State University Tempe, AZ 85281, yinong.chen{at}asu.edu

Ray Paul

Department of Defense Washington, DC

Xinyu Zhou

Computer Science and Engineering Department Arizona State University Tempe, AZ 85281

Chun Fan

Computer Science and Engineering Department Arizona State University Tempe, AZ 85281

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.

Key Words: Distributed simulation • verification and validation • policy-based computing • dynamic policy enforcement

SIMULATION, Vol. 82, No. 5, 295-310 (2006)
DOI: 10.1177/0037549706068828
Add to CiteULike CiteULike   Add to Complore Complore   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us   Add to Digg Digg   Add to Reddit Reddit   Add to Technorati Technorati   Add to Twitter Twitter    What's this?