A Practical Application of UPPAAL and DTRON for Runtime Verification

Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

3 Sitaatiot (Scopus)
2 Lataukset (Pure)

Abstrakti

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.
AlkuperäiskieliEi tiedossa
OtsikkoIEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice
ToimittajatJudith Bishop, Sagar Sen, Rakesh Shukla, Forrest Shull
KustantajaIEEE
Sivut39–45
ISBN (painettu)978-1-4673-7085-1
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Workshop on Software Engineering Research and Industrial Practice (SER&IP) - 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP)
Kesto: 17 toukokuuta 201517 toukokuuta 2015

Konferenssi

KonferenssiInternational Workshop on Software Engineering Research and Industrial Practice (SER&IP)
Ajanjakso17/05/1517/05/15

Viittausmuodot