TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

21 Nedladdningar (Pure)


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.

FörlagTurku Centre for Computer Science
ISBN (tryckt)978-952-12-3473-6
StatusPublicerad - 2015
MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie


Fördjupa i forskningsämnen för ”TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här