THEMIS: A Tool for Decentralized Monitoring Algorithms
| Autor: | Yliès Falcone, Antoine El-Hokayem |
|---|---|
| Přispěvatelé: | Compiler Optimization and Run-time Systems (CORSE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Université Grenoble Alpes - UFR Informatique et Mathématiques Appliquées (UGA UFR IMAG), Université Grenoble Alpes [2016-2019] (UGA [2016-2019]) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Java
Monitoring Computer science Runtime verification Runtime Verification ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification 020207 software engineering AspectJ 02 engineering and technology [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Data structure 0202 electrical engineering electronic engineering information engineering Tool 020201 artificial intelligence & image processing Algorithm computer computer.programming_language |
| Zdroj: | ISSTA 2017 ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩ ISSTA |
| DOI: | 10.1145/3092703.3092723⟩ |
| Popis: | International audience; THEMIS is a tool to facilitate the design, development, and analysis of decentralized monitoring algorithms; developed using Java and AspectJ. It consists of a library and command-line tools. THEMIS provides an API, data structures and measures for decentralized monitoring. These building blocks can be reused or extended to modify existing algorithms, design new more intricate algorithms, and elaborate new approaches to assess existing algorithms. We illustrate the usage of THEMIS by comparing two variants of a monitoring algorithm. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|