Projects per year
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.
| Original language | English |
|---|---|
| Publisher | Turku Center of Computer Science |
| ISBN (Print) | 978-952-12-3473-6 |
| Publication status | Published - 2016 |
| MoE publication type | D4 Published development or research report or study |
Keywords
- Compositional testing
- Aspect weaving
- UPPAAL Timed Automata
- Aspect-oriented Modelling
- Compositional verification
Fingerprint
Dive into the research topics of 'The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL.'. Together they form a unique fingerprint.Projects
- 1 Finished
-
N4S: Need for Speed
Porres Paltor, I. (Principal Investigator), Nybom, K. (Co-Investigator), Truscan, D. (Co-Investigator), Ashraf, A. (Co-Investigator), Troubitsyna, E. (Co-Investigator), Byholm, B. (Co-Investigator), Rauf, I. M. (Co-Investigator) & Ahmad, T. (Co-Investigator)
01/01/14 → 31/12/16
Project: Industry/Business Finland