Infobiotics Dashboard

Infobiotics Dashboard is a computational framework implementing a synergy between executable biology, multi-compartmental stochastic simulations, formal model analysis and structural or parameter model optimization for computational systems, and synthetic biology. It provides a user-friendly front-end allowing the modeler to design in-silico experiments, analyze and visualize results using its four components: modeling language based on P systems which allows modular and parsimonious multi-cellular model development including geometric information, multi-compartmental stochastic simulator based on Gillespies Stochastic Simulation Algorithm for multi-cellular systems, formal model analysis using the stochastic model checkers PRISM and MC2 for the study of temporal and spatial model properties, and structural and parameter model optimization using evolutionary algorithms to automatically generate models whose dynamics match specified targets.