Automatic verification and validation of a CAS simulation of an intensive care unit

Christopher N. Eichelberger, Mirsad Hadzikadic, Ognjen Gajic, Guangxi Li

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

1 Citation (Scopus)

Abstract

Complex adaptive systems (CAS) promise to be useful in modeling and understanding real-world phenomena, but remain difficult to validate and verify (V&V). The authors present an adaptive, tool-chain-based approach to continuous V&V that allows the subject matter experts (SMEs) and modelers to interact in a useful manner. A CAS simulation of the ICU at the Mayo Clinic is used as a working example to illustrate the method and its benefits.

Original languageEnglish (US)
Title of host publicationAAAI Fall Symposium - Technical Report
Pages44-48
Number of pages5
VolumeFS-11-03
StatePublished - 2011
Event2011 AAAI Fall Symposium - Arlington, VA, United States
Duration: Nov 4 2011Nov 6 2011

Other

Other2011 AAAI Fall Symposium
CountryUnited States
CityArlington, VA
Period11/4/1111/6/11

Fingerprint

Intensive care units
Adaptive systems

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Eichelberger, C. N., Hadzikadic, M., Gajic, O., & Li, G. (2011). Automatic verification and validation of a CAS simulation of an intensive care unit. In AAAI Fall Symposium - Technical Report (Vol. FS-11-03, pp. 44-48)

Automatic verification and validation of a CAS simulation of an intensive care unit. / Eichelberger, Christopher N.; Hadzikadic, Mirsad; Gajic, Ognjen; Li, Guangxi.

AAAI Fall Symposium - Technical Report. Vol. FS-11-03 2011. p. 44-48.

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

Eichelberger, CN, Hadzikadic, M, Gajic, O & Li, G 2011, Automatic verification and validation of a CAS simulation of an intensive care unit. in AAAI Fall Symposium - Technical Report. vol. FS-11-03, pp. 44-48, 2011 AAAI Fall Symposium, Arlington, VA, United States, 11/4/11.
Eichelberger CN, Hadzikadic M, Gajic O, Li G. Automatic verification and validation of a CAS simulation of an intensive care unit. In AAAI Fall Symposium - Technical Report. Vol. FS-11-03. 2011. p. 44-48
Eichelberger, Christopher N. ; Hadzikadic, Mirsad ; Gajic, Ognjen ; Li, Guangxi. / Automatic verification and validation of a CAS simulation of an intensive care unit. AAAI Fall Symposium - Technical Report. Vol. FS-11-03 2011. pp. 44-48
@inproceedings{dc8e28b8a9174dcc98b6de43da2429f8,
title = "Automatic verification and validation of a CAS simulation of an intensive care unit",
abstract = "Complex adaptive systems (CAS) promise to be useful in modeling and understanding real-world phenomena, but remain difficult to validate and verify (V&V). The authors present an adaptive, tool-chain-based approach to continuous V&V that allows the subject matter experts (SMEs) and modelers to interact in a useful manner. A CAS simulation of the ICU at the Mayo Clinic is used as a working example to illustrate the method and its benefits.",
author = "Eichelberger, {Christopher N.} and Mirsad Hadzikadic and Ognjen Gajic and Guangxi Li",
year = "2011",
language = "English (US)",
isbn = "9781577355472",
volume = "FS-11-03",
pages = "44--48",
booktitle = "AAAI Fall Symposium - Technical Report",

}

TY - GEN

T1 - Automatic verification and validation of a CAS simulation of an intensive care unit

AU - Eichelberger, Christopher N.

AU - Hadzikadic, Mirsad

AU - Gajic, Ognjen

AU - Li, Guangxi

PY - 2011

Y1 - 2011

N2 - Complex adaptive systems (CAS) promise to be useful in modeling and understanding real-world phenomena, but remain difficult to validate and verify (V&V). The authors present an adaptive, tool-chain-based approach to continuous V&V that allows the subject matter experts (SMEs) and modelers to interact in a useful manner. A CAS simulation of the ICU at the Mayo Clinic is used as a working example to illustrate the method and its benefits.

AB - Complex adaptive systems (CAS) promise to be useful in modeling and understanding real-world phenomena, but remain difficult to validate and verify (V&V). The authors present an adaptive, tool-chain-based approach to continuous V&V that allows the subject matter experts (SMEs) and modelers to interact in a useful manner. A CAS simulation of the ICU at the Mayo Clinic is used as a working example to illustrate the method and its benefits.

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

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

M3 - Conference contribution

AN - SCOPUS:84863055906

SN - 9781577355472

VL - FS-11-03

SP - 44

EP - 48

BT - AAAI Fall Symposium - Technical Report

ER -