The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL.

D4 Publicerad utvecklings- eller forskningsrapport eller studie


Interna författare/redaktörer


Publikationens författare: Iqbal Junaid, Tsiopoulos Leonidas, Truscan Dragos, Vain Jüri, Porres Ivan
Förläggare: Turku Center of Computer Science
Förlagsort: Turku
Publiceringsår: 2016
ISBN: 978-952-12-3473-6


Abstrakt

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.


Nyckelord

Aspect-oriented Modelling, Aspect weaving, Compositional testing, Compositional verification, UPPAAL Timed Automata

Senast uppdaterad 2019-11-11 vid 03:53