Project information
BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací
(BioDiVinECTL)
- Project Identification
- MUNI/33/15/2014
- Project Period
- 12/2014 - 8/2015
- Investor / Pogramme / Project type
-
Masaryk University
- FI Dean's Programme
- MU Faculty or unit
-
Faculty of Informatics
- doc. RNDr. David Šafránek, Ph.D.
- RNDr. Martin Demko, Ph.D.
- RNDr. Samuel Pastva, Ph.D.
Cílem projektu je navrhnout a implementovat nástroj pro syntézu kinetických parametrů diferenciálních modelů biochemických dynamických systémů garantujících splnění formulí logiky větvícího se času (CTL). Technicky bude k tomuto účelu adaptována metoda barevného model checkingu vyvinutá původně pro LTL v rámci nástroje BioDiVinE. Provedená implementace bude využívat regulárnosti stavového prostoru biochemických prostorů k efektivnímu distribuovanému výpočtu na klastru.