Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Practical Application of UPP...

A Practical Application of UPPAAL and DTRON for Runtime Verification

Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila, A Practical Application of UPPAAL and DTRON for Runtime Verification. In: Judith Bishop, Sagar Sen, Rakesh Shukla, Forrest Shull (Eds.), IEEE/ACM Second International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015), 39–45, IEEE, 2015.

http://dx.doi.org/10.1109/SERIP.2015.15

Abstract:

We present our experience in applying runtime verification to a real-time system using UPPAAL timed automata and a set of related tools. We discuss the benefits and limitations,and propose a concrete solution to address the latter. Using the resulting solution we are able to run quick validation cycles as well as more thorough ones depending on the scope of validation.Finally, we show that our solution was able to detect faults which were not detected by more traditional testing techniques.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpTrAhSiTu15a,
  title = {A Practical Application of UPPAAL and DTRON for Runtime Verification},
  booktitle = {IEEE/ACM Second International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015)},
  author = {Truscan, Dragos and Ahmad, Tanwir and Siavashi, Faezeh and Tuuttila, Pekka},
  editor = {Bishop, Judith and Sen, Sagar and Shukla, Rakesh and Shull, Forrest},
  publisher = {IEEE},
  pages = {39–45},
  year = {2015},
  keywords = {UPPAAL, DRON, Runtime verification},
}

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

Edit publication