Skip to Main content Skip to Navigation
New interface
Conference papers

Runtime Verification of Biological Systems

Abstract : Complex computational systems are ubiquitous and their study increasingly important. Given the ease with which it is possible to construct large systems with heterogeneous technology, there is strong motivation to provide automated means to verify their safety, efficiency and reliability. In another context, biological systems are supreme examples of complex systems for which there are no design specifications. In both cases it is usually difficult to reason at the level of the description of the systems and much more convenient to investigate properties of their executions. To demonstrate runtime verification of complex systems we apply statistical model checking techniques to a model of robust biological oscillations taken from the literature. The model demonstrates some of the mechanisms used by biological systems to maintain reliable performance in the face of inherent stochasticity and is therefore instructive. To perform our investigation we use two recently developed SMC platforms: that incorporated in Uppaal and Plasma. Uppaalsmc offers a generic modeling language based on stochastic hybrid automata, while Plasma aims at domain specific support with the facility to accept biological models represented in chemical syntax.
Document type :
Conference papers
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Sean Sedwards Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 3:00:32 PM
Last modification on : Thursday, January 20, 2022 - 4:19:58 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:24:39 AM


Files produced by the author(s)



Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, et al.. Runtime Verification of Biological Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Oct 2012, Heraklion, Crete, Greece. pp.388 - 404, ⟨10.1007/978-3-642-34026-0_29⟩. ⟨hal-01088165⟩



Record views


Files downloads