Model checking approach to cancer systems biology

• Main Author: Tan, Chun Wei
• Other Authors: Zheng Jie
• Format: Final Year Project
• Language: English
• Published: 2015
• Subjects: DRNTU::Engineering::Computer science and engineering::Computing methodologies::Simulation and modeling
• Online Access: http://hdl.handle.net/10356/62648
• Institution: Nanyang Technological University

Cancer is among the deadliest disease in the world. This is caused by an uncontrolled division of abnormal cells in the body. Some cancer might spread to take over parts of body that affect the health of a person. As medical technology improves, many treatments such as drugs can effectively control cancer growth. This project focus on using PRISM model checker to model the signalling pathways occurred and study the proteins reaction in each phase of Eukaryotic cells. The result gathered from PRISM model checker will be evaluated to better understand about the biology system in Eukaryotic cells. As part of the project, a multi-cycle Eukaryotic cell will be modelled by using the cell cycle control in Eukaryotes case study scenario found in PRISM and the ODE specifications of “Irreversible Transition, Bistability and Checkpoint Control in Eukaryotic Cell Cycle” by Professor John Tyson. The result of the multi-cycle Eukaryotic cell model helps to analyse the interaction between proteins (Clb2, Cln2 and Cdh1) and the cell cycle in Eukaryotic cell. The result gathered in this report aims to enhance the understanding of Eukaryotic cell cycle control which will be useful in future cancer and drug effect research.