Theoretical Foundations for Runtime Monitoring

Dans la même collection

How to build quality software: the Eiffel experience

Self-Supervised Visual Learning and Synthesis

The Legacy of Rudolph Kalman

Reasoning over large-scale biological systems with heterogeneous and incomplete data

The quest for long-lived quantum bit

Majority judgment: a new voting method

Copier le code pour partager la vidéo :
<div style="position:relative;padding-bottom:56.25%;padding-top:10px;height:0;overflow:hidden;"><iframe src="https://www.canal-u.tv/video/inria/embed.1/theoretical_foundations_for_runtime_monitoring.52671?width=100%&height=100%" style="position:absolute;top:0;left:0;width:100%;height: 100%;" width="550" height="306" frameborder="0" allowfullscreen scrolling="no"></iframe></div> Si vous souhaitez partager une séquence, indiquez le début de celle-ci , et copiez le code : h m s

Auteur(s) :
Aceto Luca

Producteur Canal-U :
Inria

How to build quality software: the Eiffel experience

Self-Supervised Visual Learning and Synthesis

The Legacy of Rudolph Kalman

Reasoning over large-scale biological systems with heterogeneous and ...

The quest for long-lived quantum bit

Majority judgment: a new voting method

Les premiers photons : les saisir, les faire parler

Knowledge transfer and human-machine collaboration for training ...

Biological Networks Entropies: examples in neural, genetic and social ...

A l’écoute du bruit – L’imagerie par corrélations croisées

Folding Turing is hard but feasible

An extensionalist analysis of computer simulations

Safety Verification of Deep Neural Networks

Proofs assistants : from symbolic logic to real mathematics

Mathématiques, Statistiques et Médecine: des collaborations plus ...

Visual Reconstruction and Image-Based Rendering

Coccinelle: synergy between programming language research and the ...

CoNeCo: Concurrency, Networks and Coinduction

Ecrire à la production

Ajouter la vidéo au cartable

Ajouter un moment favori

Contacter le contributeur

J’aime

Ajouter à mon Canal-U

Sélectionner une séquence pour Mon Canal-U

Imprimer

RÉSUMÉ
auteurs
TÉLÉCHARGEMENTS
Documents pédagogiques

Theoretical Foundations for Runtime Monitoring

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly.

In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy and provide operational characterisations for its levels. Existing monitorability definitions are mapped into the proposed hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.

The talk is based on joint work with my collaborators in the project Theoretical Foundations for Monitorability

Date de réalisation : 10 Septembre 2019

Lieu de réalisation : Inria Sophia Antipolis

Durée du programme : 69 min

Classification Dewey : logique symbolique
Catégorie : Conférences

Niveau : niveau Master (LMD), niveau Doctorat (LMD), Recherche

Disciplines : Mathématiques et informatique

Collections : Colloquium Jacques Morgenstern : recherches en STIC - nouveaux thèmes scientifiques, nouveaux domaines d’application, et enjeux

ficheLom : Voir la fiche LOM
Auteur(s) : Aceto Luca

producteur : INRIA (Institut national de recherche en informatique et automatique)

Editeur : INRIA (Institut national de recherche en informatique et automatique) , CNRS - Centre National de la Recherche Scientifique , UNS
Langue : Anglais

Mots-clés : informatique théorique, Logique mathématique, vérification

Aceto Luca

Luca Aceto has been a full professor of computer science at Reykjavik University since November 2004. From September 2017 he is also full professor at the Gran Sasso Science Institute, L’Aquila (Italy), where he is the scientific director of the computer science group and the coordinator of the international PhD programme in computer science. Before joining Reykjavik University, he was an associate professor at Aalborg University (1996-2006) and a lecturer at the University of Sussex (1992-1996) amongst other appointments.

Luca Aceto is an elected member of the Informatics Section of Academia Europaea (the Academy of Europe). He also serves as the chair of the editorial board of LIPIcs, Leibniz International Proceedings in Informatics, and is a member of the Executive Board of the journal Logical Methods in Computer Science, of the Advisory Board of Electronic Proceedings in Theoretical Computer Science, and of the editorial boards of the Journal of Logical and Algebraic Methods in Programming and of Electronic Proceedings in Theoretical Computer Science. He was the president of the European Association for Theoretical Computer Science in the period July 2012-July 2016. He was the founder and first chair of IFIP WG 1.8 on Concurrency Theory, and co-founded and co-directed the Icelandic Centre of Excellence in Theoretical Computer Science since 2005.

Aceto’s main research interests are in concurrency theory, with emphasis on the study of algebraic process description languages and on the techniques they support to specify and reason about reactive systems, logic in computer science, structural operational semantics and applications of equational logic in computer science. To date, he has published two books, ten book chapters, 58 journal papers and 74 refereed conference/workshop papers. In addition, he has edited more than 30 volumes.

Luca Aceto received a Distinguished Dissertation Award of the British Computer Society in 1991 and the Reykjavik University Research Award in 2012. He was Teacher of the Year in Mathematics and Computer Science at Aalborg University in 1997 and 1999.

Références:

[1] P Armitage and Doll. The age distribution of cancer and a multi-stage theory of carcinogenesis. Br J Cancer, 8(1) :1–12, 1954.
[2] S H Moolgavkar, N E Day, and R G Stevens. Two-stage model for carcinogenesis : Epidemiology of breast cancer in females. Journal of the National Cancer Institute, 65 :559–569, 1980.
[3] M. C. Pike, M. D. Krailo, B. E. Henderson, J. T. Casagrande, and D. G. Hoel. ’hormonal’ risk factors, ’breast tissue age’ and the age-incidence of breast cancer. Nature, 303(5920) :767–770, 1983.
[4] E B Claus, N Risch, and W D Thompson. The calculation of breast cancer risk for women with a first degree family history of ovarian cancer. Breast cancer research and treatment, 28 :115–120, Nov 1993.
[5] M H Gail and J Benichou. Validation studies on a model for breast cancer risk. Journal of the National Cancer Institute, 86 :573–575, Apr 1994.
[6] G Plu-Bureau, M G Lê, R Sitruk-Ware, J C Thalabard, and P Mauvais-Jarvis. Progestogen use and decreased risk of breast cancer in a cohort study of premenopausal women with benign breast disease. British journal of cancer, 70 :270–277, 1994.
[7] Eiliv Lund and Vanessa Dumeaux. Systems epidemiology in cancer. Cancer epidemiology, biomarkers & prevention, 17 :2954–2957, 2008.
[8] Eiliv Lund, Vanessa Dumeaux, Tonje Braaten, Anette Hjartåker, Dagrun Engeset, Guri Skeie, and Merethe Kumle. Cohort profile : The norwegian women and cancer study–nowac–kvinner og kreft. International journal of epidemiology, 37 :36–41, 2008.
[9] Marco Gerlinger, Andrew J Rowan, Stuart Horswell, James Larkin, David Endesfelder, Eva Gronroos, Pierre Martinez, Nicholas Matthews, Aengus Stewart, Patrick Tarpey, Ignacio Varela, Benjamin Phillimore, Sharmin Begum, Neil Q McDonald, Adam Butler, David Jones, Keiran Raine, Calli Latimer, Claudio R Santos, Mahrokh Nohadani, Aron C Eklund, Bradley Spencer-Dene, Graham Clark, Lisa Pickering, Gordon Stamp, Martin Gore, Zoltan Szallasi, Julian Downward, P Andrew Futreal, and Charles Swanton. Intratumor heterogeneity and branched evolution revealed by multiregion sequencing. The New England journal of medicine, 366 :883–892, Mar 2012.
[10] Eiliv Lund, Nicolle Mode, Marit Waaseth, and Jean-Christophe Thalabard. Overdiagnosis of breast cancer in the norwegian breast cancer screening program estimated by the norwegian women and cancer cohort study. BMC cancer, 13 :614, 2013.
[11] Mary-Claire King. « the race » to clone brca1. Science, 343 :1462–1465, 2014.
[12] Vanessa Dumeaux, Josie Ursini-Siegel, Arnar Flatberg, Hans E Fjosne, Jan-Ole Frantzen, Marit Muri Holmen, Enno Rodegerdts, Ellen Schlichting, and Eiliv Lund. Peripheral blood cells inform on the presence of breast cancer : a population-based case-control study. International journal of cancer, 136 :656–667, 2015.
[13] Eiliv Lund, Lars Holden, Hege Bøvelstad, Sandra Plancade, Nicolle Mode, Clara-Cecilie Günther, Gregory Nuel, Jean-Christophe Thalabard, and Marit Holden. A new statistical method for curve group analysis of longitudinal gene expression data illustrated for breast cancer in the nowac postgenome cohort as a proof of principle. BMC medical research methodology, 16 :28, 2016.
[14] NE Breslow and NE Day. Statistical Methods in Cancer Research Volume II – The Design and Analysis of Cohort Studies, volume II of IARC Scientific Publications No 82. IARC, 1987.
[15] NE Breslow and NE Day. Statistical Methods in Cancer Research. Volume I :The analysis of case- control studies, volume I of IARC Scientific Publications No. 32. IARC, 1980.