Mutating Skeletons - Learning Timed Automata via Domain Knowledge
Formal verification techniques, such as model checking, can provide valuable insights and guarantees for (safety-critical) devices and their possible behavior. However, these guarantees only hold true as long as the model correctly reflects the system. Automata learning provides a huge advantage there as it enables not only the automatic creation of the needed models but also ensures their correct reflection of the system behavior. However, and this holds especially true for real-time systems, model learning techniques can become very time consuming. To combat this, we show how to integrate given domain knowledge into an existing approach based on genetic programming to speed up the learning process. In particular, we show how the genetic programming approach can take a (possibly abstracted, incomplete or incorrect) untimed skeleton of an automaton, which can often be obtained very cheaply, and augment it with timing behavior to form timed automata in a fast and efficient manner. We demonstrate the approach on several examples of varying sizes.
Mon 31 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | |||
14:00 30mTalk | Automata Learning for React Web Applications A-MOST | ||
14:30 30mTalk | Mutating Skeletons - Learning Timed Automata via Domain Knowledge A-MOST Felix Wallner Graz University of Technology, Institute of Software Technology, Bernhard Aichernig Graz University of Technology, Florian Lorber Silicon Austria Labs, Martin Tappler TU Wien, Austria | ||
15:00 30mTalk | SelfBehave, Generating a Synthetic Behaviour-Driven Development Dataset Using SELF-INSTRUCT A-MOST Manon Galloy NADI, University of Namur, Martin Balfroid NADI, University of Namur, BenoƮt Vanderose University of Namur, Xavier Devroey University of Namur Pre-print |