Automata learning for automated test generation of real time localization systems

Publikationstyp
Research Report
Publikationsdatum
2021-05-21
Sprache
English
Author
Plambeck, Swantje orcid-logo
Schyga, Jakob 
Hinckeldeyn, Johannes orcid-logo
Kreutzfeldt, Jochen orcid-logo
Fey, Görschwin orcid-logo
Institut
Eingebettete Systeme E-13 
Technische Logistik W-6 
TORE-URI
http://hdl.handle.net/11420/11923
Citation
arXiv: 2105.11911v1 (2021)
Contribution to Conference
Workshop on Machine Learning in Control, LEAC 2021 
Publisher DOI
10.48550/arXiv.2105.11911
ArXiv ID
2105.11911v1
Peer Reviewed
true
Cyber Physical Systems (CPSs) are often black box systems for which no exact model exists. Automata learning allows to build abstract models of CPSs and is used in several scenarios, i.e. simulation, monitoring, and test case generation. Real time localization systems (RTLSs) are an example of particularly complex and often safety critical CPSs. We present a procedure for automatic test case generation with automata learning and apply this approach in a case study to a localization system.
Schlagworte
CPS
RTLS
Automata Learning
Test Case Generation
DDC Class
620: Ingenieurwissenschaften