Skip to Main content Skip to Navigation
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 metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01088165
Contributor : Sean Sedwards <>
Submitted on : Thursday, November 27, 2014 - 3:00:32 PM
Last modification on : Friday, July 10, 2020 - 4:26:15 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:24:39 AM

File

David-et-al2012.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

479

Files downloads

279