Projekteja vuodessa
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äiskieli | Ei tiedossa |
---|---|
Otsikko | IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice |
Toimittajat | Judith Bishop, Sagar Sen, Rakesh Shukla, Forrest Shull |
Kustantaja | IEEE |
Sivut | 39–45 |
ISBN (painettu) | 978-1-4673-7085-1 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2015 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisuussa |
Tapahtuma | International Workshop on Software Engineering Research and Industrial Practice (SER&IP) - 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP) Kesto: 17 toukok. 2015 → 17 toukok. 2015 |
Konferenssi
Konferenssi | International Workshop on Software Engineering Research and Industrial Practice (SER&IP) |
---|---|
Ajanjakso | 17/05/15 → 17/05/15 |
Projektit
- 2 Päättynyt
-
N4S: Need for Speed
Porres Paltor, I. (Vastuullinen tutkija), Nybom, K. (CoI), Truscan, D. (CoI), Ashraf, A. (CoI), Troubitsyna, E. (CoI), Byholm, B. (CoI), Rauf, I. M. (CoI) & Ahmad, T. (CoI)
01/01/14 → 31/12/16
Projekti: Industry/Business Finland
-
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Vastuullinen tutkija), Ahmad, T. (CoI), Iqbal, J. (Vastuullinen tutkija), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)
01/01/12 → 31/12/15
Projekti: Industry/Business Finland