VERIFICATION AND TESTING OF BIOLOGICAL MODELS

Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper
2010 Proceedings of the 2010 Winter Simulation Conference  
Simulation modeling in systems biology embarks on discrete event simulation only for cases of small cardinalities of entities and uses continuous simulation otherwise. Modern modeling environments like Bio-PEPA support both types of simulation within a single modeling formalism. Developing models for complex dynamic phenomena is not trivial in practice and requires careful verification and testing. In this paper, we describe relevant steps in the verification and testing of a TNFa-mediated
more » ... signal transduction pathway model and discuss to what extent automated techniques help a practitioner to derive a suitable model. 620 978-1-4244-9865-9/10/$26.00 ©2010 IEEE
doi:10.1109/wsc.2010.5679126 dblp:conf/wsc/ClarkHGK10 fatcat:ljexuf6wfzcjdjswczjla3vn24