Learning Mealy Machines with Local Timers
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
Active automata learning (AAL) algorithms infer accurate automata models of black box applications, letting developers verify the behavior of increasingly complex real-time systems (RTS). However, learning models of larger RTS often takes very long or is not feasible at all. We introduce Mealy machines with local timers, a new class of Mealy machines that permit multiple location-bound timers and that can be learned efficiently. We design an efficient learning algorithm for them and validate our method across diverse case studies ranging from automotive systems to smart home appliances, where we drastically reduce runtimes compared to the state-of-the-art approach, thus, making AAL available for a wide range of RTS.
Details
Original language | English |
---|---|
Title of host publication | Formal Methods and Software Engineering |
Editors | Yi Li, Sofiène Tahar |
Publisher | Springer Science and Business Media B.V. |
Pages | 47-64 |
Number of pages | 18 |
ISBN (electronic) | 978-981-99-7584-6 |
ISBN (print) | 978-981-99-7583-9 |
Publication status | Published - 2023 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 14308 LNCS |
ISSN | 0302-9743 |
Conference
Title | 24th International Conference on Formal Engineering Methods, ICFEM 2023 |
---|---|
Duration | 21 - 24 November 2023 |
City | Brisbane |
Country | Australia |
Keywords
ASJC Scopus subject areas
Keywords
- active automata learning, real-time systems, timer-based Mealy machines