Runtime Verification of Biological Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Runtime Verification of Biological Systems


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.
Fichier principal
Vignette du fichier
David-et-al2012.pdf (534.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01088165 , version 1 (27-11-2014)



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⟩
243 View
185 Download



Gmail Facebook X LinkedIn More