1
|
Morris PD, Anderton RA, Marshall-Goebel K, Britton JK, Lee SMC, Smith NP, van de Vosse FN, Ong KM, Newman TA, Taylor DJ, Chico T, Gunn JP, Narracott AJ, Hose DR, Halliday I. Computational modelling of cardiovascular pathophysiology to risk stratify commercial spaceflight. Nat Rev Cardiol 2024; 21:667-681. [PMID: 39030270 DOI: 10.1038/s41569-024-01047-5] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Journal Information] [Submit a Manuscript] [Subscribe] [Scholar Register] [Accepted: 05/30/2024] [Indexed: 07/21/2024]
Abstract
For more than 60 years, humans have travelled into space. Until now, the majority of astronauts have been professional, government agency astronauts selected, in part, for their superlative physical fitness and the absence of disease. Commercial spaceflight is now becoming accessible to members of the public, many of whom would previously have been excluded owing to unsatisfactory fitness or the presence of cardiorespiratory diseases. While data exist on the effects of gravitational and acceleration (G) forces on human physiology, data on the effects of the aerospace environment in unselected members of the public, and particularly in those with clinically significant pathology, are limited. Although short in duration, these high acceleration forces can potentially either impair the experience or, more seriously, pose a risk to health in some individuals. Rather than expose individuals with existing pathology to G forces to collect data, computational modelling might be useful to predict the nature and severity of cardiovascular diseases that are of sufficient risk to restrict access, require modification, or suggest further investigation or training before flight. In this Review, we explore state-of-the-art, zero-dimensional, compartmentalized models of human cardiovascular pathophysiology that can be used to simulate the effects of acceleration forces, homeostatic regulation and ventilation-perfusion matching, using data generated by long-arm centrifuge facilities of the US National Aeronautics and Space Administration and the European Space Agency to risk stratify individuals and help to improve safety in commercial suborbital spaceflight.
Collapse
Affiliation(s)
- Paul D Morris
- Division of Clinical Medicine, University of Sheffield, Sheffield, UK.
- Department of Cardiology, Sheffield Teaching Hospitals NHS Foundation Trust, Sheffield, UK.
| | - Ryan A Anderton
- Medical Department, Spaceflight, UK Civil Aviation Authority, Gatwick, UK
| | - Karina Marshall-Goebel
- The National Aeronautics and Space Administration (NASA) Johnson Space Center, Houston, TX, USA
| | - Joseph K Britton
- Aerospace Medicine Specialist Wing, Royal Air Force (RAF) Centre of Aerospace Medicine, Henlow, UK
| | - Stuart M C Lee
- KBR, Human Health Countermeasures Element, NASA Johnson Space Center, Houston, TX, USA
| | - Nicolas P Smith
- Victoria University of Wellington, Wellington, New Zealand
- Auckland Bioengineering Institute, Auckland, New Zealand
| | - Frans N van de Vosse
- Department of Biomedical Engineering, Eindhoven University of Technology, Eindhoven, Netherlands
| | - Karen M Ong
- Virgin Galactic Medical, Truth or Consequences, NM, USA
| | - Tom A Newman
- Division of Clinical Medicine, University of Sheffield, Sheffield, UK
- Department of Cardiology, Sheffield Teaching Hospitals NHS Foundation Trust, Sheffield, UK
| | - Daniel J Taylor
- Division of Clinical Medicine, University of Sheffield, Sheffield, UK
| | - Tim Chico
- Division of Clinical Medicine, University of Sheffield, Sheffield, UK
- Department of Cardiology, Sheffield Teaching Hospitals NHS Foundation Trust, Sheffield, UK
| | - Julian P Gunn
- Division of Clinical Medicine, University of Sheffield, Sheffield, UK
- Department of Cardiology, Sheffield Teaching Hospitals NHS Foundation Trust, Sheffield, UK
| | - Andrew J Narracott
- Division of Clinical Medicine, University of Sheffield, Sheffield, UK
- Insigneo Institute, University of Sheffield, Sheffield, UK
| | - D Rod Hose
- Division of Clinical Medicine, University of Sheffield, Sheffield, UK
- Insigneo Institute, University of Sheffield, Sheffield, UK
| | - Ian Halliday
- Division of Clinical Medicine, University of Sheffield, Sheffield, UK
- Insigneo Institute, University of Sheffield, Sheffield, UK
| |
Collapse
|
2
|
Giannantoni L, Bardini R, Savino A, Di Carlo S. Biology System Description Language (BiSDL): a modeling language for the design of multicellular synthetic biological systems. BMC Bioinformatics 2024; 25:166. [PMID: 38664639 PMCID: PMC11046772 DOI: 10.1186/s12859-024-05782-x] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Grants] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 01/11/2024] [Accepted: 04/12/2024] [Indexed: 04/28/2024] Open
Abstract
BACKGROUND The Biology System Description Language (BiSDL) is an accessible, easy-to-use computational language for multicellular synthetic biology. It allows synthetic biologists to represent spatiality and multi-level cellular dynamics inherent to multicellular designs, filling a gap in the state of the art. Developed for designing and simulating spatial, multicellular synthetic biological systems, BiSDL integrates high-level conceptual design with detailed low-level modeling, fostering collaboration in the Design-Build-Test-Learn cycle. BiSDL descriptions directly compile into Nets-Within-Nets (NWNs) models, offering a unique approach to spatial and hierarchical modeling in biological systems. RESULTS BiSDL's effectiveness is showcased through three case studies on complex multicellular systems: a bacterial consortium, a synthetic morphogen system and a conjugative plasmid transfer process. These studies highlight the BiSDL proficiency in representing spatial interactions and multi-level cellular dynamics. The language facilitates the compilation of conceptual designs into detailed, simulatable models, leveraging the NWNs formalism. This enables intuitive modeling of complex biological systems, making advanced computational tools more accessible to a broader range of researchers. CONCLUSIONS BiSDL represents a significant step forward in computational languages for synthetic biology, providing a sophisticated yet user-friendly tool for designing and simulating complex biological systems with an emphasis on spatiality and cellular dynamics. Its introduction has the potential to transform research and development in synthetic biology, allowing for deeper insights and novel applications in understanding and manipulating multicellular systems.
Collapse
Affiliation(s)
- Leonardo Giannantoni
- Department of Control and Computer Engineering, Polytechnic University of Turin, Corso Duca degli Abruzzi, 24, 100129, Turin, TO, Italy
| | - Roberta Bardini
- Department of Control and Computer Engineering, Polytechnic University of Turin, Corso Duca degli Abruzzi, 24, 100129, Turin, TO, Italy.
| | - Alessandro Savino
- Department of Control and Computer Engineering, Polytechnic University of Turin, Corso Duca degli Abruzzi, 24, 100129, Turin, TO, Italy
| | - Stefano Di Carlo
- Department of Control and Computer Engineering, Polytechnic University of Turin, Corso Duca degli Abruzzi, 24, 100129, Turin, TO, Italy
| |
Collapse
|
3
|
Chew YH, Marucci L. Mechanistic Model-Driven Biodesign in Mammalian Synthetic Biology. Methods Mol Biol 2024; 2774:71-84. [PMID: 38441759 DOI: 10.1007/978-1-0716-3718-0_6] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 03/07/2024]
Abstract
Mathematical modeling plays a vital role in mammalian synthetic biology by providing a framework to design and optimize design circuits and engineered bioprocesses, predict their behavior, and guide experimental design. Here, we review recent models used in the literature, considering mathematical frameworks at the molecular, cellular, and system levels. We report key challenges in the field and discuss opportunities for genome-scale models, machine learning, and cybergenetics to expand the capabilities of model-driven mammalian cell biodesign.
Collapse
Affiliation(s)
- Yin Hoon Chew
- School of Mathematics, University of Birmingham, Birmingham, UK
| | - Lucia Marucci
- Department of Engineering Mathematics, University of Bristol, Bristol, UK.
- School of Cellular and Molecular Medicine, University of Bristol, Bristol, UK.
| |
Collapse
|
4
|
Scalable reaction network modeling with automatic validation of consistency in Event-B. Sci Rep 2022; 12:1287. [PMID: 35079072 PMCID: PMC8789811 DOI: 10.1038/s41598-022-05308-6] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 08/13/2021] [Accepted: 12/08/2021] [Indexed: 11/27/2022] Open
Abstract
Constructing a large biological model is a difficult, error-prone process. Small errors in writing a part of the model cascade to the system level and their sources are difficult to trace back. In this paper we extend a recent approach based on Event-B, a state-based formal method with refinement as its central ingredient, allowing us to validate for model consistency step-by-step in an automated way. We demonstrate this approach on a model of the heat shock response in eukaryotes and its scalability on a model of the \documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$$\mathsf {ErbB}$$\end{document}ErbB signaling pathway. All consistency properties of the model were proved automatically with computer support.
Collapse
|
5
|
Schölzel C, Blesius V, Ernst G, Goesmann A, Dominik A. Countering reproducibility issues in mathematical models with software engineering techniques: A case study using a one-dimensional mathematical model of the atrioventricular node. PLoS One 2021; 16:e0254749. [PMID: 34280231 PMCID: PMC8289093 DOI: 10.1371/journal.pone.0254749] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.7] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 03/11/2021] [Accepted: 07/03/2021] [Indexed: 11/22/2022] Open
Abstract
One should assume that in silico experiments in systems biology are less susceptible to reproducibility issues than their wet-lab counterparts, because they are free from natural biological variations and their environment can be fully controlled. However, recent studies show that only half of the published mathematical models of biological systems can be reproduced without substantial effort. In this article we examine the potential causes for failed or cumbersome reproductions in a case study of a one-dimensional mathematical model of the atrioventricular node, which took us four months to reproduce. The model demonstrates that even otherwise rigorous studies can be hard to reproduce due to missing information, errors in equations and parameters, a lack in available data files, non-executable code, missing or incomplete experiment protocols, and missing rationales behind equations. Many of these issues seem similar to problems that have been solved in software engineering using techniques such as unit testing, regression tests, continuous integration, version control, archival services, and a thorough modular design with extensive documentation. Applying these techniques, we reimplement the examined model using the modeling language Modelica. The resulting workflow is independent of the model and can be translated to SBML, CellML, and other languages. It guarantees methods reproducibility by executing automated tests in a virtual machine on a server that is physically separated from the development environment. Additionally, it facilitates results reproducibility, because the model is more understandable and because the complete model code, experiment protocols, and simulation data are published and can be accessed in the exact version that was used in this article. We found the additional design and documentation effort well justified, even just considering the immediate benefits during development such as easier and faster debugging, increased understandability of equations, and a reduced requirement for looking up details from the literature.
Collapse
Affiliation(s)
- Christopher Schölzel
- Technische Hochschule Mittelhessen—THM University of Applied Sciences, Giessen, Germany
- Justus Liebig University Giessen, Giessen, Germany
- * E-mail:
| | - Valeria Blesius
- Technische Hochschule Mittelhessen—THM University of Applied Sciences, Giessen, Germany
- Justus Liebig University Giessen, Giessen, Germany
| | - Gernot Ernst
- Vestre Viken Hospital Trust, Kongsberg, Norway
- University of Oslo, Oslo, Norway
| | | | - Andreas Dominik
- Technische Hochschule Mittelhessen—THM University of Applied Sciences, Giessen, Germany
| |
Collapse
|