Where academic tradition
meets the exciting future

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

Junaid Iqbal, Leonidas Tsiopoulos, Dragos Truscan, Jüri Vain, Ivan Porres, The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. TUCS Technical Reports 1169, Turku Centre for Computer Science, 2016.

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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tIqTsTrVaPo16a,
  title = {The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL},
  author = {Iqbal, Junaid and Tsiopoulos, Leonidas and Truscan, Dragos and Vain, Jüri and Porres, Ivan},
  number = {1169},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2016},
  keywords = {Aspect-oriented Modelling, UPPAAL timed automata, Aspect weaving, Compositional verification, Compositional testing},
  ISBN = {978-952-12-3473-6},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Edit publication