Simulation verification and validation by dynamic policy enforcement

W. T. Tsai, X. Liu, Y. Chen, R. Paul

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Abstract

This paper presents a new verification and validation (V&V) technique for simulation using dynamic policy enforcement. Constraints are formally specified as policies, and they will be used to check whether simulation satisfies these policies at runtime. This paper also proposes a development framework where policies are developed along with system development and V&V. Once policies are extracted from requirements and specified in a policy specification language, the rest of the development work is automatically performed by the tools in the framework. Both security requirements and functional requirements can be specified as policies and dynamically enforced during the simulation. An automated tool is available for policy specification and enforcement, and it is fully integrated with the simulation infrastructure. This paper also presents a sample system that is modeled and simulated, and policies are used to verify and validate the system model. The paper also discusses the overhead imposed to perform this kind of automated policy-based V&V compared to the hard-coded implementation of the same approach.

Original languageEnglish (US)
Title of host publicationProceedings - Simulation Symposium
Pages91-98
Number of pages8
StatePublished - 2005
Event38th Annual Simulation Symposium, ANSS-38 2005 - San Diego, CA, United States
Duration: Apr 4 2005Apr 6 2005

Other

Other38th Annual Simulation Symposium, ANSS-38 2005
CountryUnited States
CitySan Diego, CA
Period4/4/054/6/05

Fingerprint

Specification languages
Specifications
Computer simulation

Keywords

  • Automated Policy Specification and Enforcement
  • Simulation
  • Verification and Validation

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Tsai, W. T., Liu, X., Chen, Y., & Paul, R. (2005). Simulation verification and validation by dynamic policy enforcement. In Proceedings - Simulation Symposium (pp. 91-98)

Simulation verification and validation by dynamic policy enforcement. / Tsai, W. T.; Liu, X.; Chen, Y.; Paul, R.

Proceedings - Simulation Symposium. 2005. p. 91-98.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tsai, WT, Liu, X, Chen, Y & Paul, R 2005, Simulation verification and validation by dynamic policy enforcement. in Proceedings - Simulation Symposium. pp. 91-98, 38th Annual Simulation Symposium, ANSS-38 2005, San Diego, CA, United States, 4/4/05.
Tsai WT, Liu X, Chen Y, Paul R. Simulation verification and validation by dynamic policy enforcement. In Proceedings - Simulation Symposium. 2005. p. 91-98
Tsai, W. T. ; Liu, X. ; Chen, Y. ; Paul, R. / Simulation verification and validation by dynamic policy enforcement. Proceedings - Simulation Symposium. 2005. pp. 91-98
@inproceedings{625798ae421e498b994fd36ce1961068,
title = "Simulation verification and validation by dynamic policy enforcement",
abstract = "This paper presents a new verification and validation (V&V) technique for simulation using dynamic policy enforcement. Constraints are formally specified as policies, and they will be used to check whether simulation satisfies these policies at runtime. This paper also proposes a development framework where policies are developed along with system development and V&V. Once policies are extracted from requirements and specified in a policy specification language, the rest of the development work is automatically performed by the tools in the framework. Both security requirements and functional requirements can be specified as policies and dynamically enforced during the simulation. An automated tool is available for policy specification and enforcement, and it is fully integrated with the simulation infrastructure. This paper also presents a sample system that is modeled and simulated, and policies are used to verify and validate the system model. The paper also discusses the overhead imposed to perform this kind of automated policy-based V&V compared to the hard-coded implementation of the same approach.",
keywords = "Automated Policy Specification and Enforcement, Simulation, Verification and Validation",
author = "Tsai, {W. T.} and X. Liu and Y. Chen and R. Paul",
year = "2005",
language = "English (US)",
pages = "91--98",
booktitle = "Proceedings - Simulation Symposium",

}

TY - GEN

T1 - Simulation verification and validation by dynamic policy enforcement

AU - Tsai, W. T.

AU - Liu, X.

AU - Chen, Y.

AU - Paul, R.

PY - 2005

Y1 - 2005

N2 - This paper presents a new verification and validation (V&V) technique for simulation using dynamic policy enforcement. Constraints are formally specified as policies, and they will be used to check whether simulation satisfies these policies at runtime. This paper also proposes a development framework where policies are developed along with system development and V&V. Once policies are extracted from requirements and specified in a policy specification language, the rest of the development work is automatically performed by the tools in the framework. Both security requirements and functional requirements can be specified as policies and dynamically enforced during the simulation. An automated tool is available for policy specification and enforcement, and it is fully integrated with the simulation infrastructure. This paper also presents a sample system that is modeled and simulated, and policies are used to verify and validate the system model. The paper also discusses the overhead imposed to perform this kind of automated policy-based V&V compared to the hard-coded implementation of the same approach.

AB - This paper presents a new verification and validation (V&V) technique for simulation using dynamic policy enforcement. Constraints are formally specified as policies, and they will be used to check whether simulation satisfies these policies at runtime. This paper also proposes a development framework where policies are developed along with system development and V&V. Once policies are extracted from requirements and specified in a policy specification language, the rest of the development work is automatically performed by the tools in the framework. Both security requirements and functional requirements can be specified as policies and dynamically enforced during the simulation. An automated tool is available for policy specification and enforcement, and it is fully integrated with the simulation infrastructure. This paper also presents a sample system that is modeled and simulated, and policies are used to verify and validate the system model. The paper also discusses the overhead imposed to perform this kind of automated policy-based V&V compared to the hard-coded implementation of the same approach.

KW - Automated Policy Specification and Enforcement

KW - Simulation

KW - Verification and Validation

UR - http://www.scopus.com/inward/record.url?scp=27544442301&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=27544442301&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:27544442301

SP - 91

EP - 98

BT - Proceedings - Simulation Symposium

ER -