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.
Type de document :
Communication dans un congrès
Margaria, Tiziana and Steffen, Bernhard. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Oct 2012, Heraklion, Crete, Greece. 7609, pp.388 - 404, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34026-0_29〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01088165
Contributeur : Sean Sedwards <>
Soumis le : jeudi 27 novembre 2014 - 15:00:32
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:24:39

Fichier

David-et-al2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, et al.. Runtime Verification of Biological Systems. Margaria, Tiziana and Steffen, Bernhard. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Oct 2012, Heraklion, Crete, Greece. 7609, pp.388 - 404, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34026-0_29〉. 〈hal-01088165〉

Partager

Métriques

Consultations de la notice

405

Téléchargements de fichiers

104