SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "id:"swepub:oai:research.chalmers.se:f3c1b3ab-e462-4d35-9798-d1902e6b8c0d" "

Search: id:"swepub:oai:research.chalmers.se:f3c1b3ab-e462-4d35-9798-d1902e6b8c0d"

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Ahrendt, Wolfgang, 1967, et al. (author)
  • Who is to blame? – Runtime verification of distributed objects with active monitors
  • 2019
  • In: Electronic Proceedings in Theoretical Computer Science, EPTCS. - 2075-2180. ; 302, s. 32-46
  • Conference paper (peer-reviewed)abstract
    • Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification can serve as a lean alternative, where monitoring mechanisms are automatically generated from property specifications, to check compliance at runtime. This paper contributes a practical solution for powerful and flexible runtime verification of distributed, object-oriented applications, via a combination of the runtime verification tool LARVA and the active object framework PROACTIVE. Even if LARVA supports in itself only the generation of local, sequential monitors, we empower LARVA for distributed monitoring by connecting monitors with active objects, turning them into active, communicating monitors. We discuss how this allows for a variety of monitoring architectures. Further, we show how property specifications, and thereby the generated monitors, provide a model that splits the blame between the local object and its environment. While LARVA itself focuses on monitoring of control-oriented properties, we use the LARVA front-end STARVOORS to also capture data-oriented (pre/post) properties in the distributed monitoring. We demonstrate this approach to distributed runtime verification with a case study, a distributed key/value store.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
conference paper (1)
Type of content
peer-reviewed (1)
Author/Editor
Ahrendt, Wolfgang, 1 ... (1)
Henrio, Ludovic (1)
Oortwijn, Wytse (1)
University
Chalmers University of Technology (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Engineering and Technology (1)
Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view