Building dependable concurrent systems through probabilistic inference, predictive monitoring and self-adaptation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The infeasibility of statically verifying complex software is well established; in concurrent systems, the difficulty is compounded by nondeterminism and the possibility of ‘Heisenbugs’. Using runtime verification, one can not only monitor a concurrent system to check if it has violated a specification, but potentially predict future violations. However, a key challenge for runtime verification is that specifications are often incomplete. I will argue that the safety of concurrent systems could be improved by observing patterns of interaction and using probabilistic inference to capture intended coordination behavior. Actors reflecting on their choreography this way would enable deployed systems to continually improve their specifications. Mechanisms to dynamically add monitors and enforce coordination constraints during execution would then facilitate self-adaptation in concurrent systems. I will conclude by suggesting a program of research to extend runtime verification so systems an evolve robustness through such self-adaptation.

Original languageEnglish (US)
Title of host publicationRuntime Verification - 16th International Conference, RV 2016, Proceedings
EditorsYliès Falcone, César Sánchez
PublisherSpringer-Verlag Berlin Heidelberg
PagesXIII-XIV
ISBN (Print)9783319469812
StatePublished - 2016
Event16th International Conference on Runtime Verification, RV 2016 - Madrid, Spain
Duration: Sep 23 2016Sep 30 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10012 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other16th International Conference on Runtime Verification, RV 2016
CountrySpain
CityMadrid
Period9/23/169/30/16

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Building dependable concurrent systems through probabilistic inference, predictive monitoring and self-adaptation'. Together they form a unique fingerprint.

Cite this