Automated Metabolic P System Placement in FPGA

Darius Kulakovskis; Dalius Navakauskas

doi:10.1515/ecce-2016-0001

Abstract

An original Very High Speed Integrated Circuit Hardware Description Language (VHDL) code generation tool that can be used to automate Metabolic P (MP) system implementation in hardware such as Field Programmable Gate Arrays (FPGA) is described. Unlike P systems, MP systems use a single membrane in their computations. Nevertheless, there are many biological processes that have been successfully modeled by MP systems in software. This is the first attempt to analyze MP system hardware implementations. Two different MP systems are investigated with the purpose of verifying the developed software: the model of glucose–insulin interactions in the Intravenous Glucose Tolerance Test (IVGTT), and the Non-Photochemical Quenching process. The implemented systems’ calculation accuracy and hardware resource usage are examined. It is found that code generation tool works adequately; however, a final decision has to be done by the developer because sometimes several implementation architecture alternatives have to be considered. As an archetypical example serves the IVGTT MP systems’ 21–23 bits FPGA implementation manifesting this in the Digital Signal Processor (DSP), slice, and 4-input LUT usage.

References

[1] G. Păun, “Computing with membranes,” J. of Computer and System Sciences, vol. 61, no. 1, pp. 108–143, 2000. https://doi.org/10.1006/jcss.1999.169310.1006/jcss.1999.1693
Search in Google Scholar Back to article
[2] V. Manca, L. Bianco and F. Fontana, “Evolution and oscillation in P systems: applications to biological phenomena,” Membrane Computing, pp. 63–84, 2005.10.1007/978-3-540-31837-8_4
Search in Google Scholar Back to article
[3] V. Manca, “Fundamentals of Metabolic P Systems,” Handbook of Membrane Computing, vol. 19, pp. 489–498, 2009.10.1016/j.biosystems.2006.11.00917761386
Search in Google Scholar Back to article
[4] L. Bianco, F. Fontana and V. Manca, “P systems with reaction maps,” Int. J. of Found. of Comput. Sci., vol. 17, no. 1, pp. 27–48, 2006. https://doi.org/10.1142/S012905410600368110.1142/S0129054106003681
Search in Google Scholar Back to article
[5] L. Bianco, F. Fontana, G. Franco and V. Manca, “P systems for biological dynamics,” Applicat. of Membrane Computing, pp. 83–128, 2006.10.1007/3-540-29937-8_3
Search in Google Scholar Back to article
[6] V. Manca and L. Bianco, “Biological networks in metabolic P systems,” Biosystems, vol. 91, no. 3, pp. 489–498, 2008. https://doi.org/10.1016/j.biosystems.2006.11.00910.1016/j.biosystems.2006.11.009
Search in Google Scholar Back to article
[7] L. Bianco, D. Pescini, P. Siepmann, N. Krasnogor, F. J. Romero-Campero and M. Gheorghe, “Towards a P systems Pseudomonas quorum sensing model,” Memebrane Computing, pp. 197–214, 2006. https://doi.org/10.1007/11963516_1310.1007/11963516_13
Search in Google Scholar Back to article
[8] A. Castellini, G. Franco and V. Manca, “Toward a representation of hybrid functional Petri nets by MP systems,” Natural Computing, pp. 28–37, 2009. https://doi.org/10.1007/978-4-431-88981-6_310.1007/978-4-431-88981-6_3
Search in Google Scholar Back to article
[9] V. Manca and L. Marchetti, “Goldbeter's Mitotic Oscillator Entirely Modeled by MP Systems,” Membrane Computing, pp. 273–284, 2010. https://doi.org/10.1007/978-3-642-18123-8_2210.1007/978-3-642-18123-8_22
Search in Google Scholar Back to article
[10] V. Manca, and L. Marchetti, “Metabolic approximation of real periodical functions,” The J. of Logic and Algebraic Programming, vol. 79, pp. 363–373, Aug. 2010. https://doi.org/10.1016/j.jlap.2010.03.00510.1016/j.jlap.2010.03.005
Search in Google Scholar Back to article
[11] L. Bianco, V. Manca, L. Marchetti and M. Petterlini, “Psim: a simulator for biomolecular dynamics based on P systems,” in 2007 IEEE Congr. on Evolutionary Computation, CEC 2007, Singapore, 2007, pp. 883–887. https://doi.org/10.1109/cec.2007.442456310.1109/CEC.2007.4424563
Search in Google Scholar Back to article
[12] A. Castellini and V. Manca, “MetaPlab: a computational framework for metabolic P systems”, Membrane Computing, pp. 157–168, 2009. https://doi.org/10.1007/978-3-540-95885-7_1210.1007/978-3-540-95885-7_12
Search in Google Scholar Back to article
[13] L. Marchetti, MpTheory Java Library [Online]. Available: http://mptheory.scienze.univr.it/index.html. [Accessed: Feb. 23, 2016].
Search in Google Scholar Back to article
[14] D. Kulakovskis, “Application prospects of metabolic P systems,” Science – Future of Lithuania / Mokslas – Lietuvos Ateitis, vol. 7, no. 3, pp. 285–290, 2015. https://doi.org/10.3846/mla.2015.78410.3846/mla.2015.784
Search in Google Scholar Back to article
[15] V. Nguyen, D. Kearney and G. Gioiosa, “An implementation of membrane computing using reconfigurable hardware,” Computing and Informatics, vol. 27, no. 3, pp. 551–569, 2008.
Search in Google Scholar Back to article
[16] V. Nguyen, D. Kearney and G. Gioiosa, “A Region-Oriented Hardware Implementation for Membrane Computing Applications”, Membrane Computing, pp. 385–409, 2010. https://doi.org/10.1007/978-3-642-11467-0_2710.1007/978-3-642-11467-0_27
Search in Google Scholar Back to article
[17] D. Kulakovskis and D. Navakauskas, “Automation of metabolic P system implementation in FPGA: A case study”, in 2015 IEEE 3rd Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE), Riga, 2015, pp. 1–4. https://doi.org/10.1109/aieee.2015.736728910.1109/AIEEE.2015.7367289
Search in Google Scholar Back to article
[18] V. Skopis and I. Uteshevs, “Research in Adaptronic Automatic Control System and Biosensor System Modelling,” Elect., Control and Commun. Eng., vol. 8, no. 1, pp. 20–29, 2015. https://doi.org/10.1515/ecce-2015-000310.1515/ecce-2015-0003
Search in Google Scholar Back to article
[19] D. W. Bishop. VHDL-2008 Support Library [Online]. Available: http://www.eda.org/fphdl/. [Accessed: Oct. 17, 2015].
Search in Google Scholar Back to article
[20] V. Manca, L. Marchetti and R. Pagliarini, “MP modeling of glucose-insulin interactions in the intravenous glucose tolerance test,” Int. J. of Natural Computing Research, vol. 2, no. 3, pp. 13–24, 2011. https://doi.org/10.4018/jncr.201107010210.4018/jncr.2011070102
Search in Google Scholar Back to article
[21] V. Manca, R. Pagliarini and S. Zorzan, “A photosynthetic process modelled by a metabolic P system,” Natural Computing, vol. 8, pp. 847–864, 2009. https://doi.org/10.1007/s11047-008-9104-x10.1007/s11047-008-9104-x
Search in Google Scholar Back to article
[22] A. Castellini, G. Franco and R. Pagliarini, “Data analysis pipeline from laboratory to MP models,” Natural Computing, vol. 10, pp. 55–76, 2011. https://doi.org/10.1007/s11047-010-9200-610.1007/s11047-010-9200-6
Search in Google Scholar Back to article
[23] A. Castellini, G. Franco and R. Pagliarini. NPQ phenomenon [Online]. Available: http://mplab.scienze.univr.it/external/natcomp/NPQ_stepwise_tab4.html [Accessed Oct. 28, 2015].
Search in Google Scholar Back to article

Automated Metabolic P System Placement in FPGA

Abstract

Paradigm

My account