TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

Junaid Iqbal; Dragos Truscan; J Vain; Ivan Porres Paltor

TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

Junaid Iqbal, Dragos Truscan, J Vain, Ivan Porres Paltor

Informationsteknologi

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

36 Nedladdningar (Pure)

Sammanfattning

This technical report exemplifies the modelling of a Crisis Management System using an approach which combines aspect-oriented modelling and UPPAAL timed automata. We show that by taking advantage of aspect non-interference, we can enable compositional verification and testing. We provide examples of verification queries and test traces, and benchmark the complexity of the verification and test generation activities. The results show that our approach brings clear benefits with respect to compositional verification and testing, compared to traditional modelling in UPPAAL.

Originalspråk	Engelska
Förlag	Turku Centre for Computer Science
ISBN (tryckt)	978-952-12-3473-6
Status	Publicerad - 2015
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Åtkomst av dokument

tIqTrVaPo15a.fullSlutlig publicerad version, 1,13 MB

N4S: Need for Speed
Porres Paltor, I. (Ansvarig forskare), Nybom, K. (CoI), Truscan, D. (CoI), Ashraf, A. (CoI), Troubitsyna, E. (CoI), Byholm, B. (CoI), Rauf, I. M. (CoI) & Ahmad, T. (CoI)
01/01/14 → 31/12/16
Projekt: Företag/Business Finland

Citera det här

@book{72ff339c3ad543d4850247d52ec4a0d8,

title = "TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces",

abstract = "This technical report exemplifies the modelling of a Crisis Management System using an approach which combines aspect-oriented modelling and UPPAAL timed automata. We show that by taking advantage of aspect non-interference, we can enable compositional verification and testing. We provide examples of verification queries and test traces, and benchmark the complexity of the verification and test generation activities. The results show that our approach brings clear benefits with respect to compositional verification and testing, compared to traditional modelling in UPPAAL.",

author = "Junaid Iqbal and Dragos Truscan and J Vain and {Porres Paltor}, Ivan",

year = "2015",

language = "English",

isbn = "978-952-12-3473-6",

publisher = "Turku Centre for Computer Science",

}

TY - BOOK

T1 - TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

AU - Iqbal, Junaid

AU - Truscan, Dragos

AU - Vain, J

AU - Porres Paltor, Ivan

PY - 2015

Y1 - 2015

N2 - This technical report exemplifies the modelling of a Crisis Management System using an approach which combines aspect-oriented modelling and UPPAAL timed automata. We show that by taking advantage of aspect non-interference, we can enable compositional verification and testing. We provide examples of verification queries and test traces, and benchmark the complexity of the verification and test generation activities. The results show that our approach brings clear benefits with respect to compositional verification and testing, compared to traditional modelling in UPPAAL.

AB - This technical report exemplifies the modelling of a Crisis Management System using an approach which combines aspect-oriented modelling and UPPAAL timed automata. We show that by taking advantage of aspect non-interference, we can enable compositional verification and testing. We provide examples of verification queries and test traces, and benchmark the complexity of the verification and test generation activities. The results show that our approach brings clear benefits with respect to compositional verification and testing, compared to traditional modelling in UPPAAL.

M3 - Commissioned report

SN - 978-952-12-3473-6

BT - TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

PB - Turku Centre for Computer Science

ER -

TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

Sammanfattning

Åtkomst av dokument

Fingeravtryck

Projekt

N4S: Need for Speed

Citera det här