MahaRAJA: Monitoring at Runtime of temporAl properties on Java Applications

Code

Matteo Camilli, Angelo Gargantini and Patrizia Scandurra

2017

Handle:

https://hdl.handle.net/10863/15637

Abstract

Software Engineering (SwSE)

url

https://maharajaframework.bitbucket.io/View

Title: MahaRAJA: Monitoring at Runtime of temporAl properties on Java Applications
Creators: Matteo Camilli
Angelo Gargantini
Patrizia Scandurra
Identifiers: (UNIBZ)31404546
991005888651201241
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Code
Author Names String: Camilli M, Gargantini A, Scandurra P
Additional Description: MIURSSDCODE: INF/01;ING-INF/05
MIURSSD: Informatica;Sistemi di elaborazione delle informazioni
unibz-area: Software Engineering (SwSE)
description: The MahaRAJA framework is an efficient event-based runtime verification software tool for verifying at runtime the relationship among events and their temporal properties on Java programs. Monitoring is achieved through the co-execution of the formal specification and the system under test. The monitor continuously evaluates the conformance of the concrete implementation with respect to its formal specification given in terms of Time Basic Petri nets.