• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata

Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos, On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. In: Sunil Kumar Khatri, R.K. Kapur, Ajay Rana, Sanjay Singh, P.K. Kapur (Eds.), International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017), 978-1-5386-0514-1 , 81–88, IEEE, 2017.

http://dx.doi.org/10.1109/ICTUS.2017.8285956

Abstract:

We present an evaluation study on applying aspect-oriented modeling concepts in UPPAAL timed automata. The study is focusing on the modeling and verification effort that can be reduced when applying explicit aspect-oriented structuring principles in model construction. We discuss the drawbacks and benefits related to model update and verification effort. The approach suggested is benchmarked on a mission critical crisis management system case study. We demonstrate the usability of our approach by extracting the aspects such as resource authentication and mission execution. Finally, we demonstrate by experimental data how our approach is more efficient compared to verification and testing effort applied uin the non-aspect-oriented model.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpVaTrIqTs17a,
  title = {On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata},
  booktitle = {International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017)},
  author = {Vain, Jüri and Truscan, Dragos and Iqbal, Junaid and Tsiopoulos, Leonidas},
  series = {978-1-5386-0514-1 },
  editor = {Khatri, Sunil Kumar and Kapur, R.K. and Rana, Ajay and Singh, Sanjay and Kapur, P.K.},
  publisher = {IEEE},
  pages = {81–88},
  year = {2017},
}

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

Edit publication