Projekte pro Jahr
Abstract
Model-based testing is a promising technique for quality assurance. In practice, however, a model is not always present. Hence, model learning techniques attain increasing interest. Still, many learning approaches can only learn relatively simple types of models and advanced properties like time are ignored in many cases. In this paper we present an active model learning technique for timed automata. For this, we build upon an existing passive learning technique for real-timed systems. Our goal is to efficiently learn a timed system while simultaneously minimizing the set of training data. For evaluation we compared our active to the passive learning technique based on 43 timed systems with up to 20 locations and multiple clock variables. The results of 18060 experiments show that we require only 100 timed traces to adequately learn a timed system. The new approach is up to 755 times faster.
Originalsprache | englisch |
---|---|
Titel | NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings |
Untertitel | 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings |
Redakteure/-innen | Ritchie Lee, Susmit Jha, Anastasia Mavridou |
Herausgeber (Verlag) | Springer |
Seiten | 1-19 |
Seitenumfang | 19 |
Band | 12229 |
ISBN (Print) | 978-3-030-55753-9 |
DOIs | |
Publikationsstatus | Veröffentlicht - 10 Aug. 2020 |
Veranstaltung | 12th NASA Formal Methods Symposium: NFM 2020 - NASA Ames Research Center, Moffett Field, USA / Vereinigte Staaten Dauer: 12 Mai 2020 → 14 Mai 2020 https://ti.arc.nasa.gov/events/nfm-2020/ |
Publikationsreihe
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Band | 12229 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (elektronisch) | 1611-3349 |
Konferenz
Konferenz | 12th NASA Formal Methods Symposium |
---|---|
Kurztitel | NFM 2020 |
Land/Gebiet | USA / Vereinigte Staaten |
Ort | Moffett Field |
Zeitraum | 12/05/20 → 14/05/20 |
Internetadresse |
ASJC Scopus subject areas
- Theoretische Informatik
- Informatik (insg.)
Fields of Expertise
- Information, Communication & Computing
Fingerprint
Untersuchen Sie die Forschungsthemen von „From Passive to Active: Learning Timed Automata Efficiently“. Zusammen bilden sie einen einzigartigen Fingerprint.Projekte
- 1 Abgeschlossen
-
Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt