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

Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Abstrakti

We present an evaluation study on applying aspect-oriented modelling concepts in UPPAAL timed automata. The study is focusing on the modelling 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 in the non-aspect-oriented model.

AlkuperäiskieliEi tiedossa
Otsikko2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS)
Toimittajat Khatri, Sunil Kumar, Kapur, R.K., Rana, Ajay, Singh, Sanjay, P.K.
KustantajaIEEE
Sivut84–91
ISBN (painettu)978-1-5386-0514-1
TilaJulkaistu - 2017
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Infocom Technologies and Unmanned Systems (ICTUS) - 2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS)
Kesto: 18 joulukuuta 201720 joulukuuta 2017

Konferenssi

KonferenssiInternational Conference on Infocom Technologies and Unmanned Systems (ICTUS)
Ajanjakso18/12/1720/12/17

Viittausmuodot