Title

Epispec: A Formal Specification Language For Parameterized Agent-Based Models Against Epidemiological Ground Truth

Abstract

Building complex computational models of the spread of epidemics is a problem that has seen renewed interest in recent years. Such models are being used for understanding real-time disease evolution prediction and are also proving useful in the prevention, monitoring and control of contagious diseases. There is a pressing need to ensure reliability of epidemiological models since they are widely used in safety-critical applications. In this paper, we present a new spatio-temporal specification language, EpiSpec, for describing detailed properties of agent-based computational epidemiological models. We describe the formal syntax of EpiSpec and demonstrate its use by describing various spatio-temporal properties related to disease evolution, and propose the use of statistical model checking as an algorithmic technique for verification and validation of large computational epidemiological models.

Publication Date

7-24-2014

Publication Title

2014 IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014

Number of Pages

-

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1109/ICCABS.2014.6863924

Socpus ID

84908592876 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84908592876

This document is currently not available here.

Share

COinS