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

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

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Abstract

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.

Original language	Undefined/Unknown
Title of host publication	2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS)
Editors	Khatri, Sunil Kumar, Kapur, R.K., Rana, Ajay, Singh, Sanjay, P.K.
Publisher	IEEE
Pages	84–91
ISBN (Print)	978-1-5386-0514-1
Publication status	Published - 2017
MoE publication type	A4 Article in a conference publication
Event	International Conference on Infocom Technologies and Unmanned Systems (ICTUS) - 2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS) Duration: 18 Dec 2017 → 20 Dec 2017

Conference

Conference	International Conference on Infocom Technologies and Unmanned Systems (ICTUS)
Period	18/12/17 → 20/12/17

Access to Document

http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8285981

1 Finished

MegaM@Rt2: MegaModelling at Runtime
Truscan, D. (Principal Investigator), Ahmad, T. (Co-Investigator), Iqbal, J. (Co-Investigator), Porres Paltor, I. (Co-Investigator), Siavashi, F. (Co-Investigator) & Ashraf, A. (Co-Investigator)
European Commission
01/04/17 → 31/03/20
Project: EU

Cite this

Vain, J., Truscan, D., Iqbal, J., & Tsiopoulos, L. (2017). On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. In Khatri, S. Kumar, Kapur, R.K., Rana, Ajay, Singh, Sanjay, & P.K. (Eds.), 2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS) (pp. 84–91). IEEE. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8285981

@inproceedings{36b45f19cad3468f86a0835a4ebe031c,

title = "On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata",

abstract = "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.",

author = "J{\"u}ri Vain and Dragos Truscan and Junaid Iqbal and Leonidas Tsiopoulos",

year = "2017",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-5386-0514-1",

pages = "84–91",

editor = "Khatri and Sunil Kumar and Kapur and R.K. and Rana and Ajay and Singh and Sanjay and P.K.",

booktitle = "2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS)",

publisher = "IEEE",

note = "International Conference on Infocom Technologies and Unmanned Systems (ICTUS) ; Conference date: 18-12-2017 Through 20-12-2017",

}

Vain, J, Truscan, D , Iqbal, J & Tsiopoulos, L 2017, On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. in Khatri, S Kumar, Kapur, R.K., Rana, Ajay, Singh, Sanjay & P.K. (eds), 2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS). IEEE, pp. 84–91, International Conference on Infocom Technologies and Unmanned Systems (ICTUS), 18/12/17. <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8285981>

On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. / Vain, Jüri; Truscan, Dragos ; Iqbal, Junaid et al.
2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS). ed. / Khatri; Sunil Kumar; Kapur; R.K.; Rana; Ajay; Singh; Sanjay; P.K. IEEE, 2017. p. 84–91.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Vain, Jüri

AU - Truscan, Dragos

AU - Iqbal, Junaid

AU - Tsiopoulos, Leonidas

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

M3 - Konferensbidrag

SN - 978-1-5386-0514-1

SP - 84

EP - 91

BT - 2017 International Conference on Infocom Technologies and Unmanned Systems (ICTUS)

A2 - Khatri, null

A2 - Kumar, Sunil

A2 - Kapur, null

A2 - R.K., null

A2 - Rana, null

A2 - Ajay, null

A2 - Singh, null

A2 - Sanjay, null

A2 - P.K., null

PB - IEEE

T2 - International Conference on Infocom Technologies and Unmanned Systems (ICTUS)

Y2 - 18 December 2017 through 20 December 2017

ER -

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

Abstract

Conference

Access to Document

Projects

MegaM@Rt2: MegaModelling at Runtime

Cite this