This paper introduces DICE-TraCT, the tool—part of the DICE toolchain—that allows developers of Data Intensive Applications to analyze traces of executions of such applications and detect deviations from the expected behavior. The tool works in tandem with the companion formal verification tool D-VerT, to check that the parameters used for the sizing of applications and that guarantee the desired safety and timing properties are indeed correct.
Trace checking of streaming applications through DICE-TraCT
Bersani M. M.;Marconi F.;Rossi M.
2018-01-01
Abstract
This paper introduces DICE-TraCT, the tool—part of the DICE toolchain—that allows developers of Data Intensive Applications to analyze traces of executions of such applications and detect deviations from the expected behavior. The tool works in tandem with the companion formal verification tool D-VerT, to check that the parameters used for the sizing of applications and that guarantee the desired safety and timing properties are indeed correct.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
main.pdf
Accesso riservato
:
Publisher’s version
Dimensione
488.53 kB
Formato
Adobe PDF
|
488.53 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
