Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At one level, Bio Model Analyzer is a sketching tool that enables users to draw out a biological system of interest (e.g. a genetic regulatory network) by dragging and dropping cells, their contents (DNA, proteins, etc.), extracellular components and relationships onto a simple canvas.
At another level, Bio Model Analyzer’s analysis proves stabilization of biological systems, based upon formal methods that were developed for the specification and verification of properties in concurrent software systems. We hope you enjoy using Bio Model Analyzer and welcome your feedback.
Maintenance, development and design of the Bio Model Analyzer is funded by the Royal Society and the MRC. The Bio Model Analyzer was originally developed and supported by Microsoft Research.
Award | Funder | Years | PI |
---|---|---|---|
Azure for Research | Microsoft | 2017-2018 | Ben Hall |
Royal Society Enhancement Award (RGF\EA\180224) | Royal Society | 2017-2022 | Ben Hall |
MRC Cancer Unit Core Funding | Medical Research Council | 2017-2022 | Ben Hall |
New investigator research grant (MR/S000216/1) | Medical Research Council | 2018-2022 | Ben Hall |
The BioModelAnalyzer is an open source project, available under the MIT license. In addition to the web interface, command line tools are available that offer new analyses not currently available through the GUI.