Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework
Model development and analysis of biological systems is recognized as a key requirement for integrating in-vitro and in-vivo experimental data. In-silico simulations of a biochemical model allows one to test different experimental conditions, helping in the discovery of the dynamics that regulate the system. Several characteristics and issues of biological system modeling are common to the electronics system modeling, such as concurrency, reactivity, abstraction levels, as well as state space explosion during verification. This paper proposes a modeling and simulation framework for discrete event-based execution of biochemical systems based on SystemC. SystemC is the reference language in the electronic design automation (EDA) field for modeling and verifying complex systems at different abstraction levels. SystemC-based verification is the de-facto an alternative to model checking when such a formal verification technique cannot deal with the state space complexity of the model. The paper presents how the framework has been applied to model the intracellular signalling network controlling integrin activation mediating leukocyte recruitment from the blood into the tissues, by handling the solution space complexity through different levels of simulation accuracy.
KeywordsBiochemical networks Dynamic modeling and simulation SystemC
Unable to display preview. Download preview PDF.
- 1.Cadence Palladium - System Design and Verification, http://www.cadence.com/products/sd/Pages/default.aspx
- 2.Mentor Graphics SystemVisio, http://www.mentor.com/products/sm/
- 3.Synopsys System Studio, http://www.synopsys.com/Systems/Pages/default.aspx
- 4.SystemC - Accellera Systems Initiative, http://www.systemc.org
- 5.IEEE 1666 Standard: SystemC Language Reference Manual (2011), http://ieeexplore.ieee.org
- 8.Cai, L., Gajski, D.: Transaction level modeling: An overview. In: ACM/IEEE CODES+ISSS, pp. 19–24 (2003)Google Scholar
- 9.Cai, L., Gajski, D.: Transaction level modeling: An overview. In: Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, pp. 19–24. CODES+ISSS (2003)Google Scholar
- 12.Ezudheen, P., Chandran, P., Chandra, J., Simon, B.P., Ravi, D.: Parallelizing SystemC kernel for fast hardware simulation on SMP machines. In: Proc. of ACM/IEEE PADS, pp. 80–87 (2009)Google Scholar
- 15.Giagulli, C., Ottoboni, L., Caveggion, E., Rossi, B., Lowell, C., Constantin, G., Laudanna, C., Berton, G.: The src family kinases hck and fgr are dispensable for inside-out, chemoattractant-induced signaling regulating beta 2 integrin affinity and valency in neutrophils, but are required for beta 2 integrin-mediated outside-in signaling involved in sustained adhesion. J. Immunol. 177, 604–611 (2006)CrossRefGoogle Scholar
- 22.Nanjundappa, M., Patel, H.D., Jose, B.A., Shukla, S.K.: Scgpsim: a fast systemc simulator on gpus. In: Proceedings of the 2010 Asia and South Pacific Design Automation Conference, ASPDAC 2010, pp. 149–154 (2010)Google Scholar